Reasoning for automated model integration

This paper investigates some reasoning issues involved in developing an integrated modeling environment called a model management system. A model management system is a computer-based environment designed to support effective development and utilization of quantitative decision models. Since the construction of decision models is a knowledge-intensive process, reasoning plays a critical role. Reasoning is particularly important when automated model integration is needed in a large-scale system. In this case, heuristics are required to reduce the complexity of the process. This paper examines the planning and automated formulation of complex models from smaller building blocks. First, a hierarchy of abstractions that integrates previous contributions in model management is presented. Then, a modeling process is formulated as a planning process by which a set of operators are scheduled to achieve a specific goal. This process involves searches for alternatives that can eliminate the difference between the i...

[1]  Herbert A. Simon,et al.  Search and Reasoning in Problem Solving , 1983, Artif. Intell..

[2]  Herbert A. Simon,et al.  The Sciences of the Artificial , 1970 .

[3]  Andrew B. Whinston,et al.  Foundations of Decision Support Systems , 1981 .

[4]  Ting-Peng Liang A Graph-Based Approach to Model Management , 1986, ICIS.

[5]  Robert W. Blanning,et al.  SoftCord: an intelligent agent for coordination in software development projects , 1986 .

[6]  Alice M. Ireland OBJECT-ORIENTED MODEL INTEGRATION IN MIDAS , 1989 .

[7]  Arthur M. Geoffrion,et al.  An Introduction to Structured Modeling , 1987 .

[8]  Arthur M. Geoffrion Reusing structured models via model integration , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[9]  Joyce J. Elam,et al.  Model Management Systems: an Approach to Decision Support in Complex Organizations , 1980, ICIS.

[10]  Robert W. Blanning A relational framework for assertion management , 1985, Decis. Support Syst..

[11]  M.A.H. Dempster,et al.  Object-oriented model integration in MIDAS (Manager's Intelligent Debt Advisory System) , 1989, [1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track.

[12]  Lindley Darden,et al.  Viewing the History of Science as Compiled Hindsight , 1986, AI Mag..

[13]  Russ Abbott,et al.  Knowledge abstraction , 1987, CACM.

[14]  Elena De Santis,et al.  Issues in design and architecture of advanced dynamic model management for decision support systems , 1989, Decis. Support Syst..

[15]  Ting-Peng Liang Development of a Knowledge-Based Model Management System: Special Focus Article , 1988, Oper. Res..

[16]  Robert W. Blanning,et al.  A relational framework for join implementation in model management systems , 1985, Decis. Support Syst..

[17]  Amitava Dutta,et al.  An Artificial Intelligence Approach to Model Management in Decision Support Systems , 1984, Computer.

[18]  Steven Orla Kimbrough,et al.  A graph representation for management of logic models , 1986, Decis. Support Syst..

[19]  Daniel R. Dolk,et al.  Knowledge Representation for Model Management Systems , 1984, IEEE Transactions on Software Engineering.

[20]  Richard E. Korf,et al.  Planning as Search: A Quantitative Approach , 1987, Artif. Intell..

[21]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[22]  Ting-Peng Liang Integrating model management with data management in decision support systems , 1985, Decis. Support Syst..

[23]  Richard E. Korf,et al.  Macro-Operators: A Weak Method for Learning , 1985, Artif. Intell..

[24]  Daniel R. Dolk Data as models: an approach to implementing model management , 1986 .

[25]  Ramayya Krishnan A logic modeling language for automated model construction , 1990, Decis. Support Syst..

[26]  Andrew B. Whinston,et al.  A Formal Approach to Decision Support , 1984 .

[27]  Ting-Peng Liang,et al.  META‐DESIGN CONSIDERATIONS IN DEVELOPING MODEL MANAGEMENT SYSTEMS* , 1988 .

[28]  Allen Newell,et al.  Human Problem Solving. , 1973 .