Representing actions: Laws, observations and hypotheses

Chitta Baral, Michael Gelfond, Alessandro Provetti

Research output: Contribution to journalArticle

Abstract

We propose a modification ℒ1 of the action description language script A sign. The language ℒ1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in script A sign) 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 ℒ1 we also present an architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of ℒ1 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)
JournalJournal of Logic Programming
Volume31
Issue number1-3
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.

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.
@article{9e383a57b61f4a5bacbbfaf5fb8029c0,
title = "Representing actions: Laws, observations and hypotheses",
abstract = "We propose a modification ℒ1 of the action description language script A sign. The language ℒ1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in script A sign) 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 ℒ1 we also present an architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of ℒ1 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",
language = "English (US)",
volume = "31",
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 ℒ1 of the action description language script A sign. The language ℒ1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in script A sign) 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 ℒ1 we also present an architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of ℒ1 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 ℒ1 of the action description language script A sign. The language ℒ1 allows representation of hypothetical situations and hypothetical occurrence of actions (as in script A sign) 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 ℒ1 we also present an architecture for intelligent agents capable of observing, planning and acting in a changing environment based on the entailment relation of ℒ1 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=30244477635&partnerID=8YFLogxK

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

M3 - Article

VL - 31

JO - Journal of Logic Programming

JF - Journal of Logic Programming

SN - 1567-8326

IS - 1-3

ER -