A Modal Logic for Subjective Default Reasoning
In this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place modal connective that has the intended meaning of "If ff, then normally fi". On top of providing a well-defined tool for analyzing common default reasoning, DML allows nesting of the default operat...
Main Authors: | , |
---|---|
Other Authors: | |
Format: | Text |
Language: | English |
Published: |
1994
|
Subjects: | |
Online Access: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1775 http://www.cs.technion.ac.il/~shai/rachel.ps.gz |
id |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.21.1775 |
---|---|
record_format |
openpolar |
spelling |
ftciteseerx:oai:CiteSeerX.psu:10.1.1.21.1775 2023-05-15T16:01:27+02:00 A Modal Logic for Subjective Default Reasoning Shai Ben-david Rachel Ben-eliyahu-zohary The Pennsylvania State University CiteSeerX Archives 1994 application/postscript http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1775 http://www.cs.technion.ac.il/~shai/rachel.ps.gz en eng http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1775 http://www.cs.technion.ac.il/~shai/rachel.ps.gz Metadata may be used without restrictions as long as the oai identifier remains attached to it. http://www.cs.technion.ac.il/~shai/rachel.ps.gz text 1994 ftciteseerx 2016-01-07T17:46:14Z In this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place modal connective that has the intended meaning of "If ff, then normally fi". On top of providing a well-defined tool for analyzing common default reasoning, DML allows nesting of the default operator. We present a semantic framework in which many of the known default proof systems can be naturally characterized, and prove soundness and completeness theorems for several such proof systems. Our semantics is a "neighbourhood modal semantics", and it allows for subjective defaults, that is, defaults may vary among different worlds within the same model. The semantics has an appealing intuitive interpretation and may be viewed as a set-theoretic generalization of the probabilistic interpretations of default reasoning. We show that our semantics is most general in the sense that any modal semantics that is sound for some basic axioms for default reasoning is a special case of our semantics. Such a generality result may serve to provide a semantical analysis of the relative strength of different proof systems and to show the nonexistence of semantics with certain properties. 2 1 Text DML Unknown |
institution |
Open Polar |
collection |
Unknown |
op_collection_id |
ftciteseerx |
language |
English |
description |
In this paper we introduce DML: Default Modal Logic. DML is a logic endowed with a two-place modal connective that has the intended meaning of "If ff, then normally fi". On top of providing a well-defined tool for analyzing common default reasoning, DML allows nesting of the default operator. We present a semantic framework in which many of the known default proof systems can be naturally characterized, and prove soundness and completeness theorems for several such proof systems. Our semantics is a "neighbourhood modal semantics", and it allows for subjective defaults, that is, defaults may vary among different worlds within the same model. The semantics has an appealing intuitive interpretation and may be viewed as a set-theoretic generalization of the probabilistic interpretations of default reasoning. We show that our semantics is most general in the sense that any modal semantics that is sound for some basic axioms for default reasoning is a special case of our semantics. Such a generality result may serve to provide a semantical analysis of the relative strength of different proof systems and to show the nonexistence of semantics with certain properties. 2 1 |
author2 |
The Pennsylvania State University CiteSeerX Archives |
format |
Text |
author |
Shai Ben-david Rachel Ben-eliyahu-zohary |
spellingShingle |
Shai Ben-david Rachel Ben-eliyahu-zohary A Modal Logic for Subjective Default Reasoning |
author_facet |
Shai Ben-david Rachel Ben-eliyahu-zohary |
author_sort |
Shai Ben-david |
title |
A Modal Logic for Subjective Default Reasoning |
title_short |
A Modal Logic for Subjective Default Reasoning |
title_full |
A Modal Logic for Subjective Default Reasoning |
title_fullStr |
A Modal Logic for Subjective Default Reasoning |
title_full_unstemmed |
A Modal Logic for Subjective Default Reasoning |
title_sort |
modal logic for subjective default reasoning |
publishDate |
1994 |
url |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1775 http://www.cs.technion.ac.il/~shai/rachel.ps.gz |
genre |
DML |
genre_facet |
DML |
op_source |
http://www.cs.technion.ac.il/~shai/rachel.ps.gz |
op_relation |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.1775 http://www.cs.technion.ac.il/~shai/rachel.ps.gz |
op_rights |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
_version_ |
1766397299428163584 |