Dynamic logic for reasoning about actions and agents
John-Jules Meyer · Utrecht University Repository (Utrecht University) · 1999
Dynamic logic is a logic to reason about the dynamics of (natural or artificial) systems in general, ranging from the effects of actions of human agents to the behaviour of artificial agents and software systems. Therefore it is to be expected that in AI it can be fruitfully employed both to represent knowledge about the dynamics of the domain at hand as well as to describe / specify (the dynamic behaviour of) AI systems themselves. A typical example of the former is the description of the effects of actions (of humans, for example) in the commonsense world, while the specification of a particular reasoning system would be of the latter type. In this paper a number of examples are given to illustrate the usefulness (and wide scope!) of dynamic logic for AI. 1 Introduction Originally, dynamic logic has been proposed in computer science as a logic for reasoning about programs in order to verify their correctness. Later it was realised that dynamic logic could also be fruitful...