PDL-based framework for reasoning aboutactionsGiuseppe

  • De Giacomo, Maurizio LenzeriniDipartimento di Informatica e SistemisticaUniversit, a di Roma La Sapienza Via Salaria
  • Published 1995
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… CONTINUE READING