Dynamic logic for reasoning about actions and agents. (English) Zbl 0988.03054
Minker, Jack (ed.), Logic-based artificial intelligence. Proceedings of a workshop, Washington, DC, USA, June 1999. Dordrecht: Kluwer Academic Publishers. Kluwer Int. Ser. Eng. Comput. Sci. 597, 281-311 (2000).
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 [P. Spruit, R. Wieringa and J.-J. Meyer, J. Log. Comput. 5, 27-70 (1995; Zbl 0988.68551)], used for reasoning about database updates, Descriptive Dynamic Logic [C. Sierra et al., Future Generations Computer Systems 12, 157-171 (1996)], Dynamic Deontic Logic [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 [J.-J. Ch. Meyer and 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.
For the entire collection see [Zbl 0960.00037].
For the entire collection see [Zbl 0960.00037].
Reviewer: Valentin F.Goranko (Johannesburg)
MSC:
03B70 | Logic in computer science |
68T27 | Logic in artificial intelligence |
03B42 | Logics of knowledge and belief (including belief change) |
03B45 | Modal logic (including the logic of norms) |
03B65 | Logic of natural languages |