A syntax-based approach to reasoning about action and belief update

Quoc Bao Vo; Abhaya Nayak; Norman Foo

doi:10.1093/logcom/exi081

A syntax-based approach to reasoning about action and belief update

Quoc Bao Vo^*, Abhaya Nayak, Norman Foo

^*Corresponding author for this work

School of Computing

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

Abstract

In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The approach involves keeping a (syntax-based) model of the world that is updated when actions are performed. Our approach is similar to the STRIPS system in which formulas are deleted and added as effects of an action. The presented framework however does not suffer from STRIPS' limitations in expressivity.

Original language	English
Pages (from-to)	315-338
Number of pages	24
Journal	Journal of Logic and Computation
Volume	16
Issue number	3
DOIs	https://doi.org/10.1093/logcom/exi081
Publication status	Published - Apr 2006

Access to Document

10.1093/logcom/exi081

Cite this

@article{c65a3c85798342ee80d19316b0898118,

title = "A syntax-based approach to reasoning about action and belief update",

abstract = "In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The approach involves keeping a (syntax-based) model of the world that is updated when actions are performed. Our approach is similar to the STRIPS system in which formulas are deleted and added as effects of an action. The presented framework however does not suffer from STRIPS' limitations in expressivity.",

author = "Vo, {Quoc Bao} and Abhaya Nayak and Norman Foo",

year = "2006",

month = apr,

doi = "10.1093/logcom/exi081",

language = "English",

volume = "16",

pages = "315--338",

journal = "Journal of Logic and Computation",

issn = "0955-792X",

publisher = "Oxford University Press",

number = "3",

}

TY - JOUR

T1 - A syntax-based approach to reasoning about action and belief update

AU - Vo, Quoc Bao

AU - Nayak, Abhaya

AU - Foo, Norman

PY - 2006/4

Y1 - 2006/4

N2 - In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The approach involves keeping a (syntax-based) model of the world that is updated when actions are performed. Our approach is similar to the STRIPS system in which formulas are deleted and added as effects of an action. The presented framework however does not suffer from STRIPS' limitations in expressivity.

AB - In this paper, we introduce an alternative approach to reasoning about action. The approach provides a solution to the frame and the ramification problem in a uniform manner. The approach involves keeping a (syntax-based) model of the world that is updated when actions are performed. Our approach is similar to the STRIPS system in which formulas are deleted and added as effects of an action. The presented framework however does not suffer from STRIPS' limitations in expressivity.

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

U2 - 10.1093/logcom/exi081

DO - 10.1093/logcom/exi081

M3 - Article

AN - SCOPUS:33744722153

SN - 0955-792X

VL - 16

SP - 315

EP - 338

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

IS - 3

ER -

A syntax-based approach to reasoning about action and belief update

Abstract

Access to Document

Other files and links

Fingerprint

Cite this