On the Complexity of Fragments of Nonmonotonic Logics / Libristo.pl
On the Complexity of Fragments of Nonmonotonic Logics

Kod: 13414649

On the Complexity of Fragments of Nonmonotonic Logics

Autor Michael Thomas

Nonmonotonic reasoning is one of the most important tasks in the area of knowledge representation and reasoning. Several logics have been developed to formalize nonmonotonic reasoning. In this thesis we consider three well-known l ... więcej


Niedostępna

Powiadomienie o dostępności

Dodaj do schowka

Zobacz książki o podobnej tematyce

Powiadomienie o dostępności

Powiadomienie o dostępności


Akceptacja - Zgłaszając nam chęć otrzymania powiadomienia, akceptujesz warunki Regulaminu

Będziemy sprawdzać dostępność książki za Ciebie

Wpisz swój adres e-mail, aby otrzymać od nas powiadomienie,
gdy książka będzie dostępna. Proste, prawda?

Więcej informacji o On the Complexity of Fragments of Nonmonotonic Logics

Opis

Nonmonotonic reasoning is one of the most important tasks in the area of knowledge representation and reasoning. Several logics have been developed to formalize nonmonotonic reasoning. In this thesis we consider three well-known logics that facilitate nonmonotonic reasoning by different means: default logic, autoepistemic logic and circumscription. We study the computational complexity of consistency, reasoning and counting problems for fragments of these logics obtained by restricting the available Boolean connectives, as well as the possibility to translate between these fragments. For this we generalize the logics to allow for arbitrary connectives rather than the Boolean standard base and study the complexity of the problems and possibility of translations for all finite sets of allowed Boolean connectives.Our results show that in all cases the complexity of the problems does not depend on the particular set B of available connectives but on the set of functions expressible by projections and arbitrary compositions from B. We obtain polytomous complexity classifications (that is, into a finite number of complexity degrees) for all decision problems studied herein ranging from completeness for classes in the second level of the polynomial hierarchy down to membership in AC0. Furthermore, the counting problems are with one interesting exception shown to be trichotomous with complexity degrees spanning the first three levels of the counting hierarchy. To the best of our knowledge, the counting complexity of default logic is addressed here for the first time. Finally, we consider translations between fragments of these logics that leave the set of propositional consequences of the input invariant. We show which fragments of default logic, autoepistemic logic and circumscription can, under the chosen notion of translations, be embedded into fragments of the other two logics. We complete this picture by showing that in almost all cases in which no translation is given, no translation preserving the set of propositional consequences may exist unless the polynomial hierarchy collapses.

Szczegóły książki

250 000
zadowolonych klientów

Od roku 2008 obsłużyliśmy wielu miłośników książek, ale dla nas każdy był tym wyjątkowym.


Paczkomat 12,99 ZŁ 31975 punktów

Copyright! ©2008-24 libristo.pl Wszelkie prawa zastrzeżonePrywatnieCookies


Konto: Logowanie
Wszystkie książki świata w jednym miejscu. I co więcej w super cenach.

Koszyk ( pusty )

Kup za 299 zł i
zyskaj darmową dostawę.

Twoja lokalizacja: