Middleware for Pervasive and Ad Hoc Computing

Todor Dimitrov, Fraunhofer IMS Josef Pauli, Universität Duisburg-Essen Edwin Naroska , Fraunhofer IMS Abstract: Inference and reasoning in modern AmI (Ambient Intelligence) middlewares is still a complex task. Currently no common patterns for building smart applications can be identified. This paper presents an ongoing effort to build a generic probabilistic reasoning framework for the networked homes. The framework can be utilized for designing smart agents in a systematic and unified way. The developed modeling and reasoning algorithms make an extensive use of the information about the user and the way he/she interacts with the system. To achieve this, several levels of knowledge representation are combined. Each level enriches the domain knowledge in a way that a consistent, user-adaptable probabilistic knowledge base is constructed. The facts in the knowledge base can be used to encode the logic for a specific application scenario. ACM Copyright Notice Copyright © by the Associat...

Clemens Holzmann, Johannes Kepler University Linz Abstract: This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology- rich autonomous objects, to which we refer to as artifacts. The objective of our work is to provide means for defining spatiotemporal constraints – i.e. logical combinations of spatial relations to artifacts at certain time intervals – at a high level of abstraction, and to recognize relative situations therewith. Such constraints are defined with rules that infer high-level relationships for newly recognized situations, which in turn can be used in other constraints. At any time, the history of known relationships can be queried in order to trigger predefined actions. We decided for qualitative abstractions of both spatial and temporal relationships, as they reflect the semantics of natural language terms and thus facilitate dealing with relationships at the application programming level. The core concept...