Monash University
tr-2004-158-full.pdf (350.01 kB)

Representing and Reasoning with Situations for Context-Aware Pervasive Computing: a Logic Programming Perspective

Download (350.01 kB)
posted on 2022-08-29, 04:56 authored by S W Loke
Context-aware pervasive systems are emerging as an important class of applications. We present a declarative approach to building context-aware pervasive systems, and introduce the notion of the situation program which highlights the primacy of the situation abstraction for building context-aware pervasive systems. We show how to manipulate situation programs using meta-programming within an extension of the Prolog logic programming language which we call LogicCAP. Such meta-reasoning enables complex situations to be described in terms of other situations. We also discuss how the design of situation programs can affect the properties of a context-aware system. The approach encourages a high-level of abstraction for representing and reasoning with situations, and supports building context-aware systems incrementally by providing modularity and separation of concerns.


Technical report number


Year of publication