Сложность заземленной семантики и предпочитаемой семантики в финитарных системах аргументации

arXiv: 2610.10.2008v1 Annuales Type: New Habritary: Brastracting Frameworks (AFs), представленная Дунгом, является официальной основой для немонотонических рассуждений в искусственных интеллектах. В то время как проблемы с принятием решений для общих бесконечных АФ, как правило, находятся на высоких уровнях аналитической иерархии ($\Sigma_1 / или $\Pi_1 долл. США), ограничение рамок, которые могут быть вычислены, уменьшает некоторые сложности арифметической иерархии. В настоящем документе мы представляем сложную схему семантики, основанной на принципе и предпочтительной в расчет плавности АФ, для решения стандартных проблем: доверчивое принятие ($cred $), скептическое признание (\Skep долл. США), продление срока действия ($Ex$), уникальность ($Uni$) и непустостительное существование ($NE$). В случае семантики на месте доверчивое и скептическое принятие уже известно, что оно составляет $\Sigma_1>0 долл. Мы показываем, что непустое существование также является $\Sigma_1>0 долл. - полным, в то время как существование и уникальность ничтожны. Эти классификации понимаются в рамках d