Model-Based Reasoning Methods within an Ambient Intelligent Agent Model

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 all 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.