A note on the cumulativity of justified default logic

Grigoris Antoniou

doi:10.1080/095281398146734

A note on the cumulativity of justified default logic

Grigoris Antoniou

Griffith University

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	507-509
Number of pages	3
Journal	Journal of Experimental and Theoretical Artificial Intelligence
Volume	10
Issue number	4
DOIs	https://doi.org/10.1080/095281398146734
Publication status	Published - 1 Oct 1998
Externally published	Yes

Access to Document

10.1080/095281398146734Licence: Unspecified

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 = oct,

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",

}

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 - https://www.scopus.com/pages/publications/0542420315

U2 - 10.1080/095281398146734

DO - 10.1080/095281398146734

M3 - Article

AN - SCOPUS:0542420315

SN - 0952-813X

VL - 10

SP - 507

EP - 509

JO - Journal of Experimental and Theoretical Artificial Intelligence

JF - Journal of Experimental and Theoretical Artificial Intelligence

IS - 4

ER -

A note on the cumulativity of justified default logic

Abstract

Access to Document

Other files and links

Fingerprint

Cite this