Sound and complete qualitative simulation is impossible

Artificial Intelligence

Volumn 149, Issue 2, 2003, Pages 251-266

  Say, A C Cem ^a   Akin, H Levent ^a  

^a BOGAZICI UNIVERSITY   (Turkey)

Author keywords

Hilbert's tenth problem; Qualitative reasoning; Qualitative simulation; Spurious behaviors

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; ORDINARY DIFFERENTIAL EQUATIONS; SIMULATORS;

QUALITATIVE SIMULATION;

ARTIFICIAL INTELLIGENCE;

EID: 0141749121     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(03)00077-8     Document Type: Article

References (20)

1. Berleant D., Kuipers B. Qualitative and quantitative simulation: Bridging the gap. Artificial Intelligence. 95:1997;215-255.
2. Forbus K.D. The qualitative process engine. Weld D.S., de Kleer J. Readings in Qualitative Reasoning about Physical Systems. 1990;220-235 Morgan Kaufmann, San Mateo, CA.
3. Fouché P., Kuipers B.J. Reasoning about energy in qualitative simulation. IEEE Trans. Systems Man Cybernet. 22:(1):1992;47-63.
4. Könik T., Say A.C.C. Extracting and using relative duration information in pure qualitative simulation. Qualitative Reasoning: The Twelfth International Workshop, AAAI Technical Report WS-98-01. 1998;155-160 AAAI Press, Menlo Park, CA.
5. Kuipers B.J. Qualitative simulation. Artificial Intelligence. 29:1986;289-338.
6. Kuipers B.J. Qualitative simulation: Then and now. Artificial Intelligence. 59:1993;133-140.
7. Kuipers B.J. Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. 1994;MIT Press, Cambridge, MA.
8. Kuipers B. Qualitative simulation. Meyers R.E. Encyclopedia of Physical Science and Technology. 3rd Edition:2001;287-300 Academic Press, New York.
9. Matiyasevich Y. Hilbert's Tenth Problem. 1993;MIT Press, Cambridge, MA.
10. Moses J. Algebraic simplification: A guide for the perplexed. Comm. ACM. 14:1971;527-537.
11. Say A.C.C. Functions representable in pure QSIM. Proc. Fifth Turkish Symposium on Artificial Intelligence and Neural Networks, Istanbul, Turkey. 1996;251-255.
12. Say A.C.C. Numbers representable in pure QSIM. Proc. Eleventh Internat. Workshop on Qualitative Reasoning, Cortona, Italy. 1997;337-344.
13. Say A.C.C. L'Hôpital's filter for QSIM. IEEE Trans. Pattern Anal. Machine Intell. 20:(1):1998;1-8.
14. Say A.C.C. Improved reasoning about infinity using qualitative simulation. Comput. and Inform. 20:(5):2001;487-507.
15. Say A.C.C., Akin H.L. Sound and complete qualitative simulation is impossible. Proc. Sixteenth Internat. Workshop on Qualitative Reasoning, Sitges, Spain. 2002;19-26.
16. Say A.C.C., Kuru S. Improved filtering for the QSIM algorithm. IEEE Trans. Pattern Anal. Machine Intell. 15:(9):1993;967-971.
17. Struss P. Global filters for qualitative behaviors. Proc. AAAI-88, Saint Paul, MN. 1988;275-279.
18. Struss P. Problems of interval-based qualitative reasoning. Weld D.S., de Kleer J. Readings in Qualitative Reasoning about Physical Systems. 1990;288-305 Morgan Kaufmann, San Mateo, CA.
19. Weld D.S., de Kleer J. Readings in Qualitative Reasoning about Physical Systems. 1990;Morgan Kaufmann, San Mateo, CA.
20. Williams B.C. A theory of interactions: Unifying qualitative and quantitative algebraic reasoning. Artificial Intelligence. 51:1991;39-94.