The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneity, indeterminism etc.) involved in planning (or in reasoning about action and causality for that matter) can be modelled in TL in a rather natural way. (The deductive formalism for) TL extends the linear connection method proposed earlier by the author by embedding the latter into classical logic, so that classical and resource-sensitive reasoning coexist within TL. The attraction of a logical and deductive approach to planning is emphasized and the state of automated deduction briefly described.
|
1875
|
Artificial Intelligence: A Modern Approach
– Russell, Norvig
- 1995
|
|
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
|
|
740
|
Fast Planning Through Planning Graph Analysis
– Blum, Furst
- 1997
|
|
540
|
Soar: An architecture for general intelligence
– Laird, Newell, et al.
- 1987
|
|
523
|
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
– Reiter
- 1991
|
|
441
|
Principles of Artificial Intelligence
– NILSSON
- 1980
|
|
432
|
Pushing the envelope: Planning propositional logic, and stochastic search
– Kautz, Selman
- 1996
|
|
389
|
UCPOP: A sound, complete, partial order planner for ADL
– Penberthy, Weld
- 1992
|
|
376
|
The Mathematics of Sentence Structure
– Lambek
- 1958
|
|
332
|
Logic for problem solving
– Kowalski
- 1974
|
|
205
|
Probabilistic horn abduction and bayesian networks
– Poole
- 1993
|
|
194
|
Experimental results on the crossover point in satisfiability problems
– Crawford, Auton
- 1996
|
|
142
|
Automated Theorem Proving
– Bibel
- 1987
|
|
135
|
SETHEO: A High-Performance Theorem Prover
– Letz, Schumann, et al.
- 1992
|
|
133
|
Ramification and causality
– Thielscher
- 1997
|
|
127
|
Encoding plans in propositional logic
– Kautz, McAllester, et al.
- 1996
|
|
122
|
Reasoning about action I: A possible worlds approach
– Ginsberg, Smith
- 1988
|
|
121
|
Epistemological problems of artificial intelligence
– McCarthy
- 1977
|
|
95
|
Planning and reacting in uncertain and dynamic environments
– Wilkins, Myers, et al.
- 1995
|
|
91
|
A new deductive approach to planning
– Holldobler, Schneeberger
- 1990
|
|
90
|
A deductive solution for plan generation
– Bibel
- 1986
|
|
90
|
Frames in the space of situations
– Lifschitz
- 1990
|
|
67
|
Theorem proving by resolution as a basis for question-answering systems
– Green
- 1969
|
|
57
|
Computational Intelligence: A Logical Approach
– Poole, Mackworth, et al.
- 1998
|
|
53
|
Generating plans in linear logic
– Masseron, Tollu, et al.
- 1990
|
|
50
|
Combining logic and differential equations for describing real-world systems
– Sandewall
- 1989
|
|
38
|
Entailment-- the Logic of Relevance and Necessity, volume 1
– Anderson, Jr
- 1975
|
|
37
|
Computing change and specificity with equational logic programs
– Holldobler, Thielscher
- 1995
|
|
35
|
Computational research on interaction and agency
– Agre
- 1995
|
|
29
|
Probabilistic partial evaluation: exploiting rule structure in probabilistic inference
– Poole
- 1997
|
|
26
|
Linear deductive planning
– Groe, Holldobler, et al.
- 1996
|
|
26
|
A New Logical Framework for Deductive Planning
– Stephan, Biundo
- 1993
|
|
23
|
Deduction: Automated logic
– BIBEL
- 1993
|
|
22
|
Explicit and implicit indeterminism: Reasoning about uncertain and contradictory specifications of dynamic systems
– Bornscheuer, Thielscher
- 1997
|
|
21
|
How to (plan to) meet a deadline between now and then
– Nirkhe, Kraus, et al.
- 1997
|
|
19
|
Plan generation by linear proofs: on semantics
– Bibel, Cerro, et al.
- 1989
|
|
17
|
Causality and the qualification problem
– Thielscher
- 1996
|
|
15
|
Actions and Specificity
– Holldobler, Thielscher
- 1993
|
|
13
|
The action-as-implication paradigm
– Fronhofer
- 1996
|
|
13
|
Constructive logics. Part II: Linear logic and proof nets
– Gallier
- 1991
|
|
11
|
Reasoning about continuous processes
– Herrmann, Thielscher
- 1996
|
|
9
|
Automated deduction techniques for classification in description logic systems
– Paramasivam, Plaisted
- 1998
|
|
8
|
Rules as actions: A situation calculus semantics for logic programs
– Lin, Reiter
- 1997
|
|
7
|
Cognitivism and situated action: two views on intelligent agency
– Kushmerick
- 1996
|
|
6
|
Linearity and plan generation
– Fronhofer
- 1987
|
|
5
|
An abstract machine for reasoning about situations, actions, and causality
– Eder, Holldobler, et al.
- 1996
|
|
4
|
A logical framework for practical planning
– Cranefield
- 1992
|
|
4
|
Propositional State Event Logic
– Groe
- 1994
|
|
4
|
Challenges for Action Theories: Solving the Ramification and Qualification
– Thielscher
- 1997
|
|
