Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

LOGCOM
2006

favoriteEmaildiscussreport

116views more LOGCOM 2006»

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

13 years 4 months ago

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

Download www.ict.swin.edu.au

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

Real-time Traffic

Alternative Approach | LOGCOM 2006 | Ramification Problem | Uniform Manner |

claim paper

Related Content

» Iterated Belief Change Due to Actions and Observations

» Iterated Belief Change in the Situation Calculus

» Reasoning about Partially Observed Actions

» Forming Beliefs about a Changing World

» Reasoning about Imperfect Information Games in the Epistemic Situation Calculus

» Belief Change in the Context of Fallible Actions and Observations

» Reasoning about Beliefs Observability and Information Exchange in Teamwork

» Reasoning about joint beliefs for executiontime communication decisions

» Generalizing the AGM postulates preliminary results and applications

Post Info
More Details (n/a)

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)