Hostname: page-component-76fb5796d-r6qrq Total loading time: 0 Render date: 2024-04-29T19:11:45.203Z Has data issue: false hasContentIssue false
  • English
  • Français

Automated modelling: a discussion and review

Published online by Cambridge University Press:  07 July 2009

S. Xia  and
N. Smith
S. Xia
Affiliation:
Department of Computer and Information Sciences, De Montfort University, Milton Keynes, UK
Get access Rights & Permissions [Opens in a new window]

Abstract

Automated modelling is a young research field and is attracting increasingly more attention. It is a cross-disciplinary field involving simulation, modelling, qualitative reasoning, bond graphs and systems dynamics. It is an investigation of the modelling process with the purpose of developing computer tools which will automatically follow modelling principles. In addition, these tools will take into account the details of an application and generate the most appropriate model for the application. Its objective is to develop computer modelling tools which will have perception of model correctness, completeness and appropriateness and can perform modelling automatically. One way to achieve this objective is to introduce well-defined models and automate the process of assembling submodels into models to create well-defined models. This paper reviews the motivation and background behind this new field, its theory and current state of the art, compares existing approaches and discusses the underlying issues. It is hoped that more researchers will become aware of this field and be encouraged to work in it.

Type
Research Article
Information
The Knowledge Engineering Review , Volume 11 , Issue 2 , June 1996 , pp. 137 - 160
Copyright
Copyright © Cambridge University Press 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Addanki, S, Cremonini, R and Penberthy, JS, 1991. “Graphs of models” Artificial Intelligence 51 145–177.CrossRefGoogle Scholar
Amsterdam, J, 1993. “Automated qualitative modelling of dynamic physical systems” PhD Thesis, MIT Al Lab, January.Google Scholar
Bunge, M, 1979. Causality and Modern Science Dover (Third edition).Google Scholar
Collins, A and Gentner, D, 1983. “Multiple models of evaporation processes” In: Proceedings Fifth Meeting of Cognitive Science Society-83 Lawrence Erlbaum. (Also in Weld & de Kleer, 1990, pp 508–512.)Google Scholar
Dc, Kleer J and Brown, JS, 1984. “A qualitative physics based on confluences” Artificial Intelligence 24 7–83.Google Scholar
de Vrics, TJA and Breedveld, PC, 1992. “A model of the modelling process” In Breedveld, & Dauphin, Tanguy (eds) Bond Graphs for Engineers 301–312.Google Scholar
Falkenhainer, B and Forbus, K, 1992. “Compositional modelling: finding the right model for the job” Artificial Intelligence 51 95–143.CrossRefGoogle Scholar
Forbus, KD, 1984. “Qualitative process theory” Artificial Intelligence 24 85–168. (Also in: Weld & de Kleer, 1990, pp 178–219.)CrossRefGoogle Scholar
Iwasaki, Y, and Simon, HA, 1986. “Causality in device behaviour” Artificial Intelligence 29 3–32.CrossRefGoogle Scholar
(Also in: Weld, & de, Kleer, 1990, pp 631–645.)Google Scholar
lwasaki, Y and Levy, AY, 1994. “Automated model selection for simulation” In: Proceedings AAAI–94 1183–1190.Google Scholar
Keuneke, A and Allemang, D, 1989. “Exploring the no-function-in-structure principle” J Experimental and Theoretical Artificial Intelligence 1 79–89.CrossRefGoogle Scholar
Leitch, R, 1995. “Model properties and classifications” In: Workshop on Taxonomies of Models for Simulation and Diagnosis, 27–2803 1995, Manchester, UK.Google Scholar
Levy, AY, 1994. “Creating abstractions using relevance reasoning” In: Proceedings AAAI-94 588–594.Google Scholar
Nayak, PP, 1994. “Causal approximations” Artificial Intelligence 70 277–334.Google Scholar
Rickel, J and Porter, B, 1994. “Automated modelling for answering prediction questions: selecting the time scale and system boundary” In: Proceedings AAAI-94 1191–1198.Google Scholar
Rickel, J. 1995. “Automated modelling of complex systems to answer prediction questions” PhD Thesis, Al Laboratory, University of Texas at Austin.Google Scholar
Rosenberg, RC and Karnopp, DC, 1983. Introduction to Physical System Dynamics McGraw-Hill.Google Scholar
Subramanian, D and Genesereth, MR, 1987. “The relevance of irrelevance” In: Proceedings IJCAE-87 416–422.Google Scholar
Sussman, GJ and Steele, GL Jr, 1980. “CONSTRAINTS–A language for expressing almost-hierarchical descriptions” Artificial Intelligence 14 1–39.CrossRefGoogle Scholar
Top, J, Breunese, APJ, Broenink, JF and Akkermans, JM, 1995. “Structure and use of a library for physical systems models” In: Proceedings ICBGM95 97–102.Google Scholar
Weld, DS, 1992. “Reasoning about model accuracy” Artificial Intelligence 56 225–300.CrossRefGoogle Scholar
Wilson, BH and Stein, JL, 1992. “An algorithm for obtaining minimum-order models of distributed and discrete systems” In Falkenhainer, B and Stein, JL (eds) Automated Modelling, DCS 41 American Society of Mechanical Engineers, 37–46.Google Scholar
Xia, S, Linkens, DA and Bennett, S, 1992. “Integration of qualitative reasoning and bond graphs: an engineering approach” J IMACS Trans.: Special Issue on Bond Graphs for Engineers 03.Google Scholar
Xia, S, Linkens, DA and Bennett, S, 1993. “Automatic modelling and analysis of dynamic physical systems using qualitative reasoning and bond graphs” Intelligent Systems Engineering 3(2) 201–212.CrossRefGoogle Scholar
Xia, S, 1994. “Formulation of generic principles of modelling industrial systems” Int J Systems Analysis, Modelling and Simulation 15 283–291.Google Scholar
Xia, S and Smith, N, 1994. “Mixed quantitative and qualitative simulation of dynamic systems” In: Proceedings of the European Simulation Symposium (ESS-94) 230–234.Google Scholar
Zeigler, B, Elzas, M, Klir, G and Oren, T, 1979. Methodology in Systems Modelling and Simulation North- Holland.Google Scholar
Amsterdam, J, 1992. “Automated modelling of physical systems” In Falkenhainer, B and Stein, JL (eds) Automated Modelling, DCS 41 American Society of Mechanical Engineers, 21–30.Google Scholar
Bobrow, DG, 1984. “Qualitative reasoning about physical systems: an introduction” Artificial Intelligence 24 1–5.CrossRefGoogle Scholar
Bobrow, DG, 1993. “Artificial intelligence in perspective: a retrospective on fifty volumes of the Artificial Intelligence Journal” Artificial Intelligence 59 5–20.CrossRefGoogle Scholar
Chandrasekaran, S, 1994. “Models versus rules, deep versus compiled, content versus form” IEEE Expert 04, 75–79.CrossRefGoogle Scholar
Collins, JW and Forbus, KD, 1987. “Reasoning about fluids via molecular collections” In: Proceedings AAAI–87 Morgan Kaufmann, 590–595.Google Scholar
(Also in: Weld, and de, Kleer, 1990, pp 503–507.)Google Scholar
Cornet, A and Lorenz, F, 1988. “Equation ordering using bond graph causality analysis” In: Proceedings 12th World Conference on Scientific Computation (IMACS-88) 1 43–46.Google Scholar
Dague, P, Raiman, O and Devès, P, 1987. “Troubleshooting: when modeling is the trouble” In: Proceedings of AAAI–87 Morgan Kaufmann, 600–605.Google Scholar
(Also in: Weld, and De, Kleer, 1990, pp 435–440.)Google Scholar
Davis, R, 1984. “Diagnostic reasoning based on structure and behaviour” Artificial Intelligence 24 347–410.CrossRefGoogle Scholar
Davis, R, 1990. “Diagnosis via causal reasoning: paths of interaction and the locality principle” In: Readings in Qualitative Reasoning about Physical Systems, Weld, D and DeKleer, J (eds) Morgan Kaufmann, 535–541.Google Scholar
DeKleer, J, 1977. “Multiple representation of knowledge in a mechanics problem-solver” In Proceeding IJCAI-77 Cambridge, MA, 299–304.Google Scholar
DeKleer, J, 1984. “How circuits work” Artificial Intelligence 24 205–280.CrossRefGoogle Scholar
Dormy, JL and Raiman, O, 1988. “Assembling a device” Proceedings AAAI–88 330–335.Google Scholar
(Also in: Weld, and de, Kleer, 1990, pp 306–311.)Google Scholar
Eagar, JW and Musen, MA, 1994. “Graph-grammer assistance for automated generation of influence diagrams” IEEE Trans Systems and Cybernetics 24 (11) 1625–1642.Google Scholar
Falkenhainer, B, 1993. “Ideal physical systems” In: Proceedings AAAI-93 600–605.Google Scholar
Falkenhainer, B and Forbus, K, 1988. “Setting up large scale qualitative models” In: ProceedingsAAAl-88 Morgan Kaufmann, 301–308.Google Scholar
(Also in: Weld, and De, Kleer, 1990, pp. 553–558.)Google Scholar
Falkenhainer, B and Forbus, KD, 1990. “Setting up large scale qualitative models” In Readings in Qualitative Reasoning about Physical Systems Weld, D and DeKleer, J (eds) Morgan, Kaufmann, 553–558.CrossRefGoogle Scholar
Falkenhainer, B and Stein, JL (eds) 1992. Automated Modelling, DCS 41 American Society of Mechanical Engineers.Google Scholar
Ferris, J, Stein, JL and Bernitsas, M, 1994. “Development of proper models of hybrid systems” In: 1994 ASME WAM Symposium on Automated Modeling Chicago, IL.Google Scholar
Ferris, JB and Stein, JL, 1994. “Development of proper system models for hybrid systems: a bond graph approach” In: Proceedings of the 1994 IMACS World Congress Atlanta, GA (extended Abstract).Google Scholar
Ferris, JB and Stein, JL, 1995. “Development of proper models of hybrid systems: a bond graph formulation” In: Proceedings of the 1995 International Conference on Bond Graph Modelling Las Vegas, NV, pp 43–48.Google Scholar
Fishwick, PA, 1995. Simulation Model Design and Execution: building digital worlds Prentice Hall.Google Scholar
Fishwick, PA and Luker, PA (eds) 1991. Qualitative Simulation Modelling and Analysis Springer-Verlag.CrossRefGoogle Scholar
Franke, DW and Dvorak, DL, 1989. “Component connection models” In: Workshop on Model-Based Reasoning, IJCAI-89 Detroit, MI, 97–101.Google Scholar
Gero, JS, Tham, KW and Lee, HS, 1992. “Behaviour: a link between function and structure in design” IFIP Intelligent CAD 193–225.Google Scholar
Giunchiglia, F and Walsh, T, 1989. “Abstract theorem proving” In: Proceedings IJCAI-89 372–377.Google Scholar
Hobbs, JR, 1990. “Granularity” In Readings in Qualitative Reasoning about Physical Systems Weld, D and DeKleer, J, (eds), Morgan Kaufmann, 542–545.CrossRefGoogle Scholar
Hunt, JE, Pugh, DR and Price, CJ, 1995. “Failure mode effects analysis: a practical application of functional modelling” Applied Artificial intelligence 9 33–44.CrossRefGoogle Scholar
Iwasaki, Y. 1988. “Causal ordering in a mixed structure” In: Proceedings AAAI-88 1 313–318.Google Scholar
Keller, RM, 1991. “Applying knowledge compilation techniques to model-based reasoning” IEEE Expert 04, 82–87.CrossRefGoogle Scholar
Kraan, I, Richards, B and Kuipers, B, 1991. “Automatic abduction of qualitative models” In: QR-91 Austin, Texas, 295–301.Google Scholar
Kuipers, B, 1990. “Abstraction by time-scale in qualitative simulation” In Readings in Qualitative Reasoning about Physical Systems Weld, D and DeKleer, J (eds), Morgan Kaufmann, 530–534.CrossRefGoogle Scholar
Leitch, R and Shen, Q, 1992. “Being committed to qualitative simulation” In: QR-92 Edinburgh, UK, 08, 281–293.Google Scholar
Linkens, DA, Xia, S and Bennett, S, 1992. “Systematic model transformation for analyzing dynamic physical systems at multiple levels” In: Proceedings of 1992 European Simulation Multiconference York, UK, 06.Google Scholar
Linkens, DA, Wang, H, Bennett, S and Xia, S, 1992. “Using qualitative bond graph reasoning to derive lookup tables for fuzzy logic controllers” In: Proceeding of the First International Conference on Intelligent Systems Engineering Edinburgh, UK, 08.Google Scholar
Liu, ZY and Farley, AM, 1991. “Tasks, models, perspectives, dimensions” In: QR-91 Austin, Texas, 05, 1–9.Google Scholar
Lrich, KT and Seering, WP, 1988. “Function sharing in mechanical design” In: Proceedings AAAI-88 342–346.Google Scholar
Mavrovouniotis, ML and Stephanopoulos, G, 1988. “Formal order-of-magnitude reasoning in process engineering” Computer Chemical Engineering 12 867–880.CrossRefGoogle Scholar
(Also in: Weld, and de, Kleer, 1990, pp 323–336.)CrossRefGoogle Scholar
Minsky, M, 1975. “A framework for representing knowledge” In Winston, PH (ed) The Psychology of Computer Vision McGraw-Hill, 211–277.Google Scholar
Murthy, SS, 1988. “Qualitative reasoning at multiple resolutions” In: Proceedings AAAI-88 296–300.Google Scholar
Nayak, PP, 1992. “Automated modelling of physical systems” PhD Thesis, Stanford University, Department of Computer Science, Stanford, CA.Google Scholar
Nayak, PP, 1992a. “Selecting models for causal explanation” In Falkenhainer, B and Stein, JL (eds) Automated Modelling, DCS 41 American Society of Mechanical Engineers, 11–20.Google Scholar
Raiman, O, 1988. “Order of magnitude reasoning” In: Proceedings AAAI–87 Morgan Kaufmann, 100–104.Google Scholar
(Also in: Weld, and de, Kleer, 1990, pp 318–322.)Google Scholar
Raiman, O, 1991. “Order of magnitude reasoning” Artificial Intelligence 51 11–38.CrossRefGoogle Scholar
Rosenberg, RC and Redfield, R (eds) 1988. Automated Modelling for Design ASME Bound Volume, No. G00460, ASME.Google Scholar
Rosenberg, RC and WanY-Y, , 1992. “Some structuring issues in modelling” In Falkenhainer, B and Stein, JL (eds) Automated Modelling, DCS 41 American Society of Mechanical Engineers.Google Scholar
Schmidt, D, Haddock, J, Wallace, WA and Wright, R, 1992. Visual Modelling–A Knowledge Acquisition Method for intelligent Process-Control Systems. Lecture Notes in Artificial Intelligence 604 294–303.Google Scholar
Smith, N, 1994. “Automated modelling: a review and proposal” Research Note RN94–2, School of Computing and Maths, De Montfort University, Milton Keynes, UK.Google Scholar
Stein, JL (ed.) 1991. Automated Modeling ASME Bound Volume, No. H00709, ASME.Google Scholar
Stein, JL (ed.) 1993. Automated Modeling for Design ASME Bound Volume, No. H00843, ASME.Google Scholar
Stein, JL (ed.) 1994. Proceedings of the Symposium, The Automated Modeling: Model Synthesis Algorithms 1994 International Mechanical Engineering Congress and Exposition-Proceedings of the ASME Dynamic Systems and Control Division 2, Radcliffe, CI (ed.) ASME Bound Volume, No. G0909B, ASME, 617–661.Google Scholar
Stein, JL (ed.) 1995. Proceedings of the Symposium, Automated Modeling, 1995 International Mechanical Engineering Congress and Exposition-Proceedings of the ASME Dynamic Systems and Control Division, T, Alberts (ed), ASME Bound Volume, No. H01025.Google Scholar
Stein, JL and Falkenhainer, B (eds) 1992. Automated Modeling ASME Bound Volume, No. 000747, ASME.Google Scholar
Top, J, Breunese, APJ, Broenink, JF and Akkermans, JM, 1995. “Structure and use of a library for physical systems models” In: Proceedings 1995 International Conference on Bond Graph Modelling and Simulation(1CBGM95) 97–102.Google Scholar
van Dijk, J and Breedveld, PC, 1991. “Simulation of systems models containing zero-order causal paths–I: classification of zero-order causal paths” Franklin Institute 328 (5/6) 959–979.CrossRefGoogle Scholar
van Dijk, J, de, Vries TJA, Breunese, AJP and Breedveld, PC, 1992. “Automated mechatronic systems modelling using MAX” In Breedveld, & Dauphin-Tanguy, (eds) Bond Graphs for Engineers 279–290.Google Scholar
Vaidhyanathan, R and Venkatasubramanian, V, 1995. “Digraph-based models for automated hazop analysis” Reliability Engineering and System Safety 50(1) 33–49.CrossRefGoogle Scholar
Weld, D, 1990. “The use of aggregation in causal simulation” In Readings in Qualitative Reasoning about Physical Systems, Weld, D and DeKleer, J (eds), Morgan Kaufmann, 513–529.CrossRefGoogle Scholar
Weld, D, 1990. “Approximation reformulation” In: Proceedings AAAI-90 Boston, MA.Google Scholar
Weld, DS, 1988. “Comparative analysis” Artificial Intelligence 36 333–373.CrossRefGoogle Scholar
Weld, DS, 1992. “Generating simplified models with confidence” In Falkenhainer, B and Stein, JL (eds) Automated Modelling, DCS 41 American Society of Mechanical Engineers, 21–30.Google Scholar
Weld, DS and de Kleer, J, 1990b. “Multiple ontologies and automated modelling: introduction” In Weld, DS and de Kleer, J (eds) Readings in Qualitative Reasoning About Physical Systems Morgan Kaufmann, 481–483.Google Scholar
Wiener, N, 1950. The Human Use of Human Beings: Cybernetics and Society Houghton, Miflin.Google Scholar
Williams, BC, 1991. “A theory of interactions: unifying qualitative and quantitative algebraic reasoning” Artificial Intelligence 51 39–94.CrossRefGoogle Scholar
Williams, BC and de Kleer, J, 1991. “Qualitative reasoning about physical systems: a return to roots” Artificial Intelligence 51 1–9.CrossRefGoogle Scholar
Wilson, BH, 1992. “Model-building assistant: an automated modelling tool for machine-tool drive-trains” PhD Thesis, The University of Michigan.Google Scholar
Wilson, BH and Stein, JL, 1992. “An algorithm for obtaining minimum-order models of distributed and discrete systems” In Falkenhainer, B and Stein, JL (eds) Automated Modelling DCS 41 American Society of Mechanical Engineers, 37–46.Google Scholar
Wilson, BH and Stein, JL, 1993. “Model building assistant: an automated modeling tool for machine tool drive systems” In: 1993 Proceedings of the International Conference on Bond Graph Modeling and Simulation San Diego, CA.Google Scholar
Winsor, J and Maccallum, K, 1994. “A review of functionality modelling in design” The Knowledge Engineering Review 9(2) 163–199.CrossRefGoogle Scholar
Xia, S, 1995. “Conceptual, causal and numerical modelling and analysis of engineering systems” In: Proceedings 8th intl. Conf. on Industrial and Engineering Applications of Al & ES Invited and additional papers, Melbourne, Australia, 06, 81–90.Google Scholar
Xia, S, 1995. “Deriving conceptual, causal and numerical models for simulation from structural information of physical systems” In: Proceedings of 1995 Summer Computer Simulation Conference 07, Ontario, Canada, 251–256.Google Scholar