Jin, Yi ;
Thielscher, Michael
Actions and Belief Revision : A Computational Approach
Abstract
The classic AGM theory studies mathematically idealized models of
belief revision in two aspects: the properties (i.e., the AGM postulates)
a rational revision operator should satisfy; and how to mathematically
construct concrete revision operators. In scenarios where new
information arrives in sequence, rational revision operators should
also respect postulates for iterated revision (e.g., the DP postulates).
When applications are concerned, the idealization of the AGM theory has
to be lifted, in particular, beliefs of an agent should be represented by
a finite belief base. In this talk, we present a computational base
revision operator, which satisfies the AGM postulates and some nice
postulates for iterated revision. We will also give a formal assessment
of the base revision operator in terms of its computational complexity
and degree of syntax irrelevance.
BibTeX - Entry
@InProceedings{jin_et_al:DagSemProc.05321.5,
author = {Jin, Yi and Thielscher, Michael},
title = {{Actions and Belief Revision : A Computational Approach}},
booktitle = {Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics},
pages = {1--25},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2005},
volume = {5321},
editor = {James Delgrande and Jerome Lang and Hans Rott and Jean-Marc Tallon},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/opus/volltexte/2005/359},
URN = {urn:nbn:de:0030-drops-3599},
doi = {10.4230/DagSemProc.05321.5},
annote = {Keywords: Iterated Belief Revision, Belief Base Revision, Computational Complexity}
}
|
Keywords: |
|
Iterated Belief Revision, Belief Base Revision, Computational Complexity |
|
Seminar: |
|
05321 - Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics
|
|
Issue date: |
|
2005 |
|
Date of publication: |
|
22.11.2005 |
22.11.2005
