Linkping University Electronic Press

Title:	Minimal Knowledge Approach to Reasoning about Actions and Sensing
Authors:	Giuseppe De Giacomo and Riccardo Rosati
Series:	Linkping Electronic Articles in Computer and Information Science ISSN 1401-9841
Issue:	Vol. 4 (1999), No. 043
URL:	http://www.ep.liu.se/ea/cis/1999/043/

Abstract:	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.

Abstract:

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.

Original publication 1999-12-22	Postscript part I -- Checksum I Checksum (old) Information about recalculation of checksum Postscript part II -- Checksum II Checksum II (old) Information about recalculation of checksum