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

Quoc Bao Vo*, Abhaya Nayak, Norman Foo

*Corresponding author for this work

Research output: Contribution to journalArticle

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 languageEnglish
Pages (from-to)315-338
Number of pages24
JournalJournal of Logic and Computation
Volume16
Issue number3
DOIs
Publication statusPublished - Apr 2006

Fingerprint Dive into the research topics of 'A syntax-based approach to reasoning about action and belief update'. Together they form a unique fingerprint.

  • Cite this