Reasoning about actions is one of the most important research areas in artificial intelligence. It involves the reasoning tasks of prediction, postdiction, and planning.
While most of the solutions proposed in the literature use McCarthy's Situation Calculus, our approach is based on Dynamic Logic. Our solution to the Frame Problem is based on the use of a dependence relation between actions and formulas. We are particularly interested in linking this approach to our research in automated theorem proving.
Related research topics of ours are knowledge base updating and conditional logics. Another related topic (that we do not investigate) is planning and the implementation of plan generation algorithms.
WWW links
last update: june 1999
Andreas.Herzig@irit.fr / http://www.irit.fr/~Andreas.Herzig