ECAI 2004 Conference Paper

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

Simplicity in solving the frame problem

Victor Jauregui, Maurice Pagnucco, Norman Foo

This paper furnishes a unified philosophy for reasoning about action and change. We appeal to the principle of Occam's razor---the best explanations are the simplest ones---as the underlying theme of commonsense reasoning and conduct a preliminary investigation of how an appeal to simplicity allows us to address some of the challenges we face when reasoning about the effects of actions. In particular, we apply Occam's razor to transformations between worlds, given an action specification. We formalise this by appealing to Kolmogorov complexity to identify the intended (simplest) transformation given an action description. We support our claims by showing that the formalism captures our intuitions on some simple examples.

Keywords: Reasoning about Actions and Change, Common-Sense Reasoning, Nonmonotonic Reasoning, Knowledge Representation, Philosophical Foundations

Citation: Victor Jauregui, Maurice Pagnucco, Norman Foo: Simplicity in solving the frame problem . 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.640-644.

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