Extended Dempster-Shafer Theory in Context Reasoning for Ubiquitous Computing Environments

Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wireless connectivity and resource constraints. While many context reasoning schemes have been proposed to assist ubiquitous applications, these schemes often suffer from the assumption that the contexts are complete and precise. The main challenge for context reasoning is how to interpret and infer contexts from existing contexts that are imprecise and incomplete. To this end, we propose the DSCR× approach — extended Dempster-Shafer theory for Context Reasoning, which applies Dempster-Shafer theory to ubiquitous computing environments by following a new context-aware architecture. DSCR× solves the fundamental problem in Dempster-Shafer theory – intensive computation through evidence selection strategy. This strategy takes advantage of the k−l algorithm to select evidence with the highest beliefs, which considerably reduces the computation overhead. The proposed approach is evaluated through extensive experiments. The results show that DSCR× is appropriate to reason contexts from incomplete and imprecise contexts in ubiquitous computing environments.

[1]  Gregory F. Cooper,et al.  The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks , 1990, Artif. Intell..

[2]  Minos N. Garofalakis,et al.  Adaptive cleaning for RFID data streams , 2006, VLDB.

[3]  Roy H. Campbell,et al.  Reasoning about Uncertain Contexts in Pervasive Computing Environments , 2004, IEEE Pervasive Comput..

[4]  Yunhao Liu,et al.  Robust and Efficient Aggregate Query Processing in Wireless Sensor Networks , 2008, Mob. Networks Appl..

[5]  Marco Mamei,et al.  Macro Programming through Bayesian Networks: Distributed Inference and Anomaly Detection , 2007, Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'07).

[6]  Arthur P. Dempster,et al.  A Generalization of Bayesian Inference , 1968, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[7]  Roy H. Campbell,et al.  An infrastructure for context-awareness based on first order logic , 2003, Personal and Ubiquitous Computing.

[8]  Hsien-Chou Liao,et al.  A RDF and OWL-Based Temporal Context Reasoning Model for Smart Home , 2007 .

[9]  Frans Voorbraak,et al.  A Computationally Efficient Approximation of Dempster-Shafer Theory , 1988, Int. J. Man Mach. Stud..

[10]  Dmitri V. Kalashnikov,et al.  Toward Managing Uncertain Spatial Information for Situational Awareness Applications , 2008, IEEE Transactions on Knowledge and Data Engineering.

[11]  Judy Kay,et al.  ONCOR: ontology- and evidence-based context reasoner , 2007, IUI '07.

[12]  Homayoun Seraji,et al.  A Multisensor Decision Fusion System for Terrain Safety Assessment , 2009, IEEE Transactions on Robotics.

[13]  Sally I. McClean,et al.  Aggregation of Imprecise and Uncertain Information in Databases , 2001, IEEE Trans. Knowl. Data Eng..

[14]  Thierry Denoeux,et al.  Refined modeling of sensor reliability in the belief function framework using contextual discounting , 2008, Inf. Fusion.

[15]  Shing-Chi Cheung,et al.  Inconsistency detection and resolution for context-aware middleware support , 2005, ESEC/FSE-13.

[16]  Tao Gu,et al.  Ontology based context modeling and reasoning using OWL , 2004, IEEE Annual Conference on Pervasive Computing and Communications Workshops, 2004. Proceedings of the Second.

[17]  Shing-Chi Cheung,et al.  Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications , 2008, 2008 The 28th International Conference on Distributed Computing Systems.

[18]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[19]  Mohammad H. Mahoor,et al.  A Multimodal Approach for Face Modeling and Recognition , 2008, IEEE Transactions on Information Forensics and Security.

[20]  Pekka Orponen,et al.  Dempster's Rule of Combination is #P-Complete , 1990, Artif. Intell..

[21]  R. Yager On the dempster-shafer framework and new combination rules , 1987, Inf. Sci..

[22]  Chris D. Nugent,et al.  Evidential fusion of sensor data for activity recognition in smart homes , 2009, Pervasive Mob. Comput..

[23]  Philippe Smets,et al.  The Combination of Evidence in the Transferable Belief Model , 1990, IEEE Trans. Pattern Anal. Mach. Intell..

[24]  Ronald R. Yager,et al.  Classic Works of the Dempster-Shafer Theory of Belief Functions: An Introduction , 2008, Classic Works of the Dempster-Shafer Theory of Belief Functions.

[25]  Guillermo Ricardo Simari,et al.  Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification , 2008, Int. J. Approx. Reason..