A syntax-based approach to reasoning about actions and events

Quoc Bao Vo; Abhaya Nayak; Norman Foo

doi:10.1007/978-3-540-39813-4_19

A syntax-based approach to reasoning about actions and events

Quoc Bao Vo, Abhaya Nayak, Norman Foo

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

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 language	English
Title of host publication	Logic for Programming, Artificial Intelligence, and Reasoning
Editors	J. G. Carbonell, J. Siekmann
Place of Publication	Berlin; Heidelberg
Publisher	Springer, Springer Nature
Pages	274-288
Number of pages	15
Volume	2850
ISBN (Electronic)	9783540398134
ISBN (Print)	9783540201014
DOIs	https://doi.org/10.1007/978-3-540-39813-4_19
Publication status	Published - 2003
Event	10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR - 2003 - Almaty, Kazakhstan Duration: 22 Sept 2003 → 26 Sept 2003

Publication series

Name	Lecture Notes in Computer Science
Volume	2850

Other

Other	10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR - 2003
Country/Territory	Kazakhstan
City	Almaty
Period	22/09/03 → 26/09/03

Access to Document

10.1007/978-3-540-39813-4_19

Cite this

@inproceedings{0b64e2feb4e6435aaa8b00d474da064c,

title = "A syntax-based approach to reasoning about actions and events",

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.",

author = "Vo, {Quoc Bao} and Abhaya Nayak and Norman Foo",

year = "2003",

doi = "10.1007/978-3-540-39813-4_19",

language = "English",

isbn = "9783540201014",

volume = "2850",

series = "Lecture Notes in Computer Science",

publisher = "Springer, Springer Nature",

pages = "274--288",

editor = "Carbonell, {J. G.} and J. Siekmann",

booktitle = "Logic for Programming, Artificial Intelligence, and Reasoning",

address = "United States",

note = "10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR - 2003 ; Conference date: 22-09-2003 Through 26-09-2003",

}

Vo, QB, Nayak, A & Foo, N 2003, A syntax-based approach to reasoning about actions and events. in JG Carbonell & J Siekmann (eds), Logic for Programming, Artificial Intelligence, and Reasoning. vol. 2850, Lecture Notes in Computer Science, vol. 2850, Springer, Springer Nature, Berlin; Heidelberg, pp. 274-288, 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR - 2003, Almaty, Kazakhstan, 22/09/03. https://doi.org/10.1007/978-3-540-39813-4_19

A syntax-based approach to reasoning about actions and events. / Vo, Quoc Bao; Nayak, Abhaya; Foo, Norman.
Logic for Programming, Artificial Intelligence, and Reasoning. ed. / J. G. Carbonell; J. Siekmann. Vol. 2850 Berlin; Heidelberg: Springer, Springer Nature, 2003. p. 274-288 (Lecture Notes in Computer Science; Vol. 2850).

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

TY - GEN

T1 - A syntax-based approach to reasoning about actions and events

AU - Vo, Quoc Bao

AU - Nayak, Abhaya

AU - Foo, Norman

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=9444295416&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-39813-4_19

DO - 10.1007/978-3-540-39813-4_19

M3 - Conference proceeding contribution

AN - SCOPUS:9444295416

SN - 9783540201014

VL - 2850

T3 - Lecture Notes in Computer Science

SP - 274

EP - 288

BT - Logic for Programming, Artificial Intelligence, and Reasoning

A2 - Carbonell, J. G.

A2 - Siekmann, J.

PB - Springer, Springer Nature

CY - Berlin; Heidelberg

T2 - 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR - 2003

Y2 - 22 September 2003 through 26 September 2003

ER -

A syntax-based approach to reasoning about actions and events

Abstract

Publication series

Other

Access to Document

Other files and links

Fingerprint

Cite this