OPERATIONAL CONCEPTS OF NONMONOTONIC LOGICS .1. DEFAULT LOGIC

Autor(en): ANTONIOU, G
SPERSCHNEIDER, V
Stichwörter: Computer Science; Computer Science, Artificial Intelligence; DEFAULT LOGIC; OPERATIONAL COMPUTATION OF EXTENSIONS; PROTOTYPICAL IMPLEMENTATION
Erscheinungsdatum: 1994
Herausgeber: KLUWER ACADEMIC PUBL
Journal: ARTIFICIAL INTELLIGENCE REVIEW
Volumen: 8
Ausgabe: 1
Startseite: 3
Seitenende: 16
Zusammenfassung: 
We give an introduction to default logic, one of the most prominent nonmonotonic logics. Emphasis is given to providing an operational interpretation for the semantics of default logic that is usually defined by fixed-point concepts (extensions). We introduce a process model that allows to exactly calculate the extensions of a default theory in a quite easy way. We give a prototypical implementation of processes in Prolog able to handle the examples that can be found in literature. Finally, we develop some theoretical results about default logic and give new simple proofs using the process model as a theoretical tool.
ISSN: 02692821
DOI: 10.1007/BF00851348

Show full item record

Page view(s)

2
Last Week
0
Last month
0
checked on Feb 21, 2024

Google ScholarTM

Check

Altmetric