Operational concepts of nonmonotonic logics part 1: Default logic

G. Antoniou, V. Sperschneider

Research output: Contribution to journalArticle

19 Citations (Scopus)

Abstract

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.

Original languageEnglish
Pages (from-to)3-16
Number of pages14
JournalArtificial Intelligence Review
Volume8
Issue number1
DOIs
Publication statusPublished - 1 Jan 1994
Externally publishedYes

    Fingerprint

Cite this