An Agent-Based Generic Model for Human-Like Ambience

被引：5
作者：
Bosse, Tibor [1 ]
Hoogendoorn, Mark [1 ]
Klein, Michel C. A. [1 ]
Treur, Jan [1 ]
机构：
[1] Vrije Univ Amsterdam, Dept Artificial Intelligence, NL-1081 HV Amsterdam, Netherlands
来源：
CONSTRUCTING AMBIENT INTELLIGENCE | 2008年 / 11卷
关键词：
D O I：
10.1007/978-3-540-85379-4_12
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
A reusable agent-based generic model is presented for a specific class of Ambient Intelligence applications: those cases addressing human wellbeing and functioning from a human-like understanding. The model incorporates ontologies, knowledge and dynamic models from human-directed sciences such as psychology, social science, neuroscience and biomedical sciences. The model has been formally specified, and it is shown how for specific applications it can be instantiated by application-specific elements, thus providing an executable specification that can be used for prototyping. Moreover, it is shown how dynamic properties can be formally specified and verified against generated traces.
引用
收藏
页码：93 / 103
页数：11
相关论文
共 24 条
  • [1] Aarts E., 2003, LNCS, V2875, P432
  • [2] Aarts E., 2001, INVISIBLE FUTURE, P235
  • [3] [Anonymous], 1996, Design principles for interactive software
  • [4] [Anonymous], 1987, The international stance
  • [5] Modeling adaptive dynamical systems to analyze eating regulation disorders
    Bosse, T
    Delfos, MF
    Jonker, CM
    Treur, J
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2006, 82 (03): : 159 - 171
  • [6] Bosse T., 2007, P AISB 2007 WORKSH M, P335
  • [7] BOSSE T, 2007, P 8 INT WORKSH MULT, P103
  • [8] Bosse T, 2007, LECT NOTES ARTIF INT, V4565, P166
  • [9] Specification and verification of dynamics in cognitive agent models
    Bosse, Tibor
    Jonker, Catholijn M.
    van der Meij, Lourens
    Sharpanskykh, Alexei
    Treur, Jan
    [J]. 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Proceedings, 2006, : 247 - 254
  • [10] Bosse T, 2007, LECT NOTES COMPUT SC, V4488, P888
123