Semantical Considerations on Nonmonotonic Logic

@inproceedings{Moore1983SemanticalCO,
  title={Semantical Considerations on Nonmonotonic Logic},
  author={Robert C. Moore},
  booktitle={IJCAI},
  year={1983}
}
Reasoning t No onotonic
TLDR
It is demonstrated that a restricted form of the principle of arrogance yields results that are equivalent to EMAT [Morgenstern, 19891, a non-monotonic logic which was designed to reason about temporal projection in epistemic contexts].
Nonmonotonic Reasoning is Sometimes Simpler!
TLDR
The complexity of decision problems associated with the nonmonotonic modal logic S4 is established, and it is proved that the problem of existence of an S4-expansion for a given set A of premisses is Y%, which refutes a conjecture of Gottlob that these problems are PSPACE-complete.
A Formal Theory of Multiple Agent Nonmonotonic Reasoning
TLDR
It is demonstrated that a restricted form of the principle of arrogance yields results that are equivalent to EMAT [Morgenstern, 1989], a non-monotonic logic which was designed to reason about temporal projection in epistemic contexts.
Towards an Axiom System for Default Logic
TLDR
This paper presents evidence that it is unlikely that a complete axiom system exists in the first-order case, even when restricted to the simplest forms of default reasoning, and presents formal derivations for some examples ofdefault reasoning.
Induction and Confirmation Theory: An Approach based on a Paraconsistent Nonmonotonic Logic
This paper is an effort to realize and explore the connections that exist between nonmonotonic logic and confirmation theory. We pick up one of the most wide-spread nonmonotonic formalisms – default
Tableaux for Nonmonotonic Logics
TLDR
In the last 15 years there has been a huge amount of research on logical formalization of commonsense reasoning, but traditional logics, even non classical ones, are not suitable to express and formalize revisable inferences.
Only-Knowing Meets Nonmonotonic Modal Logic
TLDR
Another large class of nonmonotonic systems, which were first studied by McDermott and Doyle, are brought into the only-knowing fold and the first possible-world semantics for such systems is provided, providing a new perspective on the nature of modal approaches to non monotonic reasoning.
Subnormal Modal Logics for Knowledge Representation
TLDR
This paper argues that weak modal logics, without even the axiom K and below the range of normal modallogics, also give rise to useful non monotonic systems, and proves that computationally they are equivalent to autoepistemic and default logics.
Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics
  • R. Rosati
  • Philosophy, Computer Science
    J. Log. Lang. Inf.
  • 1999
TLDR
It is proved that Halpern and Moses's logic can be embedded into all ground logics; moreover, the translation employed allows for establishing a lower bound for the problem of skeptical reasoning in all groundlogics.
...
...

References

SHOWING 1-3 OF 3 REFERENCES
Nonmonotonic Logic II: Nonmonotonic Modal Theories
TLDR
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.
Non-Monotonic Logic I