A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems

Abstract

Context-aware computing is a mobile computing paradigm that helps designing and implementing next generation smart applications, where personalized devices interact with users in smart environments. Development of such applications is inherently complex due to these applications adapt to changing contextual information and they often run on resource-bounded devices. Most of the existing context-aware development frameworks are centralized, adopt client-server architecture, and do not consider resource limitations of context-aware devices. This paper presents a systematic framework to modelling and implementation of resource-bounded multi-agent context-aware systems on Android devices. The proposed framework makes use of semantic technologies for context modelling and reasoning about resource-bounded context-aware agents, Android powered smartphones as development platform, a suitable communication model and declarative rule-based programming as a preferred development language.

Modeling and Reasoning about Preference-Based Context-Aware Agents over Heterogeneous Knowledge Sources

“…It is explained in more detail in the following. To incorporate the preference, an extra preference manager layer has been added to the actual framework presented in [6], while keeping the rest of the core system intact. The general idea of the preference is to create a subset of rules based on certain preferences defined by the user, doing so will make the process execute faster as the inference engine only needs to go through selected rules instead of the whole rule base.…”

“…The PSG in reality looks for the CS indicator in each rule and select those rules required by the user in terms of preferences provided. The whole system still works as described in [6], however the rules in memory are actually replaced with the preference set.…”

“…This is because the code will remain the same for the same set of external facts and COI. These algorithms have been developed to incorporate the preferences and the whole system works as described in [6]. In this work, since a context-aware system is modeled as a multi-agent system, the agents in the system interact with each other while achieving a goal.…”

A Preference-Based Application Framework for Resource-Bounded Context-Aware Agents

“…The resources include the time, memory, and communication bandwidth required by the context-aware devices or agents to achieve a goal. In recent work [11][12][13], Rakib et al have developed formal logical frameworks showing how context-aware systems can be modelled as resource-bounded multi-agent reasoning agents. In this paper, we extend and enhance our previous work [12,13] by customizing user preferences to enable the personalization of resource-bounded context-aware applications.…”

“…In Section 2, we present our context-aware system modeling framework. In Section 3, we present the design and implementation components of a context-aware user preference framework, which extends the existing framework [13] to allow personalized services. In Section 4, we present a system specification, sensor data acquisition, and discuss the results of an experiment, and conclude in Section 5.…”