Abstract
Parikh's axiom (P) for relevance-sensitive belief revision is studied. Sound and complete semantics for axiom (P) is provided in the form constraints on system-of-spheres.
BibTeX - Entry
@InProceedings{peppas_et_al:DagSemProc.07351.9,
author = {Peppas, Pavlos and Chopra, Samir and Foo, Norman},
title = {{Distance Semantics for Relevance-Sensitive Belief Revision}},
booktitle = {Formal Models of Belief Change in Rational Agents},
pages = {1--9},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2007},
volume = {7351},
editor = {Giacomo Bonanno and James Delgrande and J\'{e}r\^{o}me Lang and Hans Rott},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2007/1215},
URN = {urn:nbn:de:0030-drops-12159},
doi = {10.4230/DagSemProc.07351.9},
annote = {Keywords: Belief Revision, System of Spheres.}
}
Keywords: |
|
Belief Revision, System of Spheres. |
Collection: |
|
07351 - Formal Models of Belief Change in Rational Agents |
Issue Date: |
|
2007 |
Date of publication: |
|
20.11.2007 |