AAAI

Association for the Advancement of Artificial Intelligence

Home / Proceedings / Papers from the 1995 AAAI Spring Symposium / Extending Theories of Action: Formal Theory and Practical Applications

Enhanced Propositional Dynamic Logic for Reasoning about Concurrent Actions (Extended Abstract)

Download PDF

Authors

Giuseppe De Giacomo and Maurizio Lenzerini

DOI:


Abstract:

This paper presents a work in progress on enhanced Propositional Dynamic Logics for reasoning about actions. Propositional Dynamic Logics (PDL’s) are modal logics for describing and reasoning about system dynamics in terms of properties of states and actions modeled as relations between states.