Minimal Knowledge Approach to Reasoning about Actions and Sensing.
Giuseppe De Giacomo, Riccardo Rosati · 1999
We present an autoepistemic approach for reasoning about actions in the presence of incomplete information and sensing. Specifically, we introduce a logical formalism that combines a very expressive logic of programs, the modal mu-calculus, with a minimal knowledge modality. We show that reasoning in such a formalism can be done by integrating model checking for modal mu-calculus and propositional inference. This allows for exploiting existing model checking techniques and systems for sophisticated forms of reasoning about actions, without renouncing to deal with incomplete information about the dynamic system. 1 Introduction Research in Cognitive Robotics [ 22; 23 ] is forcing the area of reasoning about actions to go through a "reality check". It has shown that, when one wants to equip an actual robot with the ability of reasoning about its actions, it is essential to take into account that the robot normally operates in an environment which it only partially knows, and that it must...