摘要

本文针对一个与移动服务相关的概念即基于情境的移动服务(简称情境服务)展开研究。首先对情境服务及其相关研究进行了说明,然后提出了一个基于情境演算理论和高级逻辑程序语言Golog的情境服务平台。该平台能够方便地嵌入各种情境服务,并且能够方便地将用户的偏好约束集成到逻辑服务程序中。本文给出了一个情境服务原型系统示例,并在最后提出了几个今后值得继续研究的方向。

  • 单位
    东京工业大学