智能世界的建模与诊断  

Modeling and Diagnosis of the Intelligent World

作　　者：王楠[1,2,3,4] 欧阳丹彤[3] 孙善武[1,2] 

机构地区：[1]吉林财经大学管理科学与信息工程学院,长春130117 [2]物流产业经济与智能物流吉林省重点实验室(吉林财经大学),长春130117 [3]符号计算与知识工程教育部重点实验室(吉林大学),长春130012 [4]吉林大学通信与工程学院,长春130012

出　　处：《计算机研究与发展》2013年第9期1954-1962,共9页Journal of Computer Research and Development

基　　金：国家自然科学基金项目(61272208;61133011;60973089;61003101;61170092);吉林省科技发展计划基金项目(20100173);吉林省教育厅"十二五"科学技术研究基金项目(2011467;2012190;2011463);符号计算与知识工程教育部重点实验室开放项目(93K172012K09);国家留学基金项目(201208220141)

摘　　要：统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比).Unified abstraction modeling framework and the formal representation help to realize automated reasoning. With the rapid development of the Internet of Things （loT）, various smart or intelligent ob}ects are embedded in the physical world which partly changes the characters of the composed entities. Our familiar world is accordingly changing into an intelligent world which greatly increases the modeling and reasoning complexity. In this paper, based on the unified knowledge reformulation and abstraction （KRA） model framework presented by Saitta and Zucker, we propose a distinguishable knowledge reformulation and abstraction （dKRA） model according to the characters of the intelligent world. Different from the KRA model which represents the intelligent world in a unified way, the proposed dKRA model can be formalized through three interrelated sub-models and their relationships. We give some definitions and theorems based on the correlative concepts of model- based diagnosis to show that the diagnosis process can be limited in one （or more than one） of the sub- models. By focusing on the model verification during the phase of system designing, the presented diagnosis algorithm running on the dKRA model of an intelligent world is analyzed from both theoretical and experimental perspectives to show the improvement on the diagnosis process running directly on the KRA model of the same intelligent world.

关 键 词：可区分的KRA模型 基于模型的诊断 智能世界 抽象 自动推理 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]