Dynamic logic for reasoning about actions and agents (Q2734941)

The paper discusses how dynamic logic (in terms of Pratt and Harel) can be used as a basis for logics for reasoning about actions and agents, for some of which the author provides an overview. After a brief introduction to PDL, the paper discusses Dynamic Update Logic [\textit{P. Spruit, R. Wieringa} and \textit{J.-J. Meyer}, J. Log. Comput. 5, 27-70 (1995; Zbl 0988.68551)], used for reasoning about database updates, Descriptive Dynamic Logic [\textit{C. Sierra} et al., Future Generations Computer Systems 12, 157-171 (1996)], Dynamic Deontic Logic [\textit{J.-J. Ch. Meyer}, Notre Dame J. Formal Logic 29, No. 1, 109-136 (1988; Zbl 0695.03009)], commonsense actions reasoning, with a discussion on the frame problem, logics for single intelligent agents and multi-agent systems [\textit{J.-J. Ch. Meyer} and \textit{W. van der Hoek}, Epistemic logic for AI and computer science. Cambridge: Cambridge Univ. Press (1995; Zbl 0868.03001)]. In a concluding discussion the author compares the dynamic logic and the temporal logic frameworks for reasoning about actions. The paper contains no formal results.NEWLINENEWLINEFor the entire collection see [Zbl 0960.00037].