Improved Reasoning About Infinity Using Qualitative Simulation

Computing and Informatics

Volumn 20, Issue 5, 2001, Pages 487-507

  Say, A C Cem ^a,b  

^a BOGAZICI UNIVERSITY   (Turkey)

^b Turkish Nav Inventory Contr Center   (Turkey)

Author keywords

Asymptotic reasoning; Infinity; QSIM; Qualitative reasoning; Qualitative simulation

Indexed keywords

EID: 0035738524     PISSN: 13359150     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. DAVIS, E.: Order of Magnitude Reasoning in Qualitative Differential Equations. In: Readings in Qualitative Reasoning About Physical Systems, eds. Weld, D. S. - de Kleer, J., Morgan Kaufmann, Los Altos, 1990, pp. 422-434.
2. FORBUS, K. D.: The Qualitative Process Engine. In: Readings in Qualitative Reasoning About Physical Systems, eds. Weld, D. S. - de Kleer, J., Morgan Kaufmann, Los Altos, 1990, pp. 220-235.
3. FOUCHÉ, P. - KUIPERS, B. J.: Reasoning About Energy in Qualitative Simulation. IEEE Transactions on Systems, Man, and Cybernetics, Vol. 22, 1992, pp. 47-63.
4. JAMAL, R. - PICHLIK, H.: LabView Applications and Solutions. Prentice Hall, 1998.
5. KAMERICH, E.: A Guide to Maple, Springer Verlag, 1999.
6. KARAPOULIOS, C. - MISSIER, A. - XANTHAKIS, S.: Asymptotic Reasoning by Orders of Growth. In: Le Raisonnement Qualitatif pour les Sciences de l'Ingénieur, eds. Travé-Massuyès, L. - Dague, P. - Guerrin, F., Editions Hermes, Paris, 1997, pp. 89-99.
7. KUIPERS, B. J.: Commonsense Reasoning About Causality: Deriving Behavior from Structure. Artificial Intelligence, Vol. 24, 1984, pp. 169-204.
8. KUIPERS, B. J.: Qualitative Simulation. Artificial Intelligence, Vol. 29, 1986, pp. 289-338.
9. KUIPERS, B. J.: Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. The MIT Press, Cambridge, 1994.
10. KUIPERS, B. - ASTROM, K.: The Composition and Validation of Heterogeneous Control Laws. Automatica, Vol. 30, 1994, pp. 233-249.
11. MISSIER, A.: Mathematical Structures for Qualitative Calculus, a Contribution to Qualitative Simulation. Ph. D. thesis, Institut National des Sciences Appliquées de Toulouse, 1991.
12. PALM III, W. J.: MATLAB for Engineering Applications, WCB/McGraw-Hill, 1999.
13. PRESS, W. H. - FLANNERY, B. P. - TEUKOLSKY, S. A. - VETTERLING, W. T.: Numerical Recipes in C. Cambridge University Press, New York, 1988.
14. RAIMAN, O.: Order of Magnitude Reasoning. Artificial Intelligence, Vol. 51, 1991, pp. 11-38.
15. SAY, A. C. C.: Limitations Imposed by the Sign-Equality Assumption in Qualitative Simulation. In: Proc. Eleventh Int. Workshop on Qualitative Reasoning, Cortona, Italy, 1997, pp. 165-173.
16. SAY, A. C. C.: Numbers Representable in Pure QSIM. In: Proc. Eleventh Int. Workshop on Qualitative Reasoning, Cortona, Italy, 1997, pp. 337-344.
17. SAY, A. C. C.: L'Hôpital's Filter for QSIM. IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 20, 1998, pp. 1-8.
18. SAY, A. C. C. - KURU, S.: Improved Filtering for the QSIM Algorithm. IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. 15, 1993, pp. 967-971.
19. SHULTS, B. - KUIPERS, B.: Proving Properties of Continuous Systems: Qualitative Simulation and Temporal Logic. Artificial Intelligence, Vol. 92, 1997, pp. 91-129.
20. WELD, D.S.: Theories of Comparative Analysis. The MIT Press, Cambridge, 1990.
21. WELD, D. S. - DE KLEER, J.: eds., Readings in Qualitative Reasoning About Physical Systems. Morgan Kaufmann, Los Altos, 1990.
22. WOLFRAM, S.: The Mathematica Book. Fourth Edition, Cambridge University Press, 1999.