ECAI 2004 Conference Paper

[PDF] [full paper] [prev] [tofc] [next]

Iterated Belief Change and Exogenous Actions in the Situation Calculus

Steven Shapiro, Maurice Pagnucco

We present a novel theory of action and change capable of dealing with discord between an agent's beliefs and the results of its sensing. Previous work by Scherl and Levesque (2003) and Shapiro et al. (2000) have given accounts of iterated belief update and revision, and the ability to deal with mistaken beliefs. However, they assume that all actions, including exogenous actions beyond the agent's control, are accessible to the agent for the purposes of reasoning. Our approach abandons this idealistic stance and allows the agent to hypothesise the occurrence of exogenous actions to account for any discrepancy between belief and sensing.

Keywords: Reasoning about Action and Change, Knowledge Representation, Belief Revision, Cognitive Robotics

Citation: Steven Shapiro, Maurice Pagnucco: Iterated Belief Change and Exogenous Actions in the Situation Calculus. In R.López de Mántaras and L.Saitta (eds.): ECAI2004, Proceedings of the 16th European Conference on Artificial Intelligence, IOS Press, Amsterdam, 2004, pp.878-882.

[prev] [tofc] [next]

ECAI-2004 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Universitat Politècnica de València on behalf of Asociación Española de Inteligencia Artificial (AEPIA) and Associació Catalana d'Intel-ligència Artificial (ACIA).