Download:
|
by Christoph S. Herrmann, D- Darmstadt, Michael Thielscher
Proceedings of the AAAI National Conference on Artificial Intelligence
http://pikas.inf.tu-dresden.de/~mit/publications/conferences/AAAI96.ps
Add To MetaCart
Abstract:
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain events. Such events are points in time at which the equations describing the system 's behavior---that is, the equations which specify the ongoing processes---change. Between two events the system's parameters stay continuous. A high-level semantics for drawing logical conclusions about dynamic systems with continuous processes is presented, and we have developed an adequate calculus to automate this reasoning process. In doing this, we have combined deduction and numerical calculus, offering logical reasoning about precise, quantitative system information. The scenario of multiple balls moving in 1-dimensional space interacting with a pendulum serves as demonstration example of our method.
Citations
|
1280
|
Some Philosophical Problems from the Standpoint of Artificial Intelligence
– McCarthy, Hayes
- 1969
|
|
817
|
Negation as failure
– Clark
- 1978
|
|
707
|
Towards a General Theory of Action and Time
– Allen
- 1984
|
|
677
|
Constraint logic programming: A survey
– Jaffar, Maher
- 1994
|
|
362
|
Representing action and change by logic programs
– Gelfond, Lifschitz
- 1993
|
|
297
|
The CLP(R) language and system
– Jaffar, Michaylov, et al.
- 1992
|
|
255
|
A temporal logic for reasoning about processes and plans
– McDermott
- 1982
|
|
231
|
Qualitative Reasoning: Modeling and Simulation with incomplete knowledge
– Kuipers
- 1994
|
|
145
|
Features and Fluents
– Sandewall
- 1994
|
|
105
|
Features and Fluents: The Representation of Knowledge About Dynamical Systems
– Sandewall
- 1994
|
|
92
|
A new deductive approach to planning
– Holldobler, Schneeberger
- 1990
|
|
76
|
Representing concurrent actions in extended logic programming
– Baral, Gelfond
- 1993
|
|
64
|
Soundness and completeness theorems for three formalizations of action
– Kartha
- 1993
|
|
63
|
Representing continuous change in the event calculus
– Shanahan
- 1990
|
|
60
|
Concurrent actions in the situation calculus
– Lin, Shoham
- 1992
|
|
54
|
Chronological ignorance: Experiments in nonmonotonic temporal reasoning
– Shoham
- 1988
|
|
53
|
Combining logic and differential equations for describing real-world systems
– Sandewall
- 1989
|
|
27
|
Problems in formal temporal reasoning
– Shoham, McDermott
- 1988
|
|
26
|
Circumscribing Features and Fluents
– Doherty, Lukaszewicz
- 1994
|
|
24
|
Representing Actions in Equational Logic Programming
– Thielscher
- 1994
|
|
21
|
A new deductive approach to planning. New Generation Computing
– Holldobler, Schneeberger
- 1990
|
|
21
|
The logic of dynamic systems
– Thielscher
- 1995
|
|
4
|
A new deductive approach to planning. New Generation Computing 8:225–244
– Hölldobler, Schneeberger
- 1990
|
