Author： Antoniou G.
Publisher： Springer Publishing Company
ISSN： 0269-2821
Source： Artificial Intelligence Review, Vol.12, Iss.6, 1998-12, pp. : 431-443
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
The subject of nonmonotonic reasoning is reasoning with incomplete information. One of the main approaches is autoepistemic logic in which reasoning is based on introspection. This paper aims at providing a smooth introduction to this logic, stressing its motivation and basic concepts. The meaning (semantics) of autoepistemic logic is given in terms of so-called expansions which are usually defined as solutions of a fixed-point equation. The present paper shows a more understandable, operational method for determining expansions. By improving applicability of the basic concepts to concrete examples, we hope to make a contribution to a wider usage of autoepistemic logic in practical applications.
Related content
Access to resources
Recommend
Querying disjunctive databases through nonmonotonic logics
Theoretical Computer Science, Vol. 160, Iss. 1, 1996-06 ,pp. :