Chapter 13 Logic programming and reasoning about actions

Chitta Baral, Michael Gelfond

Research output: Contribution to journalArticle

4 Scopus citations

Abstract

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.

Original languageEnglish (US)
Pages (from-to)389-426
Number of pages38
JournalFoundations of Artificial Intelligence
Volume1
Issue numberC
DOIs
StatePublished - 2005

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'Chapter 13 Logic programming and reasoning about actions'. Together they form a unique fingerprint.

  • Cite this