Berlin ; Heidelberg : Springer
InMühlhäuser, M.; Ferscha, A.; Aitenbichler, E. (ed.), AmI 2007: Constructing Ambient Intelligence, Revised Papers, pp. 352-370
AmI 2007 Workshops Darmstadt, Germany, November 7-10, 2007
Article in monograph or in proceedings
Display more detailsDisplay less details
SW OZ BSI CW
Mühlhäuser, M.; Ferscha, A.; Aitenbichler, E. (ed.), AmI 2007: Constructing Ambient Intelligence, Revised Papers
SubjectCommunication and Media
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 item appears in the following Collection(s)
- Non RU Publications 
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.