作者：汶博; 齐晓飞; 吴长枝; 张帆位置地图情境推理规则形式化表达模板
摘要：情境在移动位置服务领域起到融合多源时空数据、模拟地图使用情形及获取用户空间需求的作用。根据作者早期建立的位置地图情境模型，本文基于活动理论构建了位置地图情境三层推理规则，重点描述其基本原理与方法；通过形式化表达将情境推理的结果与位置地图表达联系起来，形成三层推理规则的解析与运行流程；以用户去机场登机为例，假设2种不同情形，验证5种情境事例。实验结果表明，本文的情境推理方法简洁、可操作性强，为进一步研究智能化地图服务提供参考和借鉴。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
