A framework for context-aware home-health monitoring

Modeling and verifying context-aware non-monotonic reasoning agents

“…In the literature, various techniques have been proposed to develop context-aware systems, including rule-based techniques [10], [3], [11]. In rule-based techniques, a context-aware system composed of a set of rule-based agents, and firing of rules that infer new contexts determine context changes and represent overall behavior of the system.…”

“…There has been considerable work in context-aware computing literature focusing on various domains including health care [24], [25], [3] just to mention but a few. Much of this work concentrate on representing and reasoning about contexts.…”

“…Context-aware computing systems have been emerging as anticipated solutions to many social complex problems, including e.g., health care [1], [2], [3]. A system is said to be context-aware if it can extract, interpret, and is able to adapt its behavior to the current context of use [4].…”

Formal Approaches to Modelling and Verifying Resource-bounded Agents-state of the Art and Future Prospects

“…In recent years much research in pervasive computing has been focused on incorporation of context-awareness features into pervasive applications. There is an extensive body of work in adapting the Semantic Web technologies to model context-aware systems [23][24][25]. In the pursuit of making context-aware system much more useful we need to make its various devises communicate with each other and with the surrounding environment in a cooperative manner.…”

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

“…The formal context modeling and reasoning about context is one of the fundamental research areas in context-aware computing. In the literature, various context modeling and reasoning approaches have been proposed, including ontology and rule-based approach [3][4][5]. In our previous work [4,5], we have developed formal logical frameworks and shown how context-aware systems can be modeled as multi-agent reasoning agents.…”