From disjunctive programs to abduction

1995 ◽  
pp. 23-42 ◽  
Author(s):  
Vladimir Lifschitz ◽  
Hudson Turner
Keyword(s):  
Disjunctive Programs

An algorithm for disjunctive programs

1990 ◽  
Vol 48 (3) ◽  
pp. 362-371 ◽  
Author(s):  
Nicholas Beaumont
Keyword(s):  
Disjunctive Programs

scholarly journals Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs

2010 ◽  
Vol 11 (6) ◽  
pp. 881-904 ◽  
Author(s):  
MIROSŁAW TRUSZCZYŃSKI
Keyword(s):  
The Other ◽  
Logic Programs ◽  
Finite Representation ◽  
Potential Interest ◽  
Disjunctive Logic Programs ◽  
Problem Instances ◽  
The One ◽  
Answer Sets ◽  
Disjunctive Programs ◽  
Credulous Reasoning

AbstractWe present trichotomy results characterizing the complexity of reasoning with disjunctive logic programs. To this end, we introduce a certain definition schema for classes of programs based on a set of allowed arities of rules. We show that each such class of programs has a finite representation, and for each of the classes definable in the schema, we characterize the complexity of the existence of an answer set problem. Next, we derive similar characterizations of the complexity of skeptical and credulous reasoning with disjunctive logic programs. Such results are of potential interest. On the one hand, they reveal some reasons responsible for the hardness of computing answer sets. On the other hand, they identify classes of problem instances, for which the problem is “easy” (in P) or “easier than in general” (in NP). We obtain similar results for the complexity of reasoning with disjunctive programs under the supported-model semantics.

Sign in / Sign up

Export Citation Format

Share Document