A general approach to the implementation of action theories

Abstract

Much effort has been dedicated to provide a general model of agents working in complex environments. This research focuses on the high level cognition used in determining the behavior of the agent. The language of the Situation Calculus represents a very useful way of modeling an agent’s knowledge of its environment. One of its advantages is that there exist methods to derive an executable program from a basic set of axioms. This program can then be used to determine the actions that are necessary in order to accomplish certain goal states. The main objective of this line of work is to obtain an automatic way of deriving such an executable program.