Swinburne
Browse

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

Download (232.07 kB)
journal contribution
posted on 2024-07-11, 13:36 authored by Bao Quoc VoBao Quoc Vo, Abhaya Nayak, Norman Foo
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.

History

Available versions

PDF (Accepted manuscript)

ISSN

0955-792X

Journal title

Journal of Logic and Computation

Volume

16

Issue

3

Pagination

23 pp

Publisher

Oxford University Press

Copyright statement

Copyright © 2006 Quoc Bao Vo, Abhaya Nayak and Norman Foo. This a pre-copy-editing, author-produced PDF of an article accepted for publication in Journal of Logic and Computation following peer review. The definitive publisher-auThenticated version 16(3)(2006) 315-338 is available online at: http://dx.doi.org/10.1093/logcom/exi081.

Language

eng

Usage metrics

    Publications

    Categories

    No categories selected

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC