Note on the Cumulativity of Justified Default Logic

No Thumbnail Available
File version
Author(s)
Antoniou, G
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
1998
Size
File type(s)
Location
License
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.

Journal Title

Journal of Experimental and Theoretical Artificial Intelligence

Conference Title
Book Title
Edition
Volume

10

Issue

4

Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject

Cognitive and computational psychology

Persistent link to this record
Citation
Collections