Göm menyn
Files: Description Format
Fulltext PDF (requires Acrobat Reader)
Fulltext revised PDF (requires Acrobat Reader)
Fulltext part 1 PostScript (requires a PostScript Reader)
  Fulltext part 2 PostScript (requires a PostScript Reader)
  Fulltext revised PostScript (requires a PostScript Reader)
   
Authors: Giuseppe De Giacomo and Riccardo Rosati
Article title: Minimal Knowledge Approach to Reasoning about Actions and Sensing
Publ. type: Article
Volume: 4
Article No: 42
Language: English
Abstract [en]: 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.
Publisher: Linköping University Electronic Press
Year: 1999
Available: 1999-12-22, revised 2001-03-20
No. of pages: 21, revised 16
Series: Linköping Electronic Articles in Computer and Information Science
ISSN: 1401-9841


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21