Operational concepts of nonmonotonic logics - Part 2: Autoepistemic logic

Autor(en): Antoniou, G
Sperschneider, V
Stichwörter: autoepistemic logic; Computer Science; Computer Science, Artificial Intelligence; DEFAULT; knowledge representation; nonmonotonic reasoning
Erscheinungsdatum: 1998
Herausgeber: SPRINGER
Journal: ARTIFICIAL INTELLIGENCE REVIEW
Volumen: 12
Ausgabe: 6
Startseite: 431
Seitenende: 443
Zusammenfassung: 
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.
ISSN: 02692821
DOI: 10.1023/A:1006516126932

Show full item record

Page view(s)

1
Last Week
0
Last month
1
checked on Mar 4, 2024

Google ScholarTM

Check

Altmetric