Autoepistemic Logic of First Order and Its Expressive Power
Loading...
Date
Author(s)
Citation for Previous Publication
Link to Related Item
Abstract
Description
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
Item Type
http://purl.org/coar/resource_type/c_93fc
Alternative
Other License Text / Link
Language
en