基于谓词检测方法的上下文感知案例研究

作     者：方超 杨怡玲 黄宇 FANG Chao;YANG Yiling;HUANG Yu

作者机构：计算机软件新技术国家重点实验室(南京大学)南京210046 南京大学计算机科学与技术系南京210046 

出 版 物：《计算机应用》 (journal of Computer Applications)

年 卷 期：2013年第33卷第12期

页      面：3363-3367页

核心收录：

学科分类：08[工学] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金资助项目(61272047) 

主　　题：上下文感知 谓词检测 快照谓词 序列谓词 

摘      要：当前,开发灵活的适应环境变化的上下文感知应用较为复杂。在上下文感知应用开发过程中,很多未知情况无法事先被充分考虑到,实际的开发又需要处理很多意外情形,因此有效地表示和处理上下文尤为重要。谓词检测作为实现上下文感知的重要方法之一,能够有效对上下文信息进行建模,但在实际应用中对于真实物理设备的支持如何在很大程度上仍然是未知的。为了应对以上问题,通过构建一个简单的物理场景,将谓词检测方法应用于真实的机器小车上,支持其在一个既定轨道上完成运行任务。在该场景下对原始的上下文环境进行建模,将环境特性逐步规约成特定的快照谓词和序列谓词,并在案例研究中,对规约化的谓词进行检测,将谓词检测应用于真实的机器小车实验上。实验分析的结果表明,谓词检测的方法能有效检测小车的上下文特性并成功支撑小车完成既定的行走目标。