Iterated Belief Change Due to Actions and Observations

01/16/2014
by   Aaron Hunter, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
09/09/1998

Reasoning about Noisy Sensors and Effectors in the Situation Calculus

Agents interacting with an incompletely known world need to be able to r...
research
11/06/2015

An Action Language for Multi-Agent Domains: Foundations

In multi-agent domains (MADs), an agent's action may not just change the...
research
08/17/2021

On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope

The research on non-prioritized revision studies revision operators whic...
research
04/18/2019

Asymptotic Behavior of Bayesian Learners with Misspecified Models

We consider an agent who represents uncertainty about her environment vi...
research
05/25/2021

Extending rational models of communication from beliefs to actions

Speakers communicate to influence their partner's beliefs and shape thei...
research
01/15/2014

Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection

Thanks to recent advances, AI Planning has become the underlying techniq...
research
06/26/2019

Reasoning about Hypothetical Agent Behaviours and their Parameters

Agents can achieve effective interaction with previously unknown other a...

Please sign up or login with your details

Forgot password? Click here to reset