Usage
  • 18 views
  • 26 downloads

Autoepistemic Logic of First Order and Its Expressive Power

  • Author(s) / Creator(s)
  • Technical report TR93-17. We study the expressive power of first order autoepistemic logic. We argue that full introspection of rational agents should be carried out by minimizing positive introspection and maximizing negative introspection. Based on full introspection, we propose the generalized stable semantics that characterizes autoepistemic reasoning processes of rational agents, and show that the breadth of the semantics covers all theories in autoepistemic logic of first order, Moore's AE logic, and Reiter's default logic. Our study demonstrates that autoepistemic logic of first order is a very powerful framework for nonmonotonic reasoning, logic programming, deductive databases, and knowledge representation. | TRID-ID TR93-17

  • Date created
    1993
  • Subjects / Keywords
  • Type of Item
    Report
  • DOI
    https://doi.org/10.7939/R36Q1SK4D
  • License
    Attribution 3.0 International