An analysis of systematic approaches to reasoning about actions and change
Michael Thielscher · 1995
Systematic approaches to reasoning about dynamical systems and causality provide a new view on how to proceed toward a general and uniform semantical framework which is independent from specific solutions to the frame problem, say. This direction of research enables to rigorously comparing known methodologies designed for reasoning about actions and change with respect to such a semantics. Two actual systematic approaches, namely the Ego-World-Semantics 11;12 and the Action Description Language 5 , are analyzed and compared in this paper. We present two equivalence results for ontological subclasses and elaborate the major differences. The ultimate aim of this analysis shall be a proposal about a combination of the two frameworks to obtain a powerful semantics which profits from the merits of both the Ego-World-Semantics as well as the Action Description Language. 1. Introduction A key issue in Cognitive Science and Artificial Intelligence is to understand and model the ability o...