Autoepistemic Logic of First Order and Its Expressive Power

• Author(s) / Creator(s)

  • Yuan, Li-Yan

• 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

  • Autoepistemic logic
  • Nonmonotonic reasoning
  • Default logic
  • Knowledge representation
  • Logic programming

• Type of Item

  Report

• DOI

  https://doi.org/10.7939/R36Q1SK4D

• License

  Attribution 3.0 International