New proofs in default logic theory

G. Antoniou, E. Langetepe, V. Sperschneider

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

The proofs of theorems in default logic are often quite complicated and therefore error-prone. In this paper we introduce an operational interpretation of default logic and show its usefulness in providing technically simpler proofs for well-known results. We especially turn our attention to ordered, semi-normal default theories. We point out that Etherington's result and most of the citations and improvements in the literature are wrong, give the correct version and a totally new, technically clearer and more comprehensive proof.

LanguageEnglish
Pages215-229
Number of pages15
JournalAnnals of Mathematics and Artificial Intelligence
Volume12
Issue number3-4
DOIs
Publication statusPublished - 1 Dec 1994
Externally publishedYes

Fingerprint

Default Logic
Citations
Theorem

Cite this

Antoniou, G. ; Langetepe, E. ; Sperschneider, V. / New proofs in default logic theory. In: Annals of Mathematics and Artificial Intelligence. 1994 ; Vol. 12, No. 3-4. pp. 215-229.
@article{c418d9f1458946f0bab1e662e4835daf,
title = "New proofs in default logic theory",
abstract = "The proofs of theorems in default logic are often quite complicated and therefore error-prone. In this paper we introduce an operational interpretation of default logic and show its usefulness in providing technically simpler proofs for well-known results. We especially turn our attention to ordered, semi-normal default theories. We point out that Etherington's result and most of the citations and improvements in the literature are wrong, give the correct version and a totally new, technically clearer and more comprehensive proof.",
keywords = "Neural Development, Artificial Intelligence, Complex systems, Nonlinear Dynamics",
author = "G. Antoniou and E. Langetepe and V. Sperschneider",
year = "1994",
month = "12",
day = "1",
doi = "10.1007/BF01530786",
language = "English",
volume = "12",
pages = "215--229",
journal = "Annals of Mathematics and Artificial Intelligence",
issn = "1012-2443",
publisher = "Springer Netherlands",
number = "3-4",

}

New proofs in default logic theory. / Antoniou, G.; Langetepe, E.; Sperschneider, V.

In: Annals of Mathematics and Artificial Intelligence, Vol. 12, No. 3-4, 01.12.1994, p. 215-229.

Research output: Contribution to journalArticle

TY - JOUR

T1 - New proofs in default logic theory

AU - Antoniou, G.

AU - Langetepe, E.

AU - Sperschneider, V.

PY - 1994/12/1

Y1 - 1994/12/1

N2 - The proofs of theorems in default logic are often quite complicated and therefore error-prone. In this paper we introduce an operational interpretation of default logic and show its usefulness in providing technically simpler proofs for well-known results. We especially turn our attention to ordered, semi-normal default theories. We point out that Etherington's result and most of the citations and improvements in the literature are wrong, give the correct version and a totally new, technically clearer and more comprehensive proof.

AB - The proofs of theorems in default logic are often quite complicated and therefore error-prone. In this paper we introduce an operational interpretation of default logic and show its usefulness in providing technically simpler proofs for well-known results. We especially turn our attention to ordered, semi-normal default theories. We point out that Etherington's result and most of the citations and improvements in the literature are wrong, give the correct version and a totally new, technically clearer and more comprehensive proof.

KW - Neural Development

KW - Artificial Intelligence

KW - Complex systems

KW - Nonlinear Dynamics

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

U2 - 10.1007/BF01530786

DO - 10.1007/BF01530786

M3 - Article

VL - 12

SP - 215

EP - 229

JO - Annals of Mathematics and Artificial Intelligence

T2 - Annals of Mathematics and Artificial Intelligence

JF - Annals of Mathematics and Artificial Intelligence

SN - 1012-2443

IS - 3-4

ER -