计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2015年
5期
19-23
,共5页
抽象%KRA模型%物理世界%网络化世界%虚拟世界
抽象%KRA模型%物理世界%網絡化世界%虛擬世界
추상%KRA모형%물리세계%망락화세계%허의세계
Abstraction%KRA model%Physical world%Networked world%Virtual world
各种网络化实体或智能实体的嵌入将物理世界转变为智能世界,增加了基于物理世界统一抽象模型的推理复杂性.基于Saitta和Zucker定义的知识重构与抽象模型,提出一种新的表示智能世界的方法.通过感知重构过程,根据构成实体之间的通信关系自动构建3个可区分的、相互关联的子模型,即物理世界、网络化世界和虚拟世界,3个子模型之间的关系构成了智能世界的一个集成化模型.着重介绍了感知重构过程的形式化表示和推理机制.实际搭建的智能世界设计诊断推理实验表明,与基于知识重构和抽象一般物理世界模型相比,基于提出的智能世界模型的推理过程可以将系统故障限制在一个子模型中,从而较大程度地缩小了诊断的搜索空间.
各種網絡化實體或智能實體的嵌入將物理世界轉變為智能世界,增加瞭基于物理世界統一抽象模型的推理複雜性.基于Saitta和Zucker定義的知識重構與抽象模型,提齣一種新的錶示智能世界的方法.通過感知重構過程,根據構成實體之間的通信關繫自動構建3箇可區分的、相互關聯的子模型,即物理世界、網絡化世界和虛擬世界,3箇子模型之間的關繫構成瞭智能世界的一箇集成化模型.著重介紹瞭感知重構過程的形式化錶示和推理機製.實際搭建的智能世界設計診斷推理實驗錶明,與基于知識重構和抽象一般物理世界模型相比,基于提齣的智能世界模型的推理過程可以將繫統故障限製在一箇子模型中,從而較大程度地縮小瞭診斷的搜索空間.
각충망락화실체혹지능실체적감입장물리세계전변위지능세계,증가료기우물리세계통일추상모형적추리복잡성.기우Saitta화Zucker정의적지식중구여추상모형,제출일충신적표시지능세계적방법.통과감지중구과정,근거구성실체지간적통신관계자동구건3개가구분적、상호관련적자모형,즉물리세계、망락화세계화허의세계,3개자모형지간적관계구성료지능세계적일개집성화모형.착중개소료감지중구과정적형식화표시화추리궤제.실제탑건적지능세계설계진단추리실험표명,여기우지식중구화추상일반물리세계모형상비,기우제출적지능세계모형적추리과정가이장계통고장한제재일개자모형중,종이교대정도지축소료진단적수색공간.