Goal-Directed Context Validation for Adaptive Ubiquitous Systems

Ubiquitous systems adaptive to their dynamic environments find their roles useful in many modern applications. Their adaptability, however, can be badly impaired if the environments are incorrectly perceived. Our earlier work has proposed a technique to evaluate the constraints that govern the consistency of perceived environmental information. This technique generates links as the evaluation result to explain how the constraints are satisfied or violated. However, the technique may generate redundant links and may not effectively utilize resources in both time and space. To address the problem, this paper presents a goal-directed technique to enhance our earlier link generation semantics. We evaluate the technique analytically, and show how the enhanced semantics helps reduce the number of generated redundant links for context validation.