Methods for model-based reasoning within agent-based Ambient Intelligence applications

Within agent-based Ambient Intelligence applications agents react to humans based on information obtained by sensoring and their knowledge about human functioning. Appropriate types of reactions depend on the extent to which an agent understands the human and is able to interpret the available information (which is often incomplete, and hence multi-interpretable) in order to create a more complete internal image of the environment, including humans. Such an understanding requires that the agent has knowledge to a certain depth about the human's physiological and mental processes in the form of an explicitly represented model of the causal and dynamic relations describing these processes. In addition, given such a model representation, the agent needs reasoning methods to derive conclusions from the model and interpret the (partial) information available by sensoring. This paper presents the development of a toolbox that can be used by a modeller to design Ambient Intelligence applications. This toolbox contains a number of model-based reasoning methods and approaches to control such reasoning methods. Formal specifications in an executable temporal format are offered, which allows for simulation of reasoning processes and automated verification of the resulting reasoning traces in a dedicated software environment. A number of such simulation experiments and their formal analysis are described. The main contribution of this paper is that the reasoning methods in the toolbox have the possibility to reason using both quantitative and qualitative aspects in combination with a temporal dimension, and the possibility to perform focused reasoning based upon certain heuristic information.

[1]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[2]  Victor W. Marek,et al.  Representation theory for default logic , 2004, Annals of Mathematics and Artificial Intelligence.

[3]  Yung-Chuan Lee,et al.  A generic mobile agent framework for ambient intelligence , 2008, SAC '08.

[4]  Roberto Refinetti,et al.  Integration of biological clocks and rhythms. , 2012, Comprehensive Physiology.

[5]  Juan Carlos Augusto,et al.  The Use of Temporal Reasoning and Management of Complex Events in Smart Homes , 2004, ECAI.

[6]  James J. Gross,et al.  Handbook of emotion regulation , 2007 .

[7]  Tibor Bosse,et al.  Specification and Verification of Dynamics in Agent Models , 2009, Int. J. Cooperative Inf. Syst..

[8]  John R. Josephson,et al.  Abductive inference : computation, philosophy, technology , 1994 .

[9]  C. Lebiere,et al.  The Atomic Components of Thought , 1998 .

[10]  A.W.M. Meijers,et al.  Philosophy of technology and engineering sciences , 2009 .

[11]  Jan Treur,et al.  A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems , 2010 .

[12]  S. Lazic,et al.  Model based Inference in the Life Sciences: a Primer on Evidence , 2011 .

[13]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[14]  Jan Treur,et al.  Nonmonotonic reasoning with multiple belief sets , 1996, Annals of Mathematics and Artificial Intelligence.

[15]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[16]  Thomas Eiter,et al.  Prioritizing Default Logic: Abridged Report , 2007 .

[17]  Tibor Bosse,et al.  A Language and Environment for Analysis of Dynamics by Simulation , 2005, Int. J. Artif. Intell. Tools.

[18]  Alex M. Andrew,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2002 .

[19]  Alessandra Mileo,et al.  CyberCare: Reasoning about Patient's Profile in Home Healthcare , 2007 .

[20]  Li Hui,et al.  Framework for Local Ambient Intelligence Space: The AmI-Space Project , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[21]  Slim Abdennadher,et al.  An Experimental CLP Platform for Integrity Constraints and Abduction , 2000, FQAS.

[22]  Ahmed Y. Tawfik,et al.  Temporal Reasoning and Bayesian Networks , 2000, Comput. Intell..

[23]  Michel C. A. Klein,et al.  A Component-Based Ambient Agent Model for Assessment of Driving Behaviour , 2008, UIC.

[24]  Francesca Toni,et al.  Ambient Intelligence Using KGP Agents , 2004, EUSAI.

[25]  Yong Zhang,et al.  A Context-Aware AmI System Based on MAS Model , 2006, 2006 International Conference on Intelligent Information Hiding and Multimedia.

[26]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[27]  V. Wiktor Marek,et al.  Nonmonotonic Logic , 1993, Artificial Intelligence.

[28]  Mark Hoogendoorn,et al.  Modeling and Validation of Biased Human Trust , 2011, 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology.

[29]  Tibor Bosse,et al.  Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath , 2007, International Conference on Computational Science.

[30]  Tibor Bosse,et al.  An Agent Model for a Human's Functional State and Performance , 2008, 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.

[31]  Yorick Wilks,et al.  Belief Ascription and Model Generative Reasoning: joining two paradigms to a robust parser of messages. , 1989, HLT.

[32]  Koen V. Hindriks,et al.  Specification and Verification of Multi-agent Systems , 2010 .

[33]  Jan Treur,et al.  Constructive Default Logic and the Control of defeasible reasoning , 1992, ECAI.

[34]  Nancy J. Nersessian,et al.  Model-Based Reasoning in Interdisciplinary Engineering , 2009 .

[35]  Albrecht Schmidt,et al.  There is more to context than location , 1999, Comput. Graph..

[36]  Ilkka Niemelä,et al.  Smodels: A System for Answer Set Programming , 2000, ArXiv.

[37]  Tibor Bosse,et al.  Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modeling Methods , 2007, IJCAI.

[38]  Roger T. Hartley,et al.  The MGR Algorithm and its Application to the Generation of Explanations for Novel Events , 1987, Int. J. Man Mach. Stud..

[39]  Tibor Bosse,et al.  Model-Based Reasoning Methods within an Ambient Intelligent Agent Model , 2007, AmI Workshops.

[40]  Naim Dahnoun,et al.  Studies in Computational Intelligence , 2013 .

[41]  Antony Galton.  Causal Reasoning for Alert Generation in Smart Homes , 2006, Designing Smart Homes.

[42]  Jan Treur,et al.  Multi-interpretation operators and approximate classification , 2003, Int. J. Approx. Reason..

[43]  Yorick Wilks,et al.  Beliefs, stereotypes and dynamic agent modeling , 1991, User Modeling and User-Adapted Interaction.

[44]  Catholijn M. Jonker,et al.  Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic , 1998, J. Log. Lang. Inf..

[45]  Diane J. Cook,et al.  Proceedings of the Eighth International Workshop on Human Aspects in Ambient Intelligence , 2007 .

[46]  Jan Treur,et al.  Model-Based Default Refinement of Partial Information within an Ambient Agent , 2007, AmI Workshops.

[47]  Albrecht Schmidt,et al.  Situated Interaction and Context-Aware Computing , 2001, Personal and Ubiquitous Computing.

[48]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[49]  Tibor Bosse,et al.  Analysis of Adaptive Dynamical Systems for Eating Regulation Disorders , 2003 .

[50]  Jan Treur,et al.  An Interpretation of Default Logic in Minimal Temporal Epistemic Logic , 1998, J. Log. Lang. Inf..

[51]  Tibor Bosse,et al.  Specification and Verification of Dynamics in Cognitive Agent Models , 2006, 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology.

[52]  Gerhard Brewka,et al.  Adding Priorities and Specificity to Default Logic , 1994, JELIA.

[53]  Harold W. Sorenson,et al.  Parameter estimation: Principles and problems , 1980 .

[54]  J. Dekleer.  An assumption-based TMS , 1986 .

[55]  Dov M. Gabbay,et al.  Proceedings of 16th European Conference on Artificial Intelligence, ECAI 2004 , 2004 .

[56]  Lorenzo Magnani,et al.  Model-Based Reasoning in Science and Technology , 2019, Studies in Applied Philosophy, Epistemology and Rational Ethics.

[57]  Emile H. L. Aarts,et al.  Ambient intelligence : first European Symposium, EUSAI 2003, Veldhoven, the Netherlands, November 3-4, 2003 : proceedings , 2003 .

[58]  Tibor Bosse,et al.  Design and Validation of a Model for a Human's Functional State and Performance , 2011, Int. J. Model. Simul. Sci. Comput..

[59]  Catholijn M. Jonker,et al.  Compositional design and reuse of a generic agent model , 2000, Appl. Artif. Intell..

[60]  Lorenzo Magnani,et al.  Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery , 2010 .

[61]  Mark Hoogendoorn,et al.  Validation and Verification of Agent Models for Trust: Independent Compared to Relative Trust , 2011, IFIPTM.

[62]  Tibor Bosse,et al.  Modeling Adaptive Dynamical Systems to Analyze Eating Regulation Disorders , 2006, Simul..

[63]  Paolo Mancarella,et al.  Abductive Logic Programming with CIFF: Implementation and Applications , 2004 .

[64]  Michel C. A. Klein,et al.  A Component-Based Agent Model for Assessment of Driving Behaviour , 2007 .

[65]  Miroslaw Truszczynski,et al.  Modal nonmonotonic logics , 1993 .

[66]  Tibor Bosse,et al.  A Philosophical Foundation for Unification of Dynamic Modeling Methods Based on Higher-Order potentialities and their Reducers , 2008, Adv. Complex Syst..