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 [J].

Bosse, T ;

Delfos, MF ;

Jonker, CM ;

Treur, 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 [J].

Bosse, Tibor ;

Jonker, Catholijn M. ;

van der Meij, Lourens ;

Sharpanskykh, Alexei ;

Treur, Jan .

2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Proceedings, 2006, :247-254

[10]

Bosse T, 2007, LECT NOTES COMPUT SC, V4488, P888

← 1 2 3 →