Formalizing sensing actions - a transition function based approach

Tran Cao Son, Chitta Baral

Research output: Contribution to journalArticle

90 Citations (Scopus)

Abstract

In presence of incomplete information about the world we need to distinguish between the state of the world and the state of the agent's knowledge about the world. In such a case the agent may need to have at its disposal sensing actions that change its state of knowledge about the world and may need to construct more general plans consisting of sensing actions and conditional statements to achieve its goal. In this paper we first develop a high-level action description language that allows specification of sensing actions and their effects in its domain description and allows queries with conditional plans. We give provably correct translations of domain description in our language to axioms in first-order logic, and relate our formulation to several earlier formulations in the literature. We then analyze the state space of our formulation and develop several sound approximations that have much smaller state spaces. Finally we define regression of knowledge formulas over conditional plans.

Original languageEnglish (US)
Pages (from-to)19-91
Number of pages73
JournalArtificial Intelligence
Volume125
Issue number1-2
DOIs
StatePublished - Jan 2001

Fingerprint

Acoustic waves
Specifications
small state
logic
language
regression
Language
literature
Change of State
First-order Logic
Incomplete
Approximation
Sound

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computational Theory and Mathematics

Cite this

Formalizing sensing actions - a transition function based approach. / Son, Tran Cao; Baral, Chitta.

In: Artificial Intelligence, Vol. 125, No. 1-2, 01.2001, p. 19-91.

Research output: Contribution to journalArticle

@article{87df4361918f4dff931ecf6c94b24a3e,
title = "Formalizing sensing actions - a transition function based approach",
abstract = "In presence of incomplete information about the world we need to distinguish between the state of the world and the state of the agent's knowledge about the world. In such a case the agent may need to have at its disposal sensing actions that change its state of knowledge about the world and may need to construct more general plans consisting of sensing actions and conditional statements to achieve its goal. In this paper we first develop a high-level action description language that allows specification of sensing actions and their effects in its domain description and allows queries with conditional plans. We give provably correct translations of domain description in our language to axioms in first-order logic, and relate our formulation to several earlier formulations in the literature. We then analyze the state space of our formulation and develop several sound approximations that have much smaller state spaces. Finally we define regression of knowledge formulas over conditional plans.",
author = "Son, {Tran Cao} and Chitta Baral",
year = "2001",
month = "1",
doi = "10.1016/S0004-3702(00)00080-1",
language = "English (US)",
volume = "125",
pages = "19--91",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier",
number = "1-2",

}

TY - JOUR

T1 - Formalizing sensing actions - a transition function based approach

AU - Son, Tran Cao

AU - Baral, Chitta

PY - 2001/1

Y1 - 2001/1

N2 - In presence of incomplete information about the world we need to distinguish between the state of the world and the state of the agent's knowledge about the world. In such a case the agent may need to have at its disposal sensing actions that change its state of knowledge about the world and may need to construct more general plans consisting of sensing actions and conditional statements to achieve its goal. In this paper we first develop a high-level action description language that allows specification of sensing actions and their effects in its domain description and allows queries with conditional plans. We give provably correct translations of domain description in our language to axioms in first-order logic, and relate our formulation to several earlier formulations in the literature. We then analyze the state space of our formulation and develop several sound approximations that have much smaller state spaces. Finally we define regression of knowledge formulas over conditional plans.

AB - In presence of incomplete information about the world we need to distinguish between the state of the world and the state of the agent's knowledge about the world. In such a case the agent may need to have at its disposal sensing actions that change its state of knowledge about the world and may need to construct more general plans consisting of sensing actions and conditional statements to achieve its goal. In this paper we first develop a high-level action description language that allows specification of sensing actions and their effects in its domain description and allows queries with conditional plans. We give provably correct translations of domain description in our language to axioms in first-order logic, and relate our formulation to several earlier formulations in the literature. We then analyze the state space of our formulation and develop several sound approximations that have much smaller state spaces. Finally we define regression of knowledge formulas over conditional plans.

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

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

U2 - 10.1016/S0004-3702(00)00080-1

DO - 10.1016/S0004-3702(00)00080-1

M3 - Article

VL - 125

SP - 19

EP - 91

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

IS - 1-2

ER -