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

Knowledge-Based Systems

Volumn 27, Issue , 2012, Pages 190-210

  Bosse, Tibor ^a   Both, Fiemke ^a   Gerritsen, Charlotte ^a   Hoogendoorn, Mark ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

Agent based Ambient Intelligence applications; Default logic; Formal analysis; Model based reasoning; Simulation

Indexed keywords

AMBIENT INTELLIGENCE; DEFAULT LOGIC; FORMAL ANALYSIS; MODEL-BASED REASONING; SIMULATION;

ARTIFICIAL INTELLIGENCE; AUTOMATA THEORY; COMPUTER SOFTWARE; FORMAL METHODS; PHYSIOLOGICAL MODELS; VERIFICATION;

HEURISTIC METHODS;

EID: 84855970948     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2011.09.011     Document Type: Article

References (58)

1. E. Aarts, R. Collier, E. van Loenen, and B. de Ruyter Ambient Intelligence. Proc. of the First European Symposium, EUSAI 2003 Lecture Notes in Computer Science vol. 2875 2003 Springer Verlag 432
2. E. Aarts, R. Harwig, and M. Schuurmans Ambient Intelligence P. Denning, The Invisible Future 2001 McGraw Hill New York 235 250
3. S. Abdennadher, H. Christiansen, An experimental CLP platform for integrity constraints and abduction, in: Fourth International Conference on Flexible Query Answering Systems, FQAS 2000, Warsaw, Poland, 2000.
4. D.R. Anderson Model Based Inference in the Life Sciences: A Primer on Evidence 2008 Springer New York
5. J.R. Anderson, and C. Lebiere The Atomic Components of Thought 1998 Lawrence Erlbaum Associates Mahwah, NJ
6. J. Augusto, and C. Nugent The use of temporal reasoning and management of complex events in smart homes R.L. de Mantaras, L. Saitta, Proceedings of European Conference on Artificial Intelligence (ECAI 2004) 2004 IOS Press Amsterdam, The Netherlands 778 782 August, 22-27
7. A. Ballim, and Y. Wilks Beliefs, stereotypes and dynamic agent modeling User Modeling and User-Adapted Interaction 1 1991 33 65
8. S. Baron-Cohen Mindblindness 1995 MIT Press
9. T. Bosse, F. Both, C. Gerritsen, M. Hoogendoorn, J. Treur, Model-based reasoning methods within an ambient intelligent agent model, in: M. Mühlhäuser, A. Ferscha, E. Aitenbichler (Eds.), Proceedings of the First International Workshop on Human Aspects in Ambient Intelligence. Constructing Ambient Intelligence: AmI-07 Workshops Proceedings. Communications in Computer and Information Science (CCIS), vol. 11, Springer Verlag, 2008, pp. 352-370.
10. T. Bosse, F. Both, M. Hoogendoorn, S.W. Jaffry, R. Lambalgen, R. van, Oorburg, R. Sharpanskykh, J. Treur, M. deVos, Design and validation of a model for a human's functional state and performance, International Journal of Modeling, Simulation, and Scientific Computing, in press. (Extension of: T. Bosse, F. Both, R. van Lambalgen, J. Treur, An agent model for a human's functional state and performance, in: Proceedings of the 8th IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT'08, IEEE Computer Society Press, 2008, pp. 302-307.)
11. T. Bosse, M.F. Delfos, C.M. Jonker, and J. Treur Analysis of adaptive dynamical systems for eating regulation disorders Simulation Journal (Transactions of the Society for Modelling and Simulation) 82 2006 159 171
12. T. Bosse, C. Gerritsen, J. Treur, Integration of biological, psychological and social aspects in agent-based simulation of a violent psychopath, in: Y. Shi, G.D. Albada, J. van Dongarra, P.M.A. Sloot (Eds.), Computational Science II, Proceedings of the Seventh International Conference on Computational Science, ICCS'07, Part II. Lecture Notes in Computer Science, vol. 4488, Springer Verlag, 2007, pp. 888-895.
13. T. Bosse, M. Hoogendoorn, M.C.A. Klein, and J. Treur A Component-Based Agent Model for Assessment of Driving Behaviour F.E. Sandnes, M. Burgess, C. Rong, Proceedings of the Fifth International Conference on Ubiquitous Intelligence and Computing, UIC'08 Lecture Notes in Computer Science vol. 5061 2008 Springer Verlag 229 243
14. T. Bosse, C.M. Jonker, L. Meij, L. van der, A. Sharpanskykh, J. Treur, Specification and verification of dynamics in agent models, International Journal of Cooperative Information Systems 18 (2009) 167-193. (Shorter version in: T. Nishida et al. (Eds.), Proceedings of the Sixth International Conference on Intelligent Agent Technology, IAT'06, IEEE Computer Society Press, 2006, pp. 247-254.)
15. T. Bosse, C.M. Jonker, L. van der Meij, and J. Treur A language and environment for analysis of dynamics by simulation International Journal of Artificial Intelligence Tools 16 2007 435 464
16. T. Bosse, J. Treur, A philosophical foundation for unification of dynamic modelling methods based on higher-order potentialities and their reducers. Advances in Complex Systems Journal, 11 (2008) 831-860. (Shorter version in: M.M. Veloso (ed.), Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, IJCAI'07, AAAI Press, 2007, pp. 262-267.)
17. F. Both, C. Gerritsen, M. Hoogendoorn, J. Treur, Model-based default refinement of partial information within an ambient agent, in: M. Mühlhäuser, A. Ferscha, E. Aitenbichler (Eds.), Proceedings of the First International Workshop on Artificial Intelligence Methods for Ambient Intelligence, Constructing Ambient Intelligence: AmI-07 Workshops Proceedings, Communications in Computer and Information Science (CCIS), vol. 11, Springer Verlag, 2008, pp. 34-43.
18. F.M.T. Brazier, C.M. Jonker, and J. Treur Compositional design and reuse of a generic agent model Applied Artificial Intelligence Journal 14 2000 491 538
19. G. Brewka Adding priorities and specificity to default logic C. MacNish, L. Pereira, D. Pearce, Proc. of JELIA'94 LNAI vol. 838 1994 Springer Verlag 247 260
20. G. Brewka, T. Eiter, Prioritizing Default Logic: Abridged Report. Festschrift on the occasion of Prof. Dr. W. Bibel's 60th birthday, Kluwer, 1999.
21. R. Chen, Y. Hou, Z. Huang, Y. Zhang, H. Li, Framework for local ambient intelligence space: the ami-space project, in: Proceedings of the Computer Software and Applications Conference, 2007 (COMPSAC 2007), vol. 2, 24-27 July 2007, pp. 95-100.
22. M.J. Coombs, and R.T. Hartley The MGR algorithm and its application to the generation of explanations for novel events International Journal of Man-Machine Studies 27 1987 679 708
23. U. Endriss, P. Mancarella, F. Sadri, G. Terreni, F. Toni, Abductive logic programming with ciff: implementation and applications, in: Proceedings of the Convegno Italiano di Logica Computazionale CILC-2004, University of Parma, 2004.
24. J. Engelfriet, H. Herre, and J. Treur Nonmonotonic reasoning with multiple belief sets Annals of Mathematics and Artificial Intelligence 24 1998 225 248
25. J. Engelfriet, C.M. Jonker, and J. Treur Compositional verification of multi-agent systems in temporal multi-epistemic logic Journal of Logic, Language and Information 11 2002 195 225
26. J. Engelfriet, and J. Treur An interpretation of default logic in minimal temporal epistemic logic Journal of Logic, Language and Information 7 1998 369 388
27. J. Engelfriet, and J. Treur Multi-interpretation operators and approximate classification International Journal of Approximate Reasoning 32 2003 43 61
28. A. Galton Causal reasoning for alert generation in smart homes J.C. Augusto, C.D. Nugent, Designing Smart Homes LNAI vol. 4008 2006 Springer-Verlag 57 70
29. D.J. Green, Realtime compliance management using a wireless realtime pillbottle - a report on the pilot study of SIMPILL, in: Proceedings of the International Conference for eHealth, Telemedicine and Health, Med-e-Tel'05, 2005, Luxemburg, 2005.
30. J.J. Gross Handbook of Emotion Regulation 2007 Guilford Press New York
31. M. Hoogendoorn, S.W. Jaffry, and P.P. van Maanen Validation and verification of agent models for trust: independent compared to relative trust Proceedings of the 5th IFIP WG 11.11 International Conference on Trust Management (TM'11) 2011 Springer Verlag 35 50
32. M. Hoogendoorn, S.W. Jaffry, P.P. van Maanen, J. Treur, Modeling and validation of biased human trust, in: O. Boissier et al. (Ed.), Proceedings of the 11th IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT'11, IEEE Computer Society Press, 2011, pp. 256-263.
33. J.R. Josephson, and S.G. Josephson Abductive Inference: Computation, Philosophy, Technology 1996 Cambridge University Press New York
34. J. de Kleer An assumption-based TMS Artificial Intelligence 28 2 1986 127 162
35. J. de Kleer Problem solving with the ATMS Artificial Intelligence 28 2 1986 197 224
36. R. Kowalski, and M. Sergot A logic-based calculus of events New Generation Computing 4 1986 67 95
37. Y. Lee, E.S. Khorasani, S. Rahimi, B. Gupta, A generic mobile agent framework for ambient intelligence, in: Proceedings of the 2008 ACM Symposium on Applied Computing (Fortaleza, Ceara, Brazil, March 16-20, 2008), SAC'08, ACM, New York, NY, 2008, pp. 1866-1871.
38. L. Magnani, W. Carnielli, C. Pizzi, W.A. Carnielli, and P. Claudio Model-Based Reasoning in Science and Technology, Abduction, Logic, and Computational Discovery Studies in Computational Intelligence vol. 314 2010 Springer Verlag
39. V.W. Marek, J. Treur, and M. Truszczynski Representation theory for default logic Annals of Mathematics and AI 21 1997 343 358
40. V.W. Marek, and M. Truszczynski Nonmonotonic Logics 1993 Springer Verlag
41. A. Mileo, D. Merico, R. Bisiani, CyberCare: reasoning about patient's profile in home healthcare, in: Proceedings of the Symposium on "Artificial Societies for Ambient Intelligence", ASAmI'07, 2007.
42. N.J. Nersessian, and C. Patton Model-based reasoning in interdisciplinary engineering A. Meijers, Handbook of the Philosophy of Technology and Engineering Sciences 2009 Springer 678 718
43. I. Niemelä, P. Simons, T. Syrjänen, Smodels: a system for answer set programming, in: Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, USA, April 2000, 2000.
44. J. Pearl, Bayesian networks: a model of self-activated memory for evidential reasoning (UCLA Technical Report CSD-850017), in: Proceedings of the 7th Conference of the Cognitive Science Society, University of California, Irvine, CA, 1985, pp. 329-334.
45. R. Reiter A logic for default reasoning Artificial Intelligence 13 1980 81 132
46. R. Reiter Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems 2001 MIT Press Cambridge MA
47. G. Riva, F. Vatalaro, F. Davide, and M. Alcañiz Ambient Intelligence 2005 IOS Press
48. A. Schmidt Interactive context-aware systems - interacting with ambient intelligence G. Riva, F. Vatalaro, F. Davide, M. Alcañiz, Ambient Intelligence 2005 IOS Press 159 178
49. A. Schmidt, M. Beigl, and H.W. Gellersen There is more to context than location Computers and Graphics Journal 23 19 1999 893 902
50. A. Schmidt, G. Kortuem, D. Morse, A. Dey (Eds.), Situated interaction and context-aware computing, Personal and Ubiquitous Computing, vol. 5, 1, 2001, pp. 1-81.
51. A. Sharpanskykh, and J. Treur A temporal trace language for formal modelling and analysis of agent systems M. Dastani, K.V. Hindriks, J.J.Ch. Meyer, Specification and Verification of Multi-Agent Systems 2010 Springer Verlag 317 352
52. H.W. Sorenson Parameter Estimation: Principles and Problems 1980 Marcel Dekker, Inc.
53. K. Stathis, and F. Toni Ambient intelligence using KGP agents Lecture Notes in Artificial Intelligence 3295 2004 351 362
54. Y.H. Tan, and J. Treur Constructive default logic and the control of defeasible reasoning B. Neumann, Proc. ECAI'92 1992 Wiley and Sons 299 303
55. A.Y. Tawfik, and E. Neufeld Temporal reasoning and Bayesian networks Computational Intelligence 16 3 2000 349 377
56. Y. Wilks, R. Hartley, Belief ascription and model generative reasoning: joining two paradigms to a robust parser of messages, in: Proceedings of the Workshop on Speech and Natural Language, 1989, pp. 219-240.
57. Y. Zhang, Y. Hou, Z. Huang, H. Li, R. Chen, A context-aware ami system based on MAS Model, in: International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP'06), 2006, pp. 703-706.
58. .