![]() ![]() |
![]() | ![]() ![]() ![]() |
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.
![]() ![]() ![]() |