Peppas, Pavlos ;
Chopra, Samir ;
Foo, Norman
Distance Semantics for Relevance-Sensitive Belief Revision
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:DSP:2007:1215,
author = {Pavlos Peppas and Samir Chopra and Norman Foo},
title = {Distance Semantics for Relevance-Sensitive Belief Revision},
booktitle = {Formal Models of Belief Change in Rational Agents},
year = {2007},
editor = {Giacomo Bonanno and James Delgrande and J{\'e}r{\^o}me Lang and Hans Rott},
number = {07351},
series = {Dagstuhl Seminar Proceedings},
ISSN = {1862-4405},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2007/1215},
annote = {Keywords: Belief Revision, System of Spheres.}
}
|
Keywords: |
|
Belief Revision, System of Spheres. |
|
Seminar: |
|
07351 - Formal Models of Belief Change in Rational Agents
|
|
Documenttype: |
|
InProceedings |
|
Issue date: |
|
2007 |
|
Date of publication: |
|
20.11.2007 |