A Trichotomy in the Complexity of Propositional Circumscription
@inproceedings{Nordh2004ATI,
title={A Trichotomy in the Complexity of Propositional Circumscription},
author={Gustav Nordh},
booktitle={Logic Programming and Automated Reasoning},
year={2004}
}Circumscription is one of the most important and well studied formalisms in the realm of nonmonotonic reasoning. The inference problem for propositional circumscription has been extensively studied from the viewpoint of computational complexity. We prove that there exists a trichotomy for the complexity of the inference problem in propositional variable circumscription. More specifically we prove that every restricted case of the problem is either \(\Pi_{\rm 2}^{\rm P}\)-complete, coNP-complete…
23 Citations
The Complexity of Circumscriptive Inference in Post’s Lattice
- Computer Science, MathematicsTheory of Computing Systems
- 2010
It is shown that in the general case, unless P=NP, only literal theories admit polynomial-time algorithms, while for some restricted variants the tractability border is the same as for classical propositional inference.
Trichotomies in the Complexity of Minimal Inference
- Mathematics2009 24th Annual IEEE Symposium on Logic In Computer Science
- 2009
It is proved that the complexity of the minimal inference problem for each of them has a trichotomy (between P, coNP-complete, and Π2P-complete); one of these results finally settles with a positive answer thetrichotomy conjecture of Kirousis and Kolaitis.
Trichotomies in the Complexity of Minimal Inference
- MathematicsTheory of Computing Systems
- 2011
It is proved that the complexity of the minimal inference problem with unbounded queries has a trichotomy (between P, coNP-complete, and Pi_2^P-complete) and this result finally settles with a positive answer thetrichotomy conjecture of Kirousis and Kolaitis.
The Complexity of Circumscriptive Inference in Post’s Lattice
- Computer ScienceTheory of Computing Systems
- 2011
It is shown that in the general case, unless P=NP, only literal theories admit polynomial-time algorithms, while for some restricted variants the tractability border is the same as for classical propositional inference.
Explicit Representations of Persistency for Propositional Action Theories
- Computer Science
- 2021
This work introduces two syntactic operators, allowing to represent different kinds of persistency, and considers the languages obtained from propositional logic by adding them at any level of nesting, and shows an interesting picture of diverse complexity results.
Complexity of non-monotonic logics
- Computer ScienceBull. EATCS
- 2010
This survey considers a logical formalism from each of the above possibilities, namely Reiter's default logic, Moore's autoepistemic logic and McCarthy's circumscription, and describes complexity results for fragments of logical languages obtained by restricting the allowed set of operators.
Complexity of Default Logic on Generalized Conjunctive Queries
- Computer ScienceLPNMR
- 2007
This paper derives a complete classification of default logic reasoning problems by means of universal algebra tools using Post's clone lattice, and proves a trichotomy theorem for the existence of an extension, classifying this problem to be either polynomial, NP- complete, or Σ2P-complete, depending on the set of underlying Boolean connectives.
The Complexity of Generalized Satisfiability for Linear Temporal Logic
- MathematicsElectron. Colloquium Comput. Complex.
- 2006
A systematic study of satisfiability for LTL formulae over restricted sets of propositional and temporal operators using Post's lattice to determine the computational complexity of LTL satisfiability.
References
SHOWING 1-10 OF 29 REFERENCES
An algebraic approach to the complexity of propositional circumscription
- Computer ScienceProceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.
- 2004
A new approach based on algebraic techniques is used to study the complexity of the model checking and inference problems for propositional variable circumscription in a unified way and proves that there exists a dichotomy theorem for thecomplexity of the inference problem in propositionalVariable circumscription.
The Complexity of Closed World Reasoning and Circumscription
- Computer ScienceAAAI
- 1990
A detailed analysis of the computational complexity of the different forms of closed world reasoning for various fragments of propositional logic allows us to draw a complete picture of the tractability/ intractability frontier for such a form of nonmonotonic reasoning.
Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete
- Computer ScienceTheor. Comput. Sci.
- 1993
The Inference Problem for Propositional Circumscription of Affine Formulas Is coNP-Complete
- MathematicsSTACS
- 2003
We prove that the inference problem of propositional circumscription for affine formulas is coNP-complete, settling this way a longstanding open question in the complexity of nonmonotonic reasoning.…
A Dichotomy in the Complexity of Propositional Circumscription
- MathematicsTheory of Computing Systems
- 2004
A complete classification into hard and easy cases of the model-checking problem in circumscription is established and a dichotomy theorem is established which asserts that each restricted case of this problem either is Π2P-complete or is in coNP.
The Complexity of Propositional Closed World Reasoning and Circumscription
- Computer ScienceJ. Comput. Syst. Sci.
- 1994
Complexity Results for Propositional Closed World Reasoning and Circumscription from Tractable Knowledge Bases
- Computer ScienceIJCAI
- 1999
This paper presents new complexity results for propositional closed world reasoning from tractable knowledge bases (KBs) and suggests knowledge compilation as a valuable approach to deal with the complexity of CWR in some situations.
The complexity of theorem-proving procedures
- Mathematics, Computer ScienceSTOC
- 1971
It is shown that any recognition problem solved by a polynomial time-bounded nondeterministic Turing machine can be “reduced” to the problem of determining whether a given propositional formula is a…
On the Structure of Polynomial Time Reducibility
- MathematicsJACM
- 1975
The method of showing density ymlds the result that if P ~ NP then there are members of NP -P that are not polynomml complete is shown, which means there is a strictly ascending sequence with a minimal pair of upper bounds to the sequence.