Download:
by Dongmo Zhang, Samir Chopra, Norman Foo
In PRICAI’02, Topics in Artificial Intelligence
http://www.cit.uws.edu.au/~dongmo/PRICAI02_full.pdf
Add To MetaCart
Abstract:
Abstract. As a contribution to the metatheory of reasoning about actions, we present some characteristics of the consistency of action theories. Three levels of consistency are investigated for the evaluation of action descriptions: uniform consistency, consistency of formulas and regional consistency. The first two provide an intuitive resolution of problems of explanation conflicts and fluent dependency. The concept of regional consistency provides for a measure of ramification. A highly expressive form of action descriptions, the normal form, is introduced to facilitate this analysis. The relative satisfiability of the situation calculus is generalized to accommodate non-deterministic effects and ramifications. 1
Citations
|
1397
|
STRIPS: A new approach in the application of theorem proving to problem solving
– Fikes, Nilsson
- 1971
|
|
1224
|
Some philosophical problems from the standpoint of arti cial intelligence
– McCarthy, Hayes
- 1969
|
|
523
|
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
– Reiter
- 1991
|
|
460
|
A logic-based calculus of events
– Kowalski, Sergot
- 1986
|
|
230
|
Nonmonotonic logic and temporal projection
– Hanks, McDermott
- 1987
|
|
219
|
State constraints revisited
– Lin, Reiter
- 1994
|
|
194
|
Logics of Time and Computation
– Goldblatt
- 1987
|
|
154
|
Embracing causality in specifying the indirect effects of actions
– Lin
- 1995
|
|
145
|
Features and Fluents
– Sandewall
- 1994
|
|
133
|
Solving the Frame Problem, a mathematical investigation of the common sense law of inertia
– Shanahan
- 1997
|
|
133
|
Ramification and causality
– Thielscher
- 1997
|
|
122
|
Reasoning about action I: A possible worlds approach
– Ginsberg, Smith
- 1988
|
|
112
|
Action languages
– Gelfond, Lifschitz
- 1998
|
|
90
|
Frames in the space of situations
– Lifschitz
- 1990
|
|
67
|
Some contributions to the metatheory of the situation calculus
– Pirri, Reiter
- 1999
|
|
50
|
PDL-based framework for reasoning about actions
– Giacomo, Lenzerini
- 1995
|
|
46
|
Formalizing action and change in modal logic I: the frame problem', Journal of Logic and Computation
– Castilho, Gasquet, et al.
- 1999
|
|
42
|
Provably correct theories of action
– Lin, Shoham
- 1991
|
|
36
|
Towards a metatheory of action
– Lifschitz
- 1991
|
|
28
|
Reasoning about action and change. a dynamic logic approach
– Prendinger, Schurz
- 1996
|
|
23
|
EPDL: a logic for causal reasoning
– Zhang, Foo
- 2001
|
|
11
|
An inductive definition approach to ramifications
– Denecker, Dupré, et al.
- 1998
|
|
11
|
Situation calculus and causal logic
– Lifschitz
- 1998
|
|
9
|
Dealing with the ramification problem in the extended propositional dynamic logic
– Foo, Zhang
- 2000
|
|
6
|
First-order dynamic logic, LNCS 68
– Harel
- 1979
|
|
2
|
Lazy-formalization to the frame problem, manuscript
– Foo, Zhang
|
|
1
|
Soundness and completeness theories for three formalizations of action
– Kartha
- 1993
|
