基于asp的智能空间中上下文感知问题的研究

《基于asp的智能空间中上下文感知问题的研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、中文图书分类号：TP18密级：公开UDC：004学校代码：10005硕士学位论文MASTERALDISSERTATION论文题目：基于ASP的智能空间中上下文感知问题的研究论文作者：张婷婷学科：计算机科学与技术指导教师：王洁副教授论文提交日期:2016年6月UDC：004学校代码：10005中文图书分类号：TP18学号：S201307074密级：公开北京工业大学工学硕士学位论文题目：基于ASP的智能空间中上下文感知问题的研究英文题目：ASTUDYONCONTEXT-AWAREINSMARTSPACEBASEDANSWERSETPROGRAMMING论文作者：张婷婷学科专业：计算机科学与技术研

2、究方向：计算机应用技术申请学位：工学硕士指导教师：王洁所在单位：计算机学院答辩日期：2016年6月授予学位单位：北京工业大学独创性声明本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得北京工业大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。签名：张婷婷日期：2016年6月15日关于论文使用授权的说明本人完全了解北京工业大学有关保留、使用学位论文的规定，即：学校有权保留送交论文的复印件，允许

3、论文被查阅和借阅；学校可以公布论文的全部或部分内容，可以采用影印、缩印或其他复制手段保存论文。（保密的论文在解密后应遵守此规定）签名：张婷婷日期：2016年6月15日导师签名：王洁日期：2016年6月15日摘要摘要信息技术的快速发展使计算机软件的执行效率和硬件的性能都得到了很大的提升。在当今时代，很多设备都具有计算能力与数字通信能力，而且这些设备之间可以互相交换信息和使用对方提供的功能。智能空间作为一个融合了计算、信息设备和多模态传感器的工作空间，能够实现设备间的自发交互，但其中的设备、运营商和产品领域种类多样，实现自发交互需要各个参与者之间建立一个共同的标准。因此，相关研究学者研发了Sma

4、rt-M3平台用于实现智能空间中的自发交互操作，完成设备间信息和服务的共享与存取。在此基础上，VesaLuukkala等学者为了提高空间的推理能力，将回答集程序ASP与Smart-M3平台进行了整合，采用固定优先关系的方法解决了智能空间中的服务决策问题。但是没有考虑用户上下文信息与环境信息两个影响因素，导致在服务推荐时往往不能满足用户的真实需求。针对这种问题，本文对智能空间中的上下文感知问题进行了比较深入的研究，开展了以下两个方面的工作：(1)针对现阶段采用固定优先关系的方法解决空间中服务决策问题的局限性，本文提出了一种基于回答集程序的智能空间中上下文感知框架，旨在提高空间的动态推理能力。该

5、框架首先建立了一种通用的上下文本体模型，并设计了上下文推理结构；然后定义了上下文推理规则，在规则中利用缺省决策理论动态决策上下文服务的优先关系，与空间中的上下文信息一起组成回答集程序，该程序的回答集对应的是当前上下文信息动态推理的结果。最后，通过引入一个应用实例说明了该框架在具体场景中能有效地完成上下文动态推理，实现了智能空间中具有上下文感知的动态服务决策。(2)进一步的，由于上下文推理过程中使用的原始信息大多来源于空间的物理设备，不可避免的存在信息更新不及时或信息丢失等问题，导致上下文信息出现不一致的情况，从而使推理过程无法进行。目前大多数的上下文不一致检测方法存在着建模复杂的缺点。为了避

6、免这种问题，本文提出了基于元程序的方法检测上下文信息中存在的不一致。首先，使用元程序构建上下文不一致的检测程序，然后使用回答集求解器Smodels求解该程序的回答集，实现上下文信息不一致的自动检测；最后，对检测到的不一致信息执行消除操作策略。这样便解决了上下文信息的不一致性，从而保证上下文推理算法的正确执行。关键词：回答集程序；智能空间；上下文感知；缺省规则；上下文不一致性-I-AbstractAbstractRapiddevelopmentofinformationtechnologymakestheexecutionefficiencyofcomputersoftwareandperfo

7、rmanceofhardwareimprovedgreatly.Nowadays,manytypesofequipmenthavecomputingcapabilityanddigitalcommunicationcapability.Furthermore,informationcanbeexchangedmutuallyandfunctionprovidedbycounterpartycanbeusedb