Uniform semantic treatment of default and autoepistemic logics

@article{Denecker2000UniformST,
  title={Uniform semantic treatment of default and autoepistemic logics},
  author={Marc Denecker and Victor W. Marek and Miroslaw Truszczynski},
  journal={ArXiv},
  year={2000},
  volume={cs.AI/0002002}
}
  • Marc Denecker, Victor W. Marek, Miroslaw Truszczynski
  • Published in Artif. Intell. 2000
  • Computer Science, Mathematics
  • ArXiv
  • We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general semantic approach to autoepistemic and default logics that is based on the notion of a belief pair and that exploits the lattice structure of the collection of all belief pairs. For each logic, we introduce a monotone operator on the lattice of belief pairs. We then show that a whole family of semantics can be defined in a… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 75 CITATIONS

    Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond

    VIEW 7 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    Grounded fixpoints and their applications in knowledge representation

    VIEW 13 EXCERPTS
    CITES BACKGROUND & METHODS

    Approximating operators and semantics for abstract dialectical frameworks

    VIEW 12 EXCERPTS
    CITES BACKGROUND & METHODS
    HIGHLY INFLUENCED

    Groundedness in Logics With a Fixpoint Semantics

    VIEW 3 EXCERPTS
    CITES BACKGROUND
    HIGHLY INFLUENCED

    FILTER CITATIONS BY YEAR

    2000
    2019

    CITATION STATISTICS

    • 4 Highly Influenced Citations

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 22 REFERENCES

    Przymusiński. Stationary default extensions

    • T. H. Przymusińska
    • Fundamenta Informaticae,
    • 1994

    Stationary Default Extensions

    Nonmonotonic Logic

    All I Know: A Study in Autoepistemic Logic