Operational concepts of nonmonotonic logics part 1: Default logic

G. Antoniou, V. Sperschneider

Research output: Contribution to journalArticlepeer-review

19 Citations (Scopus)


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
Issue number1
Publication statusPublished - 1 Jan 1994
Externally publishedYes


Dive into the research topics of 'Operational concepts of nonmonotonic logics part 1: Default logic'. Together they form a unique fingerprint.

Cite this