Sciweavers

LOGCOM
2006

A Syntax-based Approach to Reasoning about Action and Belief Update

13 years 10 months ago
A Syntax-based Approach to Reasoning about Action and Belief Update
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.
Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2006
Where LOGCOM
Authors Quoc Bao Vo, Abhaya C. Nayak, Norman Y. Foo
Comments (0)