Reasoning in model management systems
Ting‐Peng Liang · 2003
The issues involved in the reasoning process are discussed. A hierarchy of abstractions that integrates previous contributions in modeling process is formulated as a planning process by which a set of operators are scheduled to achieve a specified goal. This process involves searches for alternatives that can eliminate the difference between the initial state and the goal state. Various reasoning strategies and heuristic evaluation functions that can be used to improve the efficiency of model integration are discussed.>