形式化智能环境下的物理世界建模过程.pdfVIP

第5l卷第5期 吉林大学学报(理学版) V01．51No．5 of 2013年9月 JournalJilin Edition) 2013 University(Science Sep 形式化智能环境下的物理世界建模过程 王 楠 1’2…，孙 善武1’2，陈坚 (1．吉林财经大学物流产业经济与智能物流吉林省重点实验室，长春130117； 2．吉林财经大学管理科学与信息工程学院；长春130117；3．吉林大学通信与工程学院，长春130012) 摘要：针对普适计算带来的智能物理世界构成实体的属性和行为特征，将知识重构与抽象模 型(KRA模型)框架的感知过程扩展为初步感知和感知重构两步，使其能表示并区分所提出 的智能环境下物理世界的不同属性域实体，得到智能环境下物理世界的层次模型．该模型统 一定义物理实体，逻辑表示网络化实体，避免了重复感知．网络化实体间及物理实体和虚拟 实体与网络化实体间的关系定义为逻辑连接关系，同时，可以将对以整个世界为推理空间的 推理过程分解为在物理实体及连接构成的空间和在虚拟实体及连接构成的空间上更小规模的 推理过程，降低了推理的复杂性． 关键词：知识重构与抽象模型；智能环境；实体域；网络化实体；虚拟实体 中图分类号：TP391文献标志码：A 文章编号：1671—5489(2013)05一0899—05 the Process0f Worldin FormalizingMOdeling Physical EnVironments Intelligent WANG Nanl’2’3，SUNShan—wul“，CHEN Jianl (1．Ln60，口￡o，≯o，Logi5矗c5f以d“5t，了Eco咒o，咒y口行dJ捍fP比igPn￡Logf靠zfs，I，i￡i咒Uhit孵，百i￡yo，Fi咒口挖cP 口nd．E1fono，挖ifs，C_lln竹gc^”卵130117，C流i竹口；2．CoZZegP o，^哇a以ng已优g竹￡SciP72f已n砣dj，d白r7咒n￡io咒E咒gi咒PPri竹g， n挖d J垅行mi础叻o，Fi，z伽fPEcD”o仇ic5，吼彻gc^聊130117，吼i竹口； 3．(10ZZPgPo厂Co，咒，雄“行if口￡io刀口竹dE咒gi咒g已ri咒g，．，i￡i种Uhit肥，百i￡y，C^n靠gc^乱咒130012，(^i咒n) totheattributesandbehaviorcharacteroftheentities the Abstraot：According composingintelligent world the oftheKRA physical leYel broughtbypervasivecomputing，perception (knowledge and SaittaandZuckerto the abstraction)mo