Download:
|
by Dongmo Zhang, Norman Foo
http://www.cse.unsw.edu.au/~dongmo/Rev_Kr1.ps
Add To MetaCart
Abstract:
The aim of this paper is three fold. First, we extend classical propositional dynamic logic as little as possible so that the resultant system can express indirect eects of actions while preserving almost all the desirable attributes such as soundness and completeness, decidability and the nite model property. Second, we introduce a mechanism of inference for reasoning on action descriptions. This makes it possible to hierarchize the consistency of action description. Finally, we show how to deal with the problems of ramication, explanation con
iction and dependency of
uents by the technique of consistency analysis.
Citations
|
523
|
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
– Reiter
- 1991
|
|
230
|
Nonmonotonic logic and temporal projection
– Hanks, McDermott
- 1987
|
|
194
|
Logics of Time and Computation
– Goldblatt
- 1987
|
|
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
|
|
67
|
Some contributions to the metatheory of the situation calculus
– Pirri, Reiter
- 1999
|
|
50
|
PDL-based framework for reasoning about actions
– Giacomo, Lenzerini
- 1995
|
|
43
|
Embracing causality in specifying the indeterminate effects of actions
– Lin
- 1996
|
|
37
|
Concurrent Dynamic Logic
– Peleg
- 1987
|
|
28
|
Embracing Causality in Specifying the Indirect Eects of Actions
– Lin
- 1995
|
|
20
|
Reasoning about nondeterministic and concurrent actions: a process algebra approach
– Chen, Giacomo
- 1996
|
|
14
|
Plan synthesis: a logical approach
– Rosenschein
- 1981
|
|
14
|
The ramification problem in the event calculus
– Shanahan
- 1999
|
|
11
|
Situation calculus and causal logic
– Lifschitz
- 1998
|
|
7
|
A first order dynamic logic for planning
– Kautz
- 1982
|
|
3
|
Reasoning with extra frame axioms and quali axioms, manuscript, available at ftp://ftp.cse.unsw.edu.au/pub/users/ksg/Working/action3.zip
– Foo, Zhang
|
|
3
|
A causal theory of rami and quali cations
– McCain, Turner
- 1995
|
|
1
|
Castilho et al., Formalizing action and change in modal logic I: the frame problem
– A
|
