Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

Complexity results for 2CNF default theories

Szczegóły
Abstrakt

Tytuł:: Complexity results for 2CNF default theories
Autorzy:: Zhao, X.
Ding, D.
Data publikacji:: 2001
Słowa kluczowe:: 2CNF default theory
credulous reasoning
skeptical reasoning
complexity
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

This paper is concerned with the complexity of default reasoning with 2CNF default theories (D,W) in which W is a set of literals and D is a set of 2CNF defaults. It is proved that the problem whether a literal occurs in at least one extension can be solved in polynomial time. But the problem whether a literal appears in all extensions is proved to be co-NP-complete. The complexity of some subclasses of 2CNF default theories is also analyzed.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

Complexity results for 2CNF default theories