Interactions between knowledge, action and commitment within agent dynamic logic (Q1770620)

The paper introduces a class of so-called {agent dynamic logics} (ADL), intended to provide a framework for for reasoning about agents' actions, knowledge, commitments, and wishes by extending propositional dynamic logic PDL with these epistemic and intentional operators. ADL are thus closely related to the KARO framework proposed by \textit{J.-J. C. Meyer, W. van der Hoek} and \textit{B. van Linder} [``A logical approach to the dynamics of commitments'', Artif. Intell. 113, 1--40 (1999; Zbl 0939.68831)]. The authors provide a complete Hilbert-style axiomatization of the basic ADL and obtain the small model property by means of a specially modified filtration technique, decidability, and complexity of satisfiability (EXPTIME-complete). The paper ends with a brief discussion of some extensions and comparison with the KARO framework.