Interactions between knowledge, action and commitment within agent dynamic logic

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27)

Review text

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.

Recommendations

Cites work

Cited in

(18)

Describes a project that uses

Uses Software

KARO

This page was built for publication: Interactions between knowledge, action and commitment within agent dynamic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1770620)