Temporary registration page before publication by Linköping University Electronic Press, series Computer and Information Science
The following article is intended to be published shortly by Linköping University Electronic Press. The present page gives access to the article, but does not provide the guarantees of persistence.

Minimal Knowledge Approach to Reasoning about Actions and Sensing.

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

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

(Publication date not yet set) Postscript
Info from authors  
Third-party information  

[About LiEP] [About Checksum validation] [About compression formats]

Editor-in-chief: editor@ep.liu.se
Webmaster: webmaster@ep.liu.se
29-Jun-98 16:48