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.

LanguageEnglish
Pages3-16
Number of pages14
JournalArtificial Intelligence Review
Volume8
Issue number1
DOIs
Publication statusPublished - 1 Jan 1994
Externally publishedYes

Fingerprint

logic
Semantics
semantics
interpretation
Default Logic
Nonmonotonic Logic
Process Model

Cite this

@article{058d2a68cb864ca9abb9acfa5a2a6aa1,
title = "Operational concepts of nonmonotonic logics part 1: Default logic",
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.",
keywords = "default logic, operational computation of extensions, prototypical implementation",
author = "G. Antoniou and V. Sperschneider",
year = "1994",
month = "1",
day = "1",
doi = "10.1007/BF00851348",
language = "English",
volume = "8",
pages = "3--16",
journal = "Artificial Intelligence Review",
issn = "0269-2821",
publisher = "Springer Netherlands",
number = "1",

}

Operational concepts of nonmonotonic logics part 1 : Default logic. / Antoniou, G.; Sperschneider, V.

In: Artificial Intelligence Review, Vol. 8, No. 1, 01.01.1994, p. 3-16.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Operational concepts of nonmonotonic logics part 1

T2 - Artificial Intelligence Review

AU - Antoniou, G.

AU - Sperschneider, V.

PY - 1994/1/1

Y1 - 1994/1/1

N2 - 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.

AB - 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.

KW - default logic

KW - operational computation of extensions

KW - prototypical implementation

UR - http://www.scopus.com/inward/record.url?scp=0027963874&partnerID=8YFLogxK

U2 - 10.1007/BF00851348

DO - 10.1007/BF00851348

M3 - Article

VL - 8

SP - 3

EP - 16

JO - Artificial Intelligence Review

JF - Artificial Intelligence Review

SN - 0269-2821

IS - 1

ER -