形式化智能世界的建模过程

作     者：孙善武 王楠 欧阳丹彤 SUN Shan-wu;WANG Nan;OUYANG Dan-tong

作者机构：吉林财经大学管理科学与信息工程学院长春130117 吉林财经大学物流产业经济与智能物流吉林省重点实验室长春130117 吉林大学符号计算与知识工程教育部重点实验室长春130012 

基　　金：国家自然科学基金(61272208 61133011 60973089 61003101 61170092 61402193) 吉林省科技发展计划项目(20100173 20130522177JH) 吉林省教育厅"十二五"科学技术研究项目(2012190 2011463 2012189 2014160)资助 

出 版 物：《计算机科学》 (Computer Science)

年 卷 期：2015年第42卷第5期

页      码：19-23页

摘      要：各种网络化实体或智能实体的嵌入将物理世界转变为智能世界,增加了基于物理世界统一抽象模型的推理复杂性。基于Saitta和Zucker定义的知识重构与抽象模型,提出一种新的表示智能世界的方法。通过感知重构过程,根据构成实体之间的通信关系自动构建3个可区分的、相互关联的子模型,即物理世界、网络化世界和虚拟世界,3个子模型之间的关系构成了智能世界的一个集成化模型。着重介绍了感知重构过程的形式化表示和推理机制。实际搭建的智能世界设计诊断推理实验表明,与基于知识重构和抽象一般物理世界模型相比,基于提出的智能世界模型的推理过程可以将系统故障限制在一个子模型中,从而较大程度地缩小了诊断的搜索空间。

主 题 词：抽象 KRA模型 物理世界 网络化世界 虚拟世界 

学科分类：081203[081203] 08[工学] 0835[0835] 0812[工学-测绘类] 

D　O　I：10.11896/j.issn.1002-137X.2015.5.004

馆 藏 号：203118187...