Article thumbnail

PDL-based framework for reasoning about actions

By Giuseppe De Giacomo and Maurizio Lenzerini


. Propositional Dynamic Logics (PDL's) provide a suitable formal framework for modeling actions and reasoning about them. However, the basic language of PDL's lack several features that are important for a sophisticated treatment of actions. In this paper, we present a new logic that is obtained by enriching the basic PDL with powerful modeling constructs that allow us to represent determinism and nondeterminisms, concurrency, hierarchies, mutual exclusion, backward execution, and non-execution of actions. We demonstrate, by means of examples, the expressive power of the formalism. In particular, we show that although nonmonotonicity is not generally captured by PDL's, our logic is perfectly suited for exploiting monotonic solutions to the frame problem. Finally, we establish that the proposed formalism is decidable, and that the basic reasoning problems are EXPTIME-complete. 1 Introduction Propositional Dynamic Logics (PDL's) are modal logics for describing and reasoning about system..

Year: 1995
DOI identifier: 10.1007/3-540-60437-5_10
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.