In this chapter we discuss how recent advances in logic programming can be used to represent and reason about actions and its impact on a dynamic world, which are necessary components of intelligent agents. Some of the specific issues that we consider are: the representation be tolerant to future updates and not repeatative, there may be relationships between objects in the world, exogenous actions may occur, we may have incomplete information about the world, and we may need to construct a plan for a given goal. In the process we introduce several action theories based on logic programs under the stable model semantics and discuss their gradual (and correct) transformation into executable programs.
ASJC Scopus subject areas
- Artificial Intelligence
- Computer Science Applications
- Theoretical Computer Science