Research on Situation Dependent Services Using Model-Based Programming

In the paper, a mobile services related concept, situation dependent mobile services (SDS), is focused on. After introducing SDS and related researches, an SDS platform based on situation calculus and high level logic language Golog is proposed, which allows various mobile services to be easily embedded in. Model based programs that capture procedural knowledge of SDS are realized by exploiting logic programming language Golog. The advantage of seamless integration of programming and planning is taken to generate personalized situation dependent services. An illustration of SDS prototype system is given in the paper. Finally, several research directions are proposed.