Qualitative system identification: Deriving structure from behavior

Artificial Intelligence

Volumn 83, Issue 1, 1996, Pages 75-141

  Say, A C Cem ^a   Kuru, Selahattin ^a  

^a BOGAZICI UNIVERSITY   (Turkey)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; COMPUTER SOFTWARE;

QUALITATIVE REASONING; QUALITATIVE SYSTEM IDENTIFICATION;

FORMAL LOGIC;

EID: 0030145238     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/0004-3702(95)00016-X     Document Type: Article

References (40)

1. J. Amsterdam, Automated qualitative modeling of dynamic physical systems, Technical Report, MIT AI Laboratory, Cambridge, MA (1993).
2. R. Bhaskar and A. Nigam, Qualitative physics using dimensional analysis, Artif. Intell. 45 (1990) 73-111.
3. I. Bratko, S. Muggleton and A. Varsek, Learning qualitative models of dynamic systems, in: Proceedings Eighth International Workshop on Machine Learning (Morgan Kaufmann, San Mateo, CA, 1991) 385-388.
4. E. Charniak and D. McDermott, Introduction to Artificial Intelligence (Addison-Wesley, Reading, MA, 1985).
5. E. Coiera, Generating qualitative models from example behaviours, Technical Report 8901, Department of Computer Science, University of New South Wales (1989).
6. D. DeCoste, Dynamic across-time measurement interpretation, Artif. Intell. 51 (1991) 273-341.
7. J. de Kleer and J.S. Brown, A qualitative physics based on confluences, Artif. Intell. 24 (1984) 7-83.
8. R.J. Doyle, Reasoning about hidden mechanisms, in: Proceedings IJCAI-89, Detroit, MI (1989) 1343-1349.
9. D. Dvorak and B. Kuipers, Model-based monitoring of dynamic systems, in: Proceedings IJCAI-89, Detroit, MI (1989) 1238-1243.
10. S. Dzeroski, Learning qualitative models with inductive logic programming, Informatica 16 (4) (1992) 30-41.
11. S. Dzeroski and L. Todorovski, Discovering dynamics: from inductive logic programming to machine discovery, J. Intell. Information Syst. (to appear).
12. B. Falkenhainer, A unified approach to explanation and theory formation, in: J. Shrager and P. Langley, eds., Computational Models of Scientific Discovery and Theory Formation (Morgan Kaufmann, San Mateo, CA, 1990) Chapter 6.
13. K.D. Forbus, Qualitative process theory, Artif. Intell. 24 (1984) 85-168.
14. K.D. Forbus, Interpreting observations of physical systems, in: D.S. Weld and J. de Kleer, eds., Readings in Qualitative Reasoning about Physical Systems (Morgan Kaufmann, Los Altos, CA 1990).
15. P. Fouché and B.J. Kuipers, Reasoning about energy in qualitative simulation, IEEE Trans. Syst. Man Cybern. 22 (1992) 47-63.
16. D. Halliday and R. Resnick, Physics (Wiley, New York, 1978).
17. Y. Iwasaki and H.A. Simon, Causality in device behavior, Artif. Intell. 29 (1986) 3-32.
18. B.J. Kuipers, Commonsense reasoning about causality: deriving behavior from structure, Artif. Intell. 24 (1984) 169-203.
19. B.J. Kuipers, Qualitative simulation, Artif. Intell. 29 (1986) 289-338.
20. B.J. Kuipers, Abstraction by time-scale in qualitative simulation, in: Proceedings AAAI-87, Seattle, WA (1987) 621-625.
21. B.J. Kuipers, Qualitative simulation as causal explanation, IEEE Trans. Syst. Man. Cybern. 17 (1987) 432-444.
22. B.J. Kuipers, Qualitative reasoning: modeling and simulation with incomplete knowledge, Automatica 25 (1989) 571-585.
23. B.J. Kuipers, Qualitative reasoning with causal models in diagnosis of complex systems, in: L.E. Widman, K.A. Loparo and N.R. Nielsen, eds., Artificial Intelligence, Simulation and Modeling (Wiley, New York, 1989).
24. P. Langley, H. Simon, G. Bradshaw and J. Zytkow, Scientific Discovery: Computational Explorations of the Creative Processes (MIT Press, Cambridge, MA, 1987).
25. N. Lavrac and I. Mozetic, Methods for knowledge acquisition and refinement in second generation expert systems, SIGART Newsletter 108 (1989) 63-69.
26. L. Ljung, Issues in system identification, IEEE Control Syst. 11 (1991) 25-29.
27. R.M. O'Keefe, The role of artificial intelligence in discrete-event simulation, in: L.E. Widman, K.A. Loparo and N.R. Nielsen, eds., Artificial Intelligence, Simulation and Modeling (Wiley, New York, 1989).
28. S. Ramachandran, R.J. Mooney and B.J. Kuipers, Learning qualitative models for systems with multiple operating regions, in: Proceedings QR-94 (1994).
29. B.L. Richards, I. Kraan and B.J. Kuipers, Automatic abduction of qualitative models, in: Proceedings AAAI-92, San Jose, CA (1992) 723-728.
30. J. Rothenberg, The nature of modeling, in: L.E. Widman, K.A. Loparo and N.R. Nielsen, eds., Artificial Intelligence, Simulation and Modeling (Wiley, New York, 1989).
31. A.C.C. Say, Qualitative system identification, Ph.D. Thesis, Boǧaziçi University, Istanbul (1992).
32. A.C.C. Say and S. Kuru, Nitel model tamlama, in: Proceedings Bilkon-91 Bilkent Elektrik-Elektronik ve Bilgisayar Mühendisliǧi Konferansi, Ankara, Turkey (1991) 363-366.
33. A.C.C. Say and S. Kuru, An algorithm for qualitative system identification, in: Proceedings Seventh International Symposium on Computer and Information Sciences (ISCIS VII), Antalya, Turkey (1992) 229-235.
34. A.C.C. Say and S. Kuru, Improved filtering for the QSIM algorithm, IEEE Trans. Pattern Anal. Mach. Intell. 15 (1993) 967-971.
35. D.S. Weld, Comparative analysis, Artif. Intell. 36 (1988) 333-373.
36. D.S. Weld and J. de Kleer, eds., Readings in Qualitative Reasoning about Physical Systems (Morgan Kaufmann, Los Altos, CA, 1990).
37. L.E. Widman, K.A. Loparo and N.R. Nielsen, eds., Artificial Intelligence, Simulation and Modeling (Wiley, New York, 1989).
38. B.C. Williams, Qualitative analysis of MOS circuits, Artif. Intell. 24 (1984) 281-346.
39. B.C. Williams, MINIMA: a symbolic approach to qualitative algebraic reasoning, in: Proceedings AAAI-88, St. Paul, MN (1988) 264-270.
40. C.W. Xu and Y.Z. Lu, Fuzzy model identification and self-learning for dynamical systems, IEEE Trans. Syst. Man Cybern. 17 (1987) 683-689.