ECAI 2004 Conference Paper

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

Iterated Belief Change for Reasoning Agents

Yi Jin, Michael Thielscher

Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities of reasoning about the effects of actions, executing high-level strategies, and planning. In this paper we extend the fluent calculus by a method for belief change, which allows agents to revise their internal model if they make observations that contradictthis model. Unlike the existing combination of the situation calculus with belief revision, our formalism satisfies all of the standard postulates for (iterated) belief change. Furthermore, we have extended the action programming language FLUX by a computational approach to belief change which is provably equivalent to the axiomatic characterization in the fluent calculus.

Keywords: Reasoning about actions and change, Iterated Belief Revision

Citation: Yi Jin, Michael Thielscher: Iterated Belief Change for Reasoning Agents. 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.823-827.

[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).