Uncertain information management for ADL monitoring in smart homes.

Smart Homes offer improved living conditions and levels of independence for the elderly population who require support with both physical and cognitive functions. Sensor technology development and communication networking have been well explored within the area of smart living environments to meet the demands for ageing in place. In contrast, information management still faces a challenge to be practically sound. In our current research we deploy the Dempster-Shafer theory of evidence to represent and reason with uncertain sensor data along with revision and merging techniques to resolve inconsistencies among information from different sources. We present a general framework for sensor information fusion and knowledge revision/merging especially for monitoring activities of daily living in a smart home.

[1]  Didier Dubois,et al.  Belief Revision and Updates in Numerical Formalisms: An Overview, with new Results for the Possibilistic Framework , 1993, IJCAI.

[2]  Odile Papini,et al.  Revision of Partially Ordered Information: Axiomatization, Semantics and Iteration , 2005, IJCAI.

[3]  Wolfgang Spohn,et al.  Ordinal Conditional Functions: A Dynamic Theory of Epistemic States , 1988 .

[4]  Hirofumi Katsuno,et al.  Propositional Knowledge Base Revision and Minimal Change , 1991, Artif. Intell..

[5]  Jérôme Lang,et al.  From Knowledge-based Programs to Graded Belief-based Programs, Part I: On-line Reasoning* , 2004, Synthese.

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

[7]  D. M. Hutton,et al.  Smart Environments: Technology, Protocols and Applications , 2005 .

[8]  Didier Dubois,et al.  Iterated Revision as Prioritized Merging , 2006, KR.

[9]  Joseph Y. Halpern,et al.  Plausibility Measures: A User's Guide , 1995, UAI.

[10]  Guilin Qi,et al.  Merging Stratified Knowledge Bases under Constraints , 2006, AAAI.

[11]  Michael C. Mozer,et al.  Lessons from an Adaptive Home , 2005 .

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

[13]  Thomas Andreas Meyer,et al.  Merging Epistemic States , 2000, PRICAI.

[14]  Michael F. McTear,et al.  An Extended Framework for Evidential Reasoning Systems , 1993, Int. J. Pattern Recognit. Artif. Intell..

[15]  William Harper,et al.  Causation in decision, belief change, and statistics , 1988 .

[16]  Martha E. Pollack,et al.  Intelligent Technology for an Aging Population: The Use of AI to Assist Elders with Cognitive Impairment , 2005, AI Mag..

[17]  Diane J. Cook,et al.  How smart are our environments? An updated look at the state of the art , 2007, Pervasive Mob. Comput..

[18]  Sébastien Konieczny,et al.  On the Logic of Merging , 1998, KR.

[19]  Hiroshi Tomita,et al.  Book Review / Erratum , 2006, Ophthalmologica.

[20]  Richard Booth,et al.  Admissible and Restrained Revision , 2006, J. Artif. Intell. Res..

[21]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[22]  Maurice Pagnucco,et al.  Dynamic belief revision operators , 2003, Artif. Intell..

[23]  John D. Lowrance,et al.  A Framework for Evidential-Reasoning Systems , 1990, AAAI.

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

[25]  R. Bucks,et al.  Assessment of activities of daily living in dementia: development of the Bristol Activities of Daily Living Scale. , 1996, Age and ageing.

[26]  Dimitar Filev,et al.  On the concept of immediate probabilities , 1995, Int. J. Intell. Syst..

[27]  Sally McClean,et al.  Using evidence theory for the integration of distributed databases , 1997, Int. J. Intell. Syst..

[28]  Paolo Fiorini,et al.  Editorial Home Automation as a Means of Independent Living , 2008, IEEE Trans Autom. Sci. Eng..

[29]  Thomas Andreas Meyer,et al.  Social Choice, Merging, and Elections , 2001, ECSQARU.

[30]  Weiru Liu,et al.  A General Model for Epistemic State Revision using Plausibility Measures , 2008, ECAI.

[31]  Joseph Y. Halpern.  Reasoning about uncertainty , 2003 .

[32]  Context-Aware Computing,et al.  Inferring Activities from Interactions with Objects , 2004 .

[33]  Gerhard Brewka,et al.  A rank based description language for qualitative preferences , 2004, NMR.

[34]  Didier Dubois,et al.  Inconsistency Management and Prioritized Syntax-Based Entailment , 1993, IJCAI.

[35]  C. Nugent,et al.  Experiences in the development of a Smart Lab , 2009 .

[36]  Weiru Liu,et al.  Analyzing the degree of conflict among belief functions , 2006, Artif. Intell..

[37]  J. Pearl,et al.  On the Logic of Iterated Belief Revision , 1994, Artif. Intell..

[38]  Xin Hong.  Heuristic knowledge representation and evidence combination parallelization , 2001 .

[39]  Riichiro Mizoguchi,et al.  PRICAI 2000 Topics in Artificial Intelligence , 2000, Lecture Notes in Computer Science.

[40]  Jun Hong,et al.  An extended framework for evidential reasoning systems : Searching, reasoning, constraints satisfaction for problem solving , 1993 .

[41]  Michael Thielscher,et al.  Iterated Belief Revision, Revised , 2005, IJCAI.