Iterated belief change due to actions and observations

DOI10.1613/JAIR.3132zbMATH Open1214.68384arXiv1401.3867OpenAlexW2116816400WikidataQ129520331 ScholiaQ129520331MaRDI QIDQ3081453FDOQ3081453

Aaron Hunter, James Delgrande

Publication date: 8 March 2011

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Abstract: In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system approach to reason about the evolution of an agents beliefs as actions are executed. Some actions cause an agent to perform belief revision while others cause an agent to perform belief update, but the interaction between revision and update can be non-elementary. We present a set of rationality properties describing the interaction between revision and update, and we introduce a new class of belief change operators for reasoning about alternating sequences of revisions and updates. Our belief change operators can be characterized in terms of a natural shifting operation on total pre-orderings over interpretations. We compare our approach with related work on iterated belief change due to action, and we conclude with some directions for future research.

Full work available at URL: https://arxiv.org/abs/1401.3867

zbMATH Keywords

actionbelief revisionobservationagentsbelief updatereasoning about belief changetransition system framework

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cited In (4)

• Belief revision and computational argumentation: a critical comparison
• Mixed Iterated Revisions: Rationale, Algorithms, and Complexity
• Deductive belief change
• Considerations on Belief Revision in an Action Theory

   Recommendations

• Belief change with uncertain action histories 👍 👎
• Iterated belief change in the situation calculus 👍 👎
• Belief revision: A critique 👍 👎
• Considerations on belief revision in an action theory 👍 👎
• A unified model of qualitative belief change: a dynamical systems perspective 👍 👎

This page was built for publication: Iterated belief change due to actions and observations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3081453)