基于G-KRA模型框架的智能世界建模  

Modeling Intelligent World Based on G-KRA Model Framework

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

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

出　　处：《计算机科学》2013年第9期190-193,共4页Computer Science

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

摘　　要：统一的建模框架和形式化表示可以帮助实现自动推理。对由物联网技术发展带来的智能世界进行定义,对表示静态物理世界一般抽象模型的广义知识重构与抽象模型(G-KRA模型)进行扩展,使其能够刻画所定义的智能世界。定义迭代的初步感知过程,在一定的前提假设下根据智能世界构成实体的特征,得到智能世界构成实体的可区分的初步感知。在抽象感知过程中,建立3个子世界的可区分实体与连接库,并生成3个子世界的网络化连接。同时,通过统一构建抽象对象库或者为3个子世界分别构建抽象对象库来实现智能世界的抽象感知过程。扩展后的GKRA模型充分考虑了不同类型实体的行为和连接特征,每个子世界由具有相同行为类型的实体和相同类型的连接构成,可以将推理问题定位在某个(些)子世界的模型中,从而缩小推理空间。Unified abstraction modeling framework and the formal representation help to realize automated reasoning. The General Knowledge Reformulation and Abstraction model（C-KRA model） was extended to characterize the mode-ling framework of the proposed intelligent world. Considering the diversity of the objects in the intelligent world, itera-tive primary perception process was defined to build the distinguishable objects and relations and the networked rela-tionships between the three sub-worlds. The abstraction perception process of the intelligent world can be realized through constructing unified abstraction objects database or three different ones for the three sub-worlds. The extended G-KRA model considers the characters of the behaviors and relationships of various objects in the intelligent world. Each sub-world is constructed by the objects and relationships of same types so that the same unified reasoning mecha-nism can be built. The reasoning problems can be located in one（or more than one）sub-model（s）to reduce the reasoning spaces.

关 键 词：智能世界 G-KRA模型 初步感知 抽象感知 

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