基于情境演算理论的情境服务研究  

Research on the Situation-Dependent Services Based on Situation Calculus

作　　者：曾伟[1] 丁潇君[2] 

机构地区：[1]华中科技大学系统工程研究所,湖北武汉430074 [2]东京工业大学工业工程与管理系

出　　处：《计算机工程与科学》2006年第10期98-100,123,共4页Computer Engineering & Science

摘　　要：本文针对一个与移动服务相关的概念即基于情境的移动服务(简称情境服务)展开研究。首先对情境服务及其相关研究进行了说明,然后提出了一个基于情境演算理论和高级逻辑程序语言Golog的情境服务平台。该平台能够方便地嵌入各种情境服务,并且能够方便地将用户的偏好约束集成到逻辑服务程序中。本文给出了一个情境服务原型系统示例,并在最后提出了几个今后值得继续研究的方向。In the paper, a mobile services-related concept of situation-dependent mobile service （SDS） is studied. After introducing the situation-dependent mobile services and related research, a SDS framework based on situation calculus and Golog, which allows numerous mobile services to be easily embedded in it, is proposed. Besides the users＇ constraints and preferences can be easily integrated in the high-level logic services programming. This framework and high-level logic programming are illustrated with a SDS prototype system. Finally, several research directions are proposed.

关 键 词：情境服务 情境演算 逻辑程序 Golog 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]