Abstract
Ambient agents react on humans on the basis of their information obtained by sensoring and their knowledge about human functioning. Appropriate types of reactions depend on in how far an ambient agent understands the human. On the one hand, 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. On the other hand, given such a model representation, the agent needs reasoning methods to derive conclusions from the model and the information available by sensoring. This paper presents a number of such model-based reasoning methods. They have been formally specified in an executable temporal format, which allows for simulation of reasoning traces and automated verification in a dedicated software environment. A number of such simulation experiments and their formal analysis are described.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aarts, E., Collier, R.W., van Loenen, E., de Ruyter, B. (eds.): EUSAI 2003. LNCS, vol. 2875, p. 432. Springer, Heidelberg (2003)
Aarts, E., Harwig, R., Schuurmans, M.: Ambient Intelligence. In: Denning, P. (ed.) The Invisible Future, pp. 235–250. McGraw Hill, New York (2001)
Abdennadher, S., Christiansen, H.: An Experimental CLP Platform for Integrity Constraints and Abduction, In: Fourth International Conference on Flexible Query Answering Systems, FQAS 2000, Warsaw, Poland (2000)
Augusto, J., Nugent, C.: The use of temporal reasoning and management of complex events in smart homes. In: de Mantaras, R.L., Saitta, L. (eds.) Proceedings of European Conference on Artificial Intelligence (ECAI 2004), August 22-27, 2004, pp. 778–782. IOS Press, Amsterdam, The Netherlands (2004)
Bosse, T., Delfos, M.F., Jonker, C.M., Treur, J.: Analysis of Adaptive Dynamical Systems for Eating Regulation Disorders. Simulation Journal (Transactions of the Society for Modelling and Simulation) 82, 159–171 (2006)
Bosse, T., Gerritsen, C., Treur, J.: Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath. In: Shi, Y., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2007. LNCS, vol. 4488, pp. 888–895. Springer, Heidelberg (2007)
Bosse, T., Jonker, C.M., Meij, L., van der Sharpanskykh, A., Treur, J.: Specification and Verification of Dynamics in Cognitive Agent Models. In: Nishida, T., et al. (eds.) Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT 2006, pp. 247–254. IEEE Computer Society Press, Los Alamitos (2006)
Bosse, T., Jonker, C.M., Meij, L., van der Treur, J.: A Language and Environment for Analysis of Dynamics by Simulation. International Journal of Artificial Intelligence Tools 16, 435–464 (2007)
Bosse, T., Sharpanskykh, A., Treur, J.: Integrating Agent Models and Dynamical Systems. In: Baldoni, M., Son, T.C., Riemsdijk, M.B., van Winikoff, M. (eds.) Declarative Agent Languages and Technologies V, Proceedings of the Fifth International Workshop on Declarative Agent Languages and Technologies, DALT 2007. LNCS (LNAI), vol. 4897, pp. 50–68. Springer Verlag, Heidelberg (2008)
Bosse, T., Treur, J.: Higher-Order Potentialities and their Reducers: A Philosophical Foundation Unifying Dynamic Modelling Methods. In: Veloso, M.M. (ed.) Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI 2007, pp. 262–267. AAAI Press, Menlo Park (2007)
Brazier, F.M.T., Jonker, C.M., Treur, J.: Compositional Design and Reuse of a Generic Agent Model. Applied Artificial Intelligence Journal 14, 491–538 (2000)
Endriss, U., Mancarella, P., Sadri, F., Terreni, G., Toni, F.: Abductive logic programming with ciff: Implementation and applications. In: Proceedings of the Convegno Italiano di Logica Computazionale CILC-2004, University of Parma (2004)
Engelfriet, J., Jonker, C.M., Treur, J.: Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. Journal of Logic, Language and Information 11, 195–225 (2002)
Engelfriet, J., Treur, J.: Specification of Nonmonotonic Reasoning. Journal of Applied Non-Classical Logics 10, 7–27 (2000)
Green, D.J.: Realtime Compliance Management Using a Wireless Realtime Pillbottle - A Report on the Pilot Study of SIMPILL. In: Proc. of the International Conference for eHealth, Telemedicine and Health, Med-e-Tel 2005, Luxemburg (2005)
Gross, J.J. (ed.): Handbook of emotion regulation. Guilford Press, New York (2007)
Josephson, J.R., Josephson, S.G. (eds.): Abductive Inference: Computation, Philosophy, Technology. Cambridge University Press, New York (1996)
Riva, G., Vatalaro, F., Davide, F., Alcañiz, M. (eds.): Ambient Intelligence. IOS Press, Amsterdam (2005)
Stathis, K., Toni, F.: Ambient Intelligence Using KGP Agents. In: Markopoulos, P., Eggen, B., Aarts, E., Crowley, J.L. (eds.) EUSAI 2004. LNCS, vol. 3295, pp. 351–362. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bosse, T., Both, F., Gerritsen, C., Hoogendoorn, M., Treur, J. (2008). Model-Based Reasoning Methods within an Ambient Intelligent Agent Model. In: Mühlhäuser, M., Ferscha, A., Aitenbichler, E. (eds) Constructing Ambient Intelligence. AmI 2007. Communications in Computer and Information Science, vol 11. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85379-4_40
Download citation
DOI: https://doi.org/10.1007/978-3-540-85379-4_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-85378-7
Online ISBN: 978-3-540-85379-4
eBook Packages: Computer ScienceComputer Science (R0)