A note on the cumulativity of justified default logic

Research output: Contribution to journalArticle

Abstract

Cumulativity is an important property of nonmonotonic inference relations because it allows for the safe use of lemmas. This note shows that Justified Default Logic, Lukaszewicz variant of default logic, is cumulative for prerequisite-free default theories, a question that has been open in the literature. The proof is very simple and makes use of an operational interpretation of extensions.

LanguageEnglish
Pages507-509
Number of pages3
JournalJournal of Experimental and Theoretical Artificial Intelligence
Volume10
Issue number4
DOIs
Publication statusPublished - 1 Oct 1998
Externally publishedYes

Fingerprint

Default Logic
Lemma
Interpretation

Cite this

@article{c43f91c5358f4fa296d5f22e90053001,
title = "A note on the cumulativity of justified default logic",
abstract = "Cumulativity is an important property of nonmonotonic inference relations because it allows for the safe use of lemmas. This note shows that Justified Default Logic, Lukaszewicz variant of default logic, is cumulative for prerequisite-free default theories, a question that has been open in the literature. The proof is very simple and makes use of an operational interpretation of extensions.",
author = "Grigoris Antoniou",
year = "1998",
month = "10",
day = "1",
doi = "10.1080/095281398146734",
language = "English",
volume = "10",
pages = "507--509",
journal = "Journal of Experimental and Theoretical Artificial Intelligence",
issn = "0952-813X",
publisher = "Taylor and Francis Ltd.",
number = "4",

}

A note on the cumulativity of justified default logic. / Antoniou, Grigoris.

In: Journal of Experimental and Theoretical Artificial Intelligence, Vol. 10, No. 4, 01.10.1998, p. 507-509.

Research output: Contribution to journalArticle

TY - JOUR

T1 - A note on the cumulativity of justified default logic

AU - Antoniou, Grigoris

PY - 1998/10/1

Y1 - 1998/10/1

N2 - Cumulativity is an important property of nonmonotonic inference relations because it allows for the safe use of lemmas. This note shows that Justified Default Logic, Lukaszewicz variant of default logic, is cumulative for prerequisite-free default theories, a question that has been open in the literature. The proof is very simple and makes use of an operational interpretation of extensions.

AB - Cumulativity is an important property of nonmonotonic inference relations because it allows for the safe use of lemmas. This note shows that Justified Default Logic, Lukaszewicz variant of default logic, is cumulative for prerequisite-free default theories, a question that has been open in the literature. The proof is very simple and makes use of an operational interpretation of extensions.

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

U2 - 10.1080/095281398146734

DO - 10.1080/095281398146734

M3 - Article

VL - 10

SP - 507

EP - 509

JO - Journal of Experimental and Theoretical Artificial Intelligence

T2 - Journal of Experimental and Theoretical Artificial Intelligence

JF - Journal of Experimental and Theoretical Artificial Intelligence

SN - 0952-813X

IS - 4

ER -