Representing actions

laws, observations and hypotheses

Chitta Baral, Michael Gelfond, Alessandro Provetti

Research output: Contribution to journalArticle

77 Citations (Scopus)

Abstract

We propose a modification L1 of the action description language A. The language L1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in A) as well as representation of actual occurrences of actions and observations of the truth values of fluents in actual situations. The corresponding entailment relation formalizes various types of common-sense reasoning about actions and their effects not modeled by previous approaches. As an application of L1 we also present an architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of L1 and use logic programming approximation of this entailment to implement a planning module for this architecture. We prove the soundness of our implementation and give a sufficient condition for its completeness.

Original languageEnglish (US)
Pages (from-to)201-243
Number of pages43
JournalJournal of Logic Programming
Volume31
Issue number1-3
DOIs
StatePublished - Apr 1997
Externally publishedYes

Fingerprint

Planning
Logic programming
Intelligent agents
Reasoning about Actions
Intelligent Agents
Soundness
Logic Programming
Completeness
Module
Sufficient Conditions
Approximation
Observation
Language
Architecture
Truth

ASJC Scopus subject areas

  • Logic

Cite this

Representing actions : laws, observations and hypotheses. / Baral, Chitta; Gelfond, Michael; Provetti, Alessandro.

In: Journal of Logic Programming, Vol. 31, No. 1-3, 04.1997, p. 201-243.

Research output: Contribution to journalArticle

Baral, Chitta ; Gelfond, Michael ; Provetti, Alessandro. / Representing actions : laws, observations and hypotheses. In: Journal of Logic Programming. 1997 ; Vol. 31, No. 1-3. pp. 201-243.
@article{e23f13f5215a4f3ea9642552f99fafad,
title = "Representing actions: laws, observations and hypotheses",
abstract = "We propose a modification L1 of the action description language A. The language L1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in A) as well as representation of actual occurrences of actions and observations of the truth values of fluents in actual situations. The corresponding entailment relation formalizes various types of common-sense reasoning about actions and their effects not modeled by previous approaches. As an application of L1 we also present an architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of L1 and use logic programming approximation of this entailment to implement a planning module for this architecture. We prove the soundness of our implementation and give a sufficient condition for its completeness.",
author = "Chitta Baral and Michael Gelfond and Alessandro Provetti",
year = "1997",
month = "4",
doi = "10.1016/S0743-1066(96)00141-0",
language = "English (US)",
volume = "31",
pages = "201--243",
journal = "Journal of Logic Programming",
issn = "1567-8326",
publisher = "Elsevier Inc.",
number = "1-3",

}

TY - JOUR

T1 - Representing actions

T2 - laws, observations and hypotheses

AU - Baral, Chitta

AU - Gelfond, Michael

AU - Provetti, Alessandro

PY - 1997/4

Y1 - 1997/4

N2 - We propose a modification L1 of the action description language A. The language L1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in A) as well as representation of actual occurrences of actions and observations of the truth values of fluents in actual situations. The corresponding entailment relation formalizes various types of common-sense reasoning about actions and their effects not modeled by previous approaches. As an application of L1 we also present an architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of L1 and use logic programming approximation of this entailment to implement a planning module for this architecture. We prove the soundness of our implementation and give a sufficient condition for its completeness.

AB - We propose a modification L1 of the action description language A. The language L1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in A) as well as representation of actual occurrences of actions and observations of the truth values of fluents in actual situations. The corresponding entailment relation formalizes various types of common-sense reasoning about actions and their effects not modeled by previous approaches. As an application of L1 we also present an architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of L1 and use logic programming approximation of this entailment to implement a planning module for this architecture. We prove the soundness of our implementation and give a sufficient condition for its completeness.

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

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

U2 - 10.1016/S0743-1066(96)00141-0

DO - 10.1016/S0743-1066(96)00141-0

M3 - Article

VL - 31

SP - 201

EP - 243

JO - Journal of Logic Programming

JF - Journal of Logic Programming

SN - 1567-8326

IS - 1-3

ER -