Separating Disbeliefs from Beliefs in Autoepistemic Reasoning

  title={Separating Disbeliefs from Beliefs in Autoepistemic Reasoning},
  author={Tomi Janhunen},
This paper investigates separated autoepistemic logic which is a generalization of Moore's autoepistemic logic with separate modalities for belief and disbelief. Along the separation of beliefs and disbeliefs, the relationship between autoepistemic logic and default logic becomes very intuitive. Straightforward ways of translating default theories into separated autoepistemic theories and back are presented. These translations are shown to preserve a variety of semantics of default theories… 
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription
This paper concentrates on comparing the relative expressive power of five non-monotonic logics that have appeared in the literature, and adopts Gottlob's framework for the analysis, but proposes a weaker notion of faithfulness.
On the intertranslatability of non‐monotonic logics
  • T. Janhunen
  • Philosophy
    Annals of Mathematics and Artificial Intelligence
  • 2004
The classes of EPH indicate some astonishing relationships in light of earlier results on the expressive power of non‐monotonic logics presented by Gottlob as well as Bonatti and Eiter: Moore’s autoepistemic logic and prerequisite‐free default logic are of equal expressive power and less expressive than Reiter's default logic and Marek and Truszczyński's strong autoepistsic logic.
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power
An overview of the current expressive power hierarchy (EPH) is given and seminormal default logic as well as prerequisite-free and semi-normal default logic are investigated in order to locate their exact positions in the hierarchy.
Capturing Stationary and Regular Extensions with Reiter's Extensions
The aim is to capture Przymusinska and Przcyusinski's stationary extensions with Reiter's extensions using the same translational idea, which leads to a polynomial, faithful and modular (PFM) translation function.


Representing Autoepistemic Introspection in Terms of Default Rules
This paper shows how autoepis-temic theories can be faithfully translated into default theories and indicates together with the previous research results that au-toepistemic logic and default logic are of equal generality.
Autoepistemic Logics of Closed Beliefs and Logic Programming
AEL circ represents a new and attractive autoepistemic logic which eliminates the drawbacks of the original Moore's AEL and is substantiated in the class of logic programs the Autoepis-temic Logic of Closed Beliefs AEL circ, in which the negative introspection operator j = circ is based on McCarthy's circumscription CIRC.
Towards Automatic Autoepistemic Reasoning
First-order autoepistemic logic is studied where quantifying into a modal context is not allowed and preliminary results on decidability and complexity of autoepisemic reasoning are obtained, it is shown that autoepistsemic reasoning is decidable iff the underlying monotonic consequence relation is dec formidable.
Autoepistemic logic
It is proven that the problem of existence of stable models is NP-complete and the definition of stratified theories is extended and efficient algorithms for testing whether atheory is stratified are proposed.
Three-valued nonmonotonic formalisms and semantics of logic programs
We introduce three-rained extensions of major nonmonotonic formalisms and we prove that the recently proposed well-founded semantics of logic programs is equivalent, for arbitrary logic programs, to
A Logic of Knowledge and Justified Assumptions
Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs
  • P. Bonatti
  • Computer Science, Philosophy
    J. Log. Program.
  • 1995
Modal nonmonotonic logics: ranges, characterization, computation
Many nonmonotonic formalism, including default logic, logic programming with stable models, and autoepistemic logic, can be represented faithfully by means of modal nonmonotonic logics in the family
Nonmonotonic Logic II: Nonmonotonic Modal Theories
The operator M (usually read "possible") is extended so that Mp is true whenever p is consistent with the theory, and any theorem of this form may be mvahdated if ~p ~s is added as an axiom.
Towards a Theory of Declarative Knowledge