- Tytuł:
- On Undecidability of Non-monotonic Logic
- Autorzy:
- Suchenek, M. A.
- Powiązania:
- https://bibliotekanauki.pl/articles/92958.pdf
- Data publikacji:
- 2006
- Wydawca:
- Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach
- Tematy:
-
default logic
autoepistemic logic
asymptotic decidability - Opis:
- The degree of undecidability of nonmonotonic logic is investigated. A proof is provided that arithmetical but not recursively enumerable sets of sentences definable by nonmonotonic default logic are elements of ∆n+1 but not Σ n nor Π n for some n ≥1 in Kleene- Mostowski hierarchy of arithmetical sets.
- Źródło:
-
Studia Informatica : systems and information technology; 2006, 1(7); 127-132
1731-2264 - Pojawia się w:
- Studia Informatica : systems and information technology
- Dostawca treści:
- Biblioteka Nauki
Artykuł