关键词: 抽象,KRA模型,物理世界,网络化世界,虚拟世界

Abstract: Various networked objects or smart objects are embedded in physical world to transfer it into an intelligent world,which increases the reasoning complexity based on the unified abstraction model framework.This paper presen-ted a new method to represent such an intelligent world based on the knowledge reformulation and abstraction model proposed by Saitta and Zucker.We automatically constructed three distinguishable and interrelated sub-models,i.e.,the model of physical world,networked world and virtual world,according to the communicational ways of the compositive entities by a perception reformulation process.The relationships between the three sub-models are constructed to make them form an integrated model of the intelligent world.We focused on the formalized representation of the perception reformulation and reasoning mechanism in this paper.We built practical intelligent worlds and set up diagnosis reaso-ning experiments,showing that comparing to the knowledge reformulation and abstraction model, the reasoning process of the proposed modeling method can limit malfunctions to one of the sub-models to reduce the diagnosis space.

Key words: Abstraction,KRA model,Physical world,Networked world,Virtual world