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

  • Authors:

  • Quoc Bao Vo;Abhaya Nayak;Norman Foo

  • Affiliations:

  • School of Computer Science and Information Technology, RMIT University, GPO Box 2476V, Melbourne, VIC 3001, Australia. Email: vqbao@cs.rmit.edu.au,;Department of Computing, Division of Information and Communication Sciences, Macquarie University, Sydney, NSW 2109, Australia. Email: abhaya@ics.mq.edu.au,;School of Computer Science and Engineering, University of New South Wales, Sydney, NSW 2052, Australia. Email: norman@cse.unsw.edu.au

  • Venue:
  • Journal of Logic and Computation
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

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.