On compositional modelling

Knowledge Engineering Review

Volumn 16, Issue 2, 2001, Pages 157-200

  Keppens, Jeroen ^a   Shen, Qiang ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; INFERENCE ENGINES; KNOWLEDGE ACQUISITION; MATHEMATICAL MODELS; PROBLEM SOLVING;

INTELLIGENT PROBLEM SOLVING; PROBLEM SOLVING ALGORITHMS;

KNOWLEDGE REPRESENTATION;

EID: 0042297238     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0269888901000091     Document Type: Review

References (95)

1. Abelson, H and Sussman, GJ, 1985, Structure and Interpretation of Computer Programs MIT Press/McGraw-Hill.
2. Addanki, S, Cremonini, R and Penberthy, JS, 1991, "Graph of models" Artificial Intelligence 51 145-177.
3. Ahriz, H and Tomasena, M, 1999, "Modeling as a fragment assembling process" Proceedings of the 13th International Workshop on Qualitative Reasoning about Physical Systems 1-10.
4. Ahriz, H and Xia, S, 1997 "Automatic modelling for diagnosis" Proceedings of the 11th International Workshop on Qualitative Reasoning about Physical Systems 3-12.
5. Amarel, S, 1968, "On representations of problems of reasoning about actions" Machine Intelligence 3 131-171.
6. Amsterdam, J, 1992, "Automated qualitative modeling of dynamic physical systems" Ph.D. Dissertation, MIT.
7. Baher, J, 1998a, "How articulate virtual labs can help in thermodynamics education: a multiple case study" Proceedings of the Frontiers in Education 1998 Conference.
8. Baher, J, 1998b, "Integrating 'articulate educational software' into engineering courses: a formative evaluation" Proceedings of the Annual Meeting of the American Educational Research Association.
9. Biris, E and Shen, Q, 1999, "Automatic modelling using Bayesian networks for explanation generation" Proceedings of the 13th International Workshop on Qualitative Reasoning about Physical Systems 19-26.
10. Biswas, G and Yu, X, 1993, "A formal modeling scheme for continuous systems: focus on diagnosis", Proceedings of the 13th International Joint Conference on Artificial Intelligence 1474-1479.
11. Biswas, G, Kapadia, R and Yu, XW, 1997, "Combined qualitative-quantitative steady state diagnosis of continuous-valued systems" IEEE Transactions on Systems, Man and Cybernetics 27(2) 167-185.
12. Biswas, G, Manganaris, S and Yu, X, 1993, "Extending component connection modeling for analyzing complex physical systems IEEE Expert 8(1) 48-57.
13. Bobrow, D, Falkenhainer, B, Farquhar, A, Fikes, R, Forbus, K, Gruber, T, Iwasaki, Y and Kuipers, BJ, 1996, "A compositional modeling language" Proceedings of the 10th International Workshop on Qualitative Reasoning about Physical Systems 12-21.
14. Bradley, E and Stolle, R, 1996, "Automatic construction of accurate models of physical systems" Annals of Mathematics and Artificial Intelligence 17 1-28.
15. Brajnik, G and Lines, M, 1998, "Qualitative modeling and simulation of socio-economic phenomena" Journal of Artificial Societies and Social Simulation 1 citeseer.nj.nec.com/brajnik97qualitative.html
16. Breedveld, PC, 1984, "Physical systems theory in terms of bond graphs", Ph.D. Dissertation, Twente University.
17. Breunese, A, Top, JL, Broenink, JF and Akkermans, H, 1998, "Libraries of reusable models: theory and application" Simulation 71(1) 7-22.
18. Choueiry, B, McIlraith, S, Iwasaki, Y, Loeser, T, Neller, T, Engelmore, RS and Fikes, R, 1998, "Preliminary thoughts towards a practical theory of reformulation for reasoning about physical systems" Proceedings of the 12th International Workshop on Qualitative Reasoning about Physical Systems 21-31.
19. Coghill, GM and Chantler, MJ, 1999, "Constructive and non-constructive asynchronous qualitative simulation" Proceedings of the 13th International Workshop on Qualitative Reasoning about Physical Systems 51-61.
20. Coghill, GM, Shen, Q, Chantler, MJ and Leitch, RR, 1999, "Towards the use of multiple models for diagnosis of dynamic systems Proceedings of the 9th International Workshop on Principles of Diagnosis 51-58.
21. Crawford, J, Farquhar, A and Kuipers, BJ, 1990, "A compiler from physical models into qualitative differential equations Proceedings of the 12th National Conference on Artificial Intelligence 365-372.
22. Davis, R, 1984, "Diagnostic reasoning based on structure and behavior" Artificial Intelligence 24 347-410.
23. De Kleer, J and Brown, JS, 1984, "A qualitative physics based on confluences" Artificial Intelligence 24 7-83.
24. De Kleer, J and Williams, BC, 1987, "Diagnosing multiple faults" Artificial Intelligence 32 97-130.
25. De Kleer, J and Williams, BC, 1989, "Diagnosis with behavioral modes" Proceedings of the 11th International Joint Conference on Artificial Intelligence 1324-1330.
26. De Kleer, J, 1986, "An assumption-based TMS" Artificial Intelligence 28 127-162.
27. Dornbusch, R and Fischer, S, 1994, Macroeconomics McGraw-Hill.
28. Falkenhainer, B and Forbus, KD, 1991, "Compositional modeling: finding the right model for the job" Artificial Intelligence 51 95-143.
29. Farquhar, A and Brajnik, G, 1994, "A semi-quantitative physics compiler" Proceedings of the 8th International Workshop on Qualitative Reasoning about Physical Systems 81-89.
30. Farquhar, A, 1993, "Automated modeling of physical systems in the presence of incomplete knowledge" Ph.D. Dissertation, University of Texas at Austin.
31. Farquhar, A, 1994, "A qualitative physics compiler" Proceedings of the 12th National Conference on Artificial Intelligence 1168-1174.
32. Fedorov, VV, 1972, Theory of Optimal Experiments Academic Press.
33. Forbus, KD and Falkenhainer, B, 1990, "Self-explanatory simulations: an integration of qualitative and quantitative knowledge" Proceedings of the 8th National Conference on Artificial Intelligence 380-387.
34. Forbus, KD and Whalley, PB, 1994, "Using qualitative physics to build articulate software for thermodynamics education" Proceedings of the 8th International Workshop Qualitative Reasoning about Physical Systems 106-113.
35. Forbus, KD, 1984, "Qualitative process theory" Artificial Intelligence 24 85-168.
36. Forbus, KD, 1990, "The qualitative process engine" in D Weld and J de Kleer (eds) Readings in Qualitative Reasoning about Physical Systems Morgan-Kaufmann.
37. Forbus, KD, Whalley, PB, Everett, JO, Ureel, L, Brokowski, M, Baher, J and Kuehne, SE, 1999, "CyclePad: an articulate virtual laboratory for engineering thermodynamics Artificial Intelligence 114 297-347.
38. Forrester, JW, 1961, Industrial Dynamics MIT Press.
39. Gawthrop, P, 1996, Metamodelling: Bond Graphs and Dynamic Systems Prentice Hall.
40. Gruber, TR and Gautier, PO, 1993, "Machine-generated explanations of engineering models: a compositional modeling approach" Proceedings of the 13th International Joint Conference on Artificial Intelligence 1502-1508.
41. Gruber, TR, Vemuri, S and Rice, J, 1996, "Model-based virtual document generation" Technical report KSL-96-16, Knowledge Systems Laboratory, Stanford University.
42. Hamscher, W, Console, L and de Kleer, J, 1992, Readings in Model-Based Diagnosis Morgan-Kaufmann.
43. Heller, U and Struss, P, 1996, "Transformation of qualitative dynamic models - application in hydro-ecology" Proceedings of the 10th International Workshop on Qualitative Reasoning about Physical Systems 83-92.
44. Heller, U and Struss, P, 1998, "Diagnosis and therapy recognition for ecosystems: usage of model-based diagnosis techniques" Proceedings of the 12th International Symposium "Computer Science for Environment Protection".
45. Iwasaki, Y, Farquhar, A, Fikes, R and Rice, J, 1997, "A web-based compositional modeling system for sharing of physical knowledge" Proceedings of the 15th International Joint Conference on Artificial Intelligence 494-500.
46. Iwasaki, Y and Levy, AY, 1994, "Automated model selection for simulation" Proceedings of the 12th National Conference on Artificial Intelligence 1183-1190.
47. Iwasaki, Y and Low, CM, 1992, "Device modeling environment: an integrated model-formulation and simulation environment for continuous and discrete phenomena" Proceedings of the Conference on Intelligent Systems Engineering 141-146.
48. Iwasaki, Y and Simon, HA, 1994, "Causality and model abstraction" Artificial Intelligence 67(1) 143-194.
49. Iwasaki, Y, Farquhar, A, Saraswat, V, Bobrow, D and Gupta, V, 1995, "Modeling time in hybrid systems: how fast is 'instantaneous'?" Proceedings of the 14th International Joint Conference on Artificial Intelligence 1773-1780.
50. Kay, H, Rinner, B and Kuipers, B, 2000, "Semi-quantitative system identification" Artificial Intelligence 119 103-140.
51. Keppens, J and Shen, Q, 2000, "Towards compositional modelling of ecological systems via dynamic flexible constraint satisfaction" Proceedings of the 14th International Workshop on Qualitative Reasoning about Physical Systems 74-82.
52. Kuipers, BJ, 1986, "Qualitative simulation" Artificial Intelligence 29 289-338.
53. Kuipers, BJ, 1987, "Abstraction by time scale in qualitative simulation" Proceedings of the 6th National Conference on Artificial Intelligence 621-625.
54. Kuipers, BJ, 1994, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge MIT Press.
55. Leitch, RR, Shen, Q, Coghill, G and Chantler, M, 1999, "Choosing the right model" IEE Proceedings on Control Theory and Applications 435-449.
56. Levy, AY, Iwasaki, Y and Fikes, R, 1997, "Automated model selection for simulation based on relevance reasoning" Artificial Intelligence 96 351-394.
57. Ljung, L, 1999, System Identification: Theory for the User MIT Press.
58. Luger, GF and Stubblefield, WA, 1993, Artificial Intelligence: Structures and Strategies for Complex Problem Solving The Benjamin/Cummings Publishing Company, Inc.
59. McIlraith, S, Biswas, G, Fromherz, M, Howe, J, Fikes, R, Bobrow, D, Cutkosky, M, Engelmore, RS and Neller, T, 1998, "Model-enabled control of hybrid systems" Technical report KSL-98-22, Stanford University.
60. Miguel, I and Shen, Q, 1999a, "Extending FCSP to support dynamicaly changing problems" Proceedings of the 8th International Conference on Fuzzy Systems 1615-1620.
61. Miguel, I and Shen, Q, 1999b, "Hard, flexible and dynamic constraint satisfaction" Knowledge Engineering Review 14(3), 199-220.
62. Mitchell, TM, 1997, Machine Learning McGraw-Hill.
63. Mittal, S and Falkenhainer, B, 1990, "Dynamic constraint satisfaction problems" Proceedings of the 8th National Conference on Artificial Intelligence 25-32.
64. Mosterman, PJ, Kapadia, R and Biswas, G, 1995, "Using bond graphs for diagnosis of dynamic physical systems" Proceedings of the 5th International Workshop on Principles of Diagnosis 81-85.
65. Nayak, PP and Joskowicz, L, 1996, "Efficient compositional modeling for generating causal explanations" Artificial Intelligence 83 193-227.
66. Nayak, PP, 1992, "Order of magnitude reasoning using logarithms" Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning 201-210.
67. Nayak, PP, 1994, "Causal approximations" Artificial Intelligence 70 277-334.
68. Nayak, PP, 1995, Automated Modeling of Physical Systems Lecture Notes in Artificial Intelligence, Springer.
69. Neter, J, Kutner, MH, Nachtsheim, CJ and Wasserman, W, 1996, Applied Linear Statistical Models Irwin.
70. Parsons, S and Hunter, A, 1998, "A review of uncertainty handling formalisms" in idem, Applications of Uncertainty Formalisms Springer-Verlag.
71. Pearl, J, 1988, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference Morgan-Kaufmann.
72. Pugh, AL, 1976, DYNAMO User's Manual MIT Press.
73. Raiman, O, 1991, "Order of magnitude reasoning" Artificial Intelligence 51 11-38.
74. Ramachandran, S, Mooney, RJ and Kuipers, BJ, 1994, "Learning qualitative models for systems with multiple operating regions" Proceedings of the 8th International Workshop on Qualitative Reasoning about Physical Systems 212-223.
75. Richards, BL, Kraan, I and Kuipers, BJ, 1992, "Automated abduction of qualitative models" Proceedings of the 10th National Conference on Artificial Intelligence 723-728.
76. Rickel, J and Porter, B, 1994, "Automated modeling for answering prediction questions: selecting the time scale and system boundary" Proceedings of the 12th National Conference on Artificial Intelligence 1191-1198.
77. Rickel, J and Porter, B, 1997, "Automated modeling of complex systems to answer prediction questions" Artificial Intelligence 93 201-260.
78. Say, AC and Kuru, S, 1996, "Qualitative system identification: deriving structure from behavior" Artificial Intelligence 83 75-141.
79. Scott, JA and Coghill, GM, 1998, "Qualitative Euler integration with continuity" Proceedings of the 12th International Workshop on Qualitative Reasoning about Physical Systems 114-122.
80. Scott, JA, Leitch, RR and Wyatt, GJ, 1995, "Reducing precision to achieve accurate economic models" Economic and Financial Computing Summer/Autumn 79-97.
81. Shen, Q, Peng, T and Milne, R, 1999, "Dimensional analysis based causal ordering" Proceedings of the 13th International Workshop on Qualitative Reasoning about Physical Systems 193-202.
82. Struss, P and Heller, U, 1998, "Process-oriented modeling and diagnosis: revising and extending the theory of diagnosis from first principles" Proceedings of the 9th International Workshop on Principles of Diagnosis.
83. Struss, P and Heller, U, 1999, "Model-based support for water treatment" Proceedings of the IJCAI'99 Workshop on Qualitative and Model Based Reasoning for Complex Systems and their Control 84-90.
84. Struss, P, 1998, "Artificial intelligence for nature: why knowledge representation and problem solving should play a key role in environmental decision support" in HD Haasis and KC Ranze (eds) Computer Science for the Environmental Protection '98 Metropolis Verlag.
85. Ulrich, K, 1988, "Computation and pre-parametric design", Technical Report 1043, MIT.
86. Walter, G, 1999, Compartmental Modeling with Networks Birkhauser Boston.
87. Wang, J, 1997, "Enterprise modeling: a compositional modeling approach" Proceedings of the 4th Conference of the International Society for Decision Support Systems 53-70.
88. Washio, T and Motoda, H, 1998, "Discovery of first-principle equations based on scale-type-based and data-driven-reasoning" Knowledge-Based Systems 10 403-411.
89. Weld, DS and Addanki, S, 1991, "Query directed approximations" in B Fallings and P Struss (eds) Recent Advances in Qualitative Physics MIT Press.
90. Weld, DS and de Kleer, J, 1990, Readings in Qualitative Reasoning About Physical Systems Morgan Kaufmann.
91. Weld, DS, 1990, "Approximation reformulations" Proceedings of the 8th National Conference on Artificial Intelligence 407-412.
92. Wu, C and Burke, TJ, 1998, "Intelligent computer aided optimization on specific power of an OTEC Rankine power plant" Applied Thermal Engineering 18(5) 295-300.
93. Wu, C and Dieguez, M, 1998, "Intelligent computer aided design on optimization of specific power of finite-time Rankine cycle using CyclePad" Computer Application in Engineering Education 16(1) 9-13.
94. Wyatt, GJ, Leitch, RR and Steele, AD, 1995, "Qualitative and quantitative simulation of interacting markets" Decision Support Systems 15 105-113.
95. Xia, S, Linkens, DA and Bennett, S, 1993, "Automated modelling and analysis of dynamic physical systems using qualitative reasoning and bondgraphs" Intelligent Systems Engineering Journal Autumn 201-212.