Reasoning About Energy in Qualitative Simulation

IEEE Transactions on Systems, Man and Cybernetics

Volumn 22, Issue 1, 1992, Pages 47-63

  Fouche, Pierre ^a   Kuipérs, Benjamin J ^b  

^a UNIVERSITÉ DE TECHNOLOGIE DE COMPIÈGNE   (France)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS SCIENCE AND CYBERNETICS - COGNITIVE SYSTEMS;

QUALITATIVE SIMULATION; REASONING ABOUT ENERGY;

COMPUTER SIMULATION;

EID: 0026712601     PISSN: 00189472     EISSN: 21682909     Source Type: Journal    
DOI: 10.1109/21.141310     Document Type: Article

References (19)

1. T. Bylander, “A critique of qualitative simulation from a consolidation viewpoint,” IEEE Trans. Syst., Man, Cybern., vol. 18, pp. 252-263, 1988.
2. J. De KJeer, and D. J. Bobrow, “Qualitative reasoning with higher order derivatives,” in Proc. AAAI-84, 1984, pp. 86-91.
3. J. De Kleer, and J. Brown, “A qualitative physics based on confluences,” Artificial Intell. J., vol. 24, pp. 7-83, 1984.
4. K. D. Forbus, “Qualitative process theory,” Artificial Intell. J., vol. 24, pp. 85-168, 1984.
5. P. Fouché, A. Charles, J. P. Barthes, and C. Mélin, “Un panorama de la physique qualitative,” in Proc. Ninth Int. Workshop on Expert Systems and their Applications, Avignon, France, 1989.
6. P. Fouché and B. J. Kuipers, “Qualitative simulation of feedback control systems,” in Proc. MIM-S2 90, Bruxelles, Belgium, Sept. 1990.
7. P. Fouche and B. J. Kuipers, “An assessment of current qualitative simulation techniques,” in Recent Advances in Qualitative Physics, P. Struss, and B. Faltings, Eds. Cambridge, MA: MIT Press, 1991.
8. Y. Ishida, “Using global properties for qualitative reasoning: A qualitative system theory,” in Proc. IJCAI 89, Detroit, MI, 1989, pp. 1174-1179.
9. M. A. Kramer, “Expert systems for process fault diagnosis: A general framework,” in Computer Aided Systems for Process Operations, G. V. Reklaitis, and H. D. Springgs, Eds. Amsterdam: Elsevier, pp. 557-587, 1987.
10. B. J. Kuipers, “The limits of qualitative simulation,” in Proc. IJCAI-85, Los Angeles, CA, 1985, pp. 128-136.
11. B. J. Kuipers, “Qualitative simulation,” Artificial Intell. J., vol. 29, pp. 289-388, 1986.
12. B. J. Kuipers, and C. Chiu, “Taming intractible branching in qualitative simulation,” in Proc. IJCAI-87, Milan, Italy, 1987, pp. 1079-1085.
13. B. J. Kuipers, and D. Berleant, “Using incomplete quantitative knowledge in qualitative reasoning,” in Proc. AAAI-88, Saint Paul, MI, 1988, pp. 324-329.
14. B. J. Kuipers, “Qualitative reasoning: Modeling and simulation with incomplete knowledge,” Automatica, vol. 25, pp. 571-585, 1989.
15. B. J. Kuipers, C. Chiu, D. Dalle Molle, and D. Throop, “Higher order derivative constraints in qualitative simulation,” Artificial Intell. J., vol. 51, pp. 343-379, 1991.
16. W. W. Lee, and B. J. Kuipers, “Non-intersection of trajectories in qualitative phase space: A global constraint for qualitative simulation,” in Proc. AAAI-88, Saint Paul, MI, 1988, pp. 286-290.
17. P. Struss, “Global filters for qualitative behaviors,” in Proc. AAAI-88, St. Paul, MI, 1988, pp. 275-279.
18. L. Trave, and J. L. Dormoy, “Qualitative calculus and applications,” in Proc. 12th World Congress on Scientific Computation, Paris, 1988.
19. D. S. Weld, “Comparative analysis,” Artificial Intell. J., vol. 36, pp. 333-374, 1988.