Minimal knowledge approach to reasoning about actions and sensing

Giuseppe De Giacomo, Riccardo Rosati.
Electronic Transactions on Artificial Intelligence, volume Vol. 3, Section C, pages 1-18, 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.

Bibtex entry:

@String{ETAI = "Electronic Transactions on Artificial Intelligence"}

author = "De Giacomo, Giuseppe and Rosati, Riccardo",
title = "Minimal knowledge approach to reasoning about actions and sensing",
journal = ETAI,
volume = "Vol.\ 3, Section~C",
pages = "1--18",
year = 1999,