A syntax-based approach to reasoning about actions and events

Quoc Bao Vo, Abhaya Nayak, Norman Foo

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

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. The approach is similar to the STRIPS system in which formulas are deleted and added as effects of an action. The approach however does not suffer from STRIPS' limitations in expressivity.

Original languageEnglish
Title of host publicationLogic for Programming, Artificial Intelligence, and Reasoning
EditorsJ. G. Carbonell, J. Siekmann
Place of PublicationBerlin; Heidelberg
PublisherSpringer, Springer Nature
Pages274-288
Number of pages15
Volume2850
ISBN (Electronic)9783540398134
ISBN (Print)9783540201014
DOIs
Publication statusPublished - 2003
Event10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR - 2003 - Almaty, Kazakhstan
Duration: 22 Sep 200326 Sep 2003

Publication series

NameLecture Notes in Computer Science
Volume 2850

Other

Other10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR - 2003
CountryKazakhstan
CityAlmaty
Period22/09/0326/09/03

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

Cite this