Issues In Knowledge Based Assistance for IDEF3 Descriptions

该项目的主要目标是研究和开发定性推理范式的使用，为仿真模型设计的初步方面提供智能支持。具体而言，研究将针对定性推理在描述验证和概念模型设计活动中的应用。为了实现这一目标，第二阶段的具体目标是为特定的制造系统领域和仿真建模领域开发本体；提取并形式化系统运行的常识性原则；完善IDEF3模型理论语义；研究和原型一个定性推理引擎，包括本体和常识推理组件；并演示了该定性推理引擎在描述验证和概念模型设计任务中的应用。提出的研究的主要好处将是为仿真建模过程的初始分析和模型设计任务提供智能支持；提高领域专家和仿真分析员的工作效率；提高工业和商业决策者对仿真建模技术的接受程度。这项研究的结果有可能对最先进的仿真建模技术产生重大影响。

The primary goal of this project is to research and develop the use of the qualitative reasoning paradigm for providing intelligent support to the preliminary aspects of simulation model design. Specifically, the research will be targeted at the application of qualitative reasoning to the description validation and the conceptual model design activities. In order to achieve this goal, the specific Phase II objectives are to develop ontologies for a specific manufacturing system domain and the simulation modeling domain; to extract and formalize Common Sense Principles of System Operation; to refine the IDEF3 model- theoretic semantics; to research and prototype a qualitative reasoning engine comprising ontological and common sense reasoning components; and to demonstrate the application of this qualitative reasoning engine to the tasks of description validation and conceptual model design. The main benefits of the proposed research will be to provide intelligent support for the initial analysis and model design tasks of the simulation modeling proces; to enhance the productivity of both the domain expert nd the simulation analyst; and to enhance the acceptance of simulation modeling techniques by decision makers in industry and business. The results of this research have the potential to make a significant impact on the state-of-the-art in simulation modeling technology.