Mathematical Foundations of Qualitative Reasoning

AI Magazine

Volumn 24, Issue 4, 2003, Pages 91-106

  Travé Massuyès, Louise ^a   Ironi, Liliana ^b   Dague, Philippe ^c  

^a LAAS CNRS   (France)

^b Ist Matemat Applicata/TIINCR   (Italy)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

DOMAIN ABSTRACTION; PHYSICAL SYSTEMS; QUALITATIVE REASONING;

COMPUTER SIMULATION; FINITE AUTOMATA; FLOW OF FLUIDS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; NUMERICAL METHODS; ORDINARY DIFFERENTIAL EQUATIONS; PRESSURE REGULATORS;

ARTIFICIAL INTELLIGENCE;

EID: 0347316617     PISSN: 07384602     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Review

References (60)

1. Allen, J. F. 1983. Toward a General Theory of Action and Time. Artificial Intelligence 23(2): 123-154.
2. Armengol, J.; Travé-Massuyès, L.; Vehi, J.; and de la Rosa, J. L. 2000. A Survey on Interval Model Simulators and Their Properties Related to Fault Detection. In Annual Reviews in Control, Volume 24, 31-39. Oxford, U.K.: Elsevier Science.
3. Bellazzi, R.; Guglielmann, R.; and Ironi, L. 2000. How to Improve Fuzzy-Neural System Modeling by Means of Qualitative Simulation. IEEE Transactions on Neural Networks 11(1): 249-253.
4. Bellazzi, R.; Guglielmann, R.; Ironi, L.; and Patrini, C. 2001. A Hybrid Input-Output Approach to Model Metabolic Systems: An Application to Intracellular Thiamine Kinetics. Journal of Biomedical Informatics 34(4): 221-248.
5. Bellazzi, R.; Ironi, L.; Guglielmann, R.; and Stefanelli, M. 1998. Qualitative Models and Fuzzy Systems: An Integrated Approach for Learning from Data. Artificial Intelligence in Medicine 14(1-2): 5-28.
6. Berleant, D., and Kuipers, B. J. 1997. Qualitative and Quantitative Simulation: Bridging the Gap. Artificial Intelligence 95(2): 215-255.
7. Bernard, O., and Gouzé, J. L. 2002. Global Qualitative Description of a Class of Nonlinear Dynamical Systems. Artificial Intelligence 136(1): 29-59.
8. Bradley, E.; Easley, M.; and Stolle, R. 2001. Reasoning about Nonlinear System Identification. Artificial Intelligence 133(1-2): 139-188.
9. Capelo, A. C.; Ironi, L.; and Tentoni, S. 1998. Automated Mathematical Modeling from Experimental Data: An Application to Material Science. IEEE Transactions on Systems, Man and Cybernetics 28(3): 356-370.
10. Capelo, A. C.; Ironi, L.; and Tentoni, S. 1996. The Need for Qualitative Reasoning in Automated Modeling: A Case Study. In Proceedings of the Tenth International Workshop on Qualitative Reasoning QR'96, 32-39. Technical Report WS-96-01. Menlo Park, Calif.: American Association for Artificial Intelligence.
11. Clancy, D. J., and Kuipers, B. J. 1997. Static and Dynamic Abstraction Solves the Problem of Chatter in Qualitative Simulation. In Proceedings of the Fourteenth National Conference on Artificial Intelligence, 125-131. Menlo Park, Calif.: American Association for Artificial Intelligence.
12. Cohn, A. G., and Hazarika, S. M. 2001. Qualitative Spatial Representation and Reasoning: An Overview. Fundamenta Informaticae 46(1-2): 1-29.
13. Dague, P. 1993a. Numeric Reasoning with Relative Orders of Magnitude. In Proceedings of the Eleventh National Conference on Artificial Intelligence, 541-547. Menlo Park, Calif.: American Association for Artificial Intelligence.
14. Dague, P. 1993b. Symbolic Reasoning with Relative Orders of Magnitude. In Proceedings of the Thirteenth International Conference on Artificial Intelligence, 1509-1514. Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence.
15. Dague, P., and MQ&D. 1995. Qualitative Reasoning: A Survey of Techniques and Applications. AI Communications 8(3-4): 119-192.
16. dejong, H.; Geiselmann, J.; Hernandez, C.; and Page, M. 2003. Genetic Network Analyzer: Qualitative Simulation of Genetic Regulatory Networks. Bioinformatics 19(3): 336-344.
17. de Kleer, J., and Brown, J. S. 1984. A Qualitative Physics Based on Confluences. Artificial Intelligence 24(1-3): 7-83.
18. Dordan, O. 1992. Mathematical Problems Arising in Qualitative Simulation of a Differential Equation. Artificial Intelligence 55(1): 61-86.
19. Dormoy, J.-L. 1988. Controlling Qualitative Resolution. In Proceedings of the Seventh National Conference on Artificial Intelligence, 319-323. Menlo Park, Calif.: American Association for Artificial Intelligence.
20. Falkenhainer, B., and Forbus, K. D. 1991. Compositional Modeling: Finding the Right Model for the Job. Artificial Intelligence 51(1-3): 95-143.
21. Forbus K. D. 1984. Qualitative Process Theory. Artificial Intelligence 24(1-3): 85-168.
22. Forbus, K. D., and Falkenhainer, B. 1990. Self-Explanatory Simulations: An Integration of Qualitative and Quantitative Knowledge. In Proceedings of the Eighth National Conference on Artificial Intelligence, 380-387. Menlo Park, Calif.: American Association for Artificial Intelligence.
23. Fouché, P., and Kuipers, B. J. 1992. Reasoning about Energy in Qualitative Simulation. IEEE Transactions on Systems, Man, and Cybernetics 22(1): 47-63.
24. Haber, R., and Unbehauen, H. 1990. Structure Identification of Nonlinear Dynamic Systems - A Survey on Input-Output Approaches. Automatica 26(4): 651-677.
25. Hansen, E. 1992. Global Optimization Using Interval Analysis. New York: Marcel Dekker.
26. Hayes, P. 1985. The Second Naïve Physics Manifesto. In Readings in Qualitative Reasoning about Physical Systems, eds. D. Weld and J. de Kleer, 46-63. San Francisco, Calif.: Morgan Kaufmann.
27. Ironi, L., and Tentoni, S. 2003. A Model-Based Approach to the Assessment of Physicochemical Properties of Drug Delivery Materials. Computers and Chemical Engineering 27(6): 803-812.
28. Iwasaki, Y., and Simon, H. A. 1986. Causality in Device Behavior. Artificial Intelligence 29(1-3): 3-32.
29. Kay, H.; Rinner, B.; and Kuipers, B. J. 2000. Semiquantitative System Identification. Artificial Intelligence 119(1): 103-140.
30. Kuipers, B. J. 1994. Qualitative Reasoning - Modeling and Simulation with Incomplete Knowledge. Cambridge, Mass.: MIT Press.
31. Kuipers, B. J. 1986. Qualitative Simulation. Artificial Intelligence 29(3): 289-338.
32. Kuipers, B. J., and Berleant, D. 1988. Using Incomplete Quantitative Knowledge in Qualitative Reasoning. In Proceedings of the Seventh National Conference on Artificial Intelligence, 324-329. Menlo Park, Calif.: American Association for Artificial Intelligence.
33. Kuipers, B. J.; Chiu, C.; Dalle Molle, D. T.; and Throop, D. R. 1991. Higher-Order Derivative Constraints in Qualitative Simulation. Artificial Intelligence 51(1-3): 343-379.
34. Lee, W. W., and Kuipers, B. J. 1993. A Qualitative Method to Construct Phase Portraits. In Proceedings of the Eleventh National Conference on Artificial Intelligence, 614-619. Menlo Park, Calif.: American Association for Artificial Intelligence.
35. Lhomme, O. 1993. Consistency Techniques for Numeric CSPs. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 232-238. Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence.
36. Ljung, L. 1987. System Identification. Englewood Cliffs, N.J.: Pretice-Hall.
37. Mavrovouniotis, M. L., and Stephanopoulos, G. 1988. Formal Order-of-Magnitude Reasoning in Process Engineering. Computers and Chemical Engineering 12(9-10): 86-880.
38. Missier, A. 1994. Order-of-Growth Concepts. Internal report 94002, Laboratoire d'Analyse et d'Architecture de Systèmes - Centre National de la Recherche Scientifique, Toulouse, France.
39. Neitzke, M., and Neumann, B. 1994. Simulating Physical Systems with Relative Descriptions of Parameters. Paper presented at the Eleventh European Conference on Artificial Intelligence, 8-12 August, Amsterdam, The Netherlands.
40. Piera, N., and Travé-Massuyès, L. 1989. About Qualitative Equality: Axioms and Properties. Paper presented at the Ninth International Conference on Expert Systems and Their Applications, 29 May-2 June, Avignon, France.
41. Piera, N.; Sanchez, M.; and Travé-Massuyès, L. 1991. Qualitative Operators for Order-of-Magnitude Calculers: Robustness and Precision. Paper presented at the Thirteenth IMACS World Congress on Computation and Applied Mathematics, 22 July-26 July, Dublin, U.K.
42. Pulg, V.; Cuguero, P.; and Quevedo, J. 2001. Worst-Case State Estimation and Simulation of Uncertain Discrete-Time Systems Using Zonotopes. Paper presented at the European Control Conference ECC'01, 4-7 September, Porto, Portugal.
43. Raiman, O. 1991. Order-of-Magnitude Reasoning. Artificial Intelligence 51(1-3): 11-38.
44. Rinner, B., and Weiss, U. 2002. Model-Based Monitoring of Piecewise Continuous Behaviors Using Dynamic Uncertainty Space Partitioning. Paper presented at the Thirteenth International Workshop on Principles of Diagnosis (DX'02), 2-4 May, Semmering, Austria.
45. Ritschard, G. 1983. Computable Qualitative Comparative Statics Techniques. Econometrica 51(4): 1145-1168.
46. Robinson, A. 1966. Nonstandard Analysis. 2d rev. ed. Amsterdam, The Netherlands: North Holland.
47. Rossi, S.; Bonferoni, M. C.; Caramella, C.; Ironi, L.; and Tentoni, S. 1999. Model-Based Interpretation of Creep Profiles for the Assessment of Polymer-Mucin Interaction. Pharmaceutical Research 16(9): 1456-1463.
48. Sacks, E. 1990. Automatic Qualitative Analysis of Dynamical Systems Using Piecewise Linear Approximation. Artificial Intelligence 41:313-364.
49. Say, A. C. C., and Akin, H. L. 2002. Sound and Complete Qualitative Simulation Is Impossible. Paper presented at the Sixteenth International Workshop on Qualitative Reasoning (QR'02), 10-12 June, Sitges, Barcelona, Spain.
50. Struss, P. 1997. Fundamentals of Model-Based Diagnosis of Dynamic Systems. In Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 480-485, Menlo Park, Calif.: International Joint Conferences on Artificial Intelligence.
51. Struss, P. 1988. Mathematical Aspects of Qualitative Reasoning and Reply by B. Kuipers. Artificial Intelligence in Engineering 3(3): 156-169.
52. Struss, P.; Rehfus, B.; Brignolo, R.; Cascio, F.; Console, L.; Dague, P. ; Dubois, P.; Dressler, O.; and Millet, D. 2002. Model-Based Tools for the Integration of Design and Diagnosis into a Common Process - A Project Report. Paper presented at the Workshop on Principles of Diagnosis (DX'02), 2-4 May, Semmering, Austria.
53. Travé, L., and Dormoy, J.-L. 1988. Qualitative Calculus and Applications. In IMACS Transactions on Scientific Computing '88, 53-61. Basel, Switzerland: J. C. Baltzer Science.
54. Travé, L., and Kaszkurewicz, E. 1986. Qualitative Controlability and Observability of Linear Dynamic Systems. In IFAC/IFOR Symposium on Large Scale Systems, 964-970. Oxford, U.K.: Pergamon.
55. Travé-Massuyès, L.; Dague, P.; and Guerrin, F., eds. 1997. Le Raisonnement Qualitatif pour les Sciences de l'Ingénieur (Qualitative Reasoning for Engineering). Paris: Hermès.
56. Travé-Massuyès, L.; Piera, N.; and Missier, A. 1989. What Can We Do with Qualitative Calculus Today? IFAC/IMACS/IFORS International Symposium on Advanced Information Processing in Automatic Control, 3-5 July, Nancy, France.
57. Travé-Massuyès, L.; Prats, F.; Sanchez, M.; and Agell, N. 2002. Consistent Relative and Absolute Order-of-Magnitude Models. Paper presented at the Sixteenth International Workshop on Qualitative Reasoning (QR'02), 10-12 June, Sitges, Barcelona, Spain.
58. Wang, L. X. 1994. Adaptive Fuzzy Systems and Control: Design and Stability Analysis. Englewood Cliffs, N.J.: Prentice-Hall.
59. Weld, D. 1990. Theories of Comparative Analysis. Cambridge, Mass.: MIT Press.
60. Williams, B. C., and Raiman, O. 1994. Decompositional Modeling through Caricatural Reasoning. In Proceedings of the Twelfth National Conference on Artificial Intelligence, 1199-1204. Menlo Park, Calif.: American Association for Artificial Intelligence.