ERA

No preview available

Analytics

Share

Permanent link (DOI): https://doi.org/10.7939/R36827

Download

Export to: EndNote  |  Zotero  |  Mendeley

Communities

This file is in the following communities:

Computing Science, Department of

Collections

This file is in the following collections:

Technical Reports (Computing Science)

Autoepistemic Circumscription and Logic Programming Open Access

Descriptions

Author or creator
Yuan, Li-Yan
You, Jia-Huai
Additional contributors
Subject/Keyword
circumscription
semantics
nonmonotonic reasoning
autoepistemic reasoning
Type of item
Computing Science Technical Report
Computing science technical report ID
TR92-18
Language
English
Place
Time
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.
Date created
1992
DOI
doi:10.7939/R36827
License information
Creative Commons Attribution 3.0 Unported
Rights

Citation for previous publication

Source
Link to related item

File Details

Date Uploaded
Date Modified
2014-04-29T18:43:04.143+00:00
Audit Status
Audits have not yet been run on this file.
Characterization
File format: postscript (Postscript, Adobe Illustrator)
Mime type: application/postscript
File size: 255683
Last modified: 2015:10:12 13:33:44-06:00
Filename: TR92-18.ps
Original checksum: 8c8ac5b06b7cafa3f4c31d16d6022cd7
Activity of users you follow
User Activity Date