Autoepistemic Circumscription and Logic Programming
Loading...
Date
Author(s)
Citation for Previous Publication
Link to Related Item
Abstract
Description
Technical report TR92-18. We propose a framework of autoepistemic reasoning in which the underlying semantics is determined by the choice of a nonmonotonic inference mechanism and by specifying a belief constraint. While the latter makes the approach flexible in meeting possibly different applications, the former links the resulting semantics to a nonmonotonic reasoning formalism and thus allows adoption of existing techniques. In this paper we choose circumscription as the underlying inference mechanism and use two different belief constraints to define two semantics, the stable circumscriptive semantics and the well-founded circumscriptive semantics, for autoepistemic theories. The former coincides with Moore's autoepistemic logic for logic programs and is arguably more desirable in handling disjunctive autoepistemic theories. The latter is a reconstruction and extension of Przymusinski's iterative method for computing the least $AEL(circ)$ expansions for logic programs. We show that for logic programs the two construction methods coincide. However, while Przymusinski's construction method is restricted to logic programs only, the well-founded circumscriptive semantics is applicable to more general autoepistemic theories. | TRID-ID TR92-18
Item Type
http://purl.org/coar/resource_type/c_93fc
Alternative
Other License Text / Link
Language
en