A Modal Programming Language for Representing Complex Actions
Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti · 1998
In this paper we propose a modal approach for reasoning about dynamic domains in a logic programming setting. In particular we define a language, called DyLOG, in which actions are naturally represented by modal operators. DyLOG is a language for reasoning about actions which allows to deal with ramifications and to define procedures to build complex actions from elementary ones. Procedure definitions can be easily specified in the modal language by introducing suitable axioms. In the language the frame problem is given a non-monotonic solution by making use of persistency assumptions in the context of an abductive characterization. Moreover, a goal directed proof procedure is defined, which allows to compute a query from a given dynamic domain description. 1 Introduction Reasoning about the effects of actions in a dynamically changing world is one of the main problems which must be faced by intelligent agents. Most of the approaches which have been developed to model action...