Representing Actions in Equational Logic Programming
Michael Thielscher, TH Darmstadt · The MIT Press eBooks · 1994
A sound and complete approach for encoding the action description language A developed by M. Gelfond and V. Lifschitz in an equational logic program is given. Our results allow the comparison of the resource-oriented equational logic based approach and various other methods designed for reasoning about actions, most of them based on variants of the situation calculus, which were also related to the action description language recently. A non-trivial extension of A is proposed which allows to handle uncertainty in form of non-deterministic action descriptions, i.e. where actions may have alternative randomized effects. It is described how the equational logic programming approach forms a sound and complete encoding of this extended action description language AND as well. 1 Introduction Understanding and modelling the ability of humans to reason about actions, change, and causality is one of the key issues in Artificial Intelligence and Cognitive Science. Since logic appears to play ...