Chapter 13 Logic programming and reasoning about actions

Chitta Baral, Michael Gelfond

Research output: Contribution to journalArticle

4 Citations (Scopus)

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

Fingerprint

Reasoning about Actions
Logic programming
Intelligent agents
Logic Programming
Semantics
Stable Models
Intelligent Agents
Incomplete Information
Logic Programs
Update
Necessary

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Science Applications
  • Theoretical Computer Science

Cite this

Chapter 13 Logic programming and reasoning about actions. / Baral, Chitta; Gelfond, Michael.

In: Foundations of Artificial Intelligence, Vol. 1, No. C, 2005, p. 389-426.

Research output: Contribution to journalArticle

@article{36f0d1ba0b6f4a5ab86caadcf72059d6,
title = "Chapter 13 Logic programming and reasoning about actions",
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.",
author = "Chitta Baral and Michael Gelfond",
year = "2005",
doi = "10.1016/S1574-6526(05)80015-X",
language = "English (US)",
volume = "1",
pages = "389--426",
journal = "Foundations of Artificial Intelligence",
issn = "1574-6526",
publisher = "Elsevier",
number = "C",

}

TY - JOUR

T1 - Chapter 13 Logic programming and reasoning about actions

AU - Baral, Chitta

AU - Gelfond, Michael

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77956759827&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77956759827&partnerID=8YFLogxK

U2 - 10.1016/S1574-6526(05)80015-X

DO - 10.1016/S1574-6526(05)80015-X

M3 - Article

AN - SCOPUS:77956759827

VL - 1

SP - 389

EP - 426

JO - Foundations of Artificial Intelligence

JF - Foundations of Artificial Intelligence

SN - 1574-6526

IS - C

ER -