Methods for Model-Based Reasoning within Agent-Based Ambient Intelligence Applications

Research output: Contribution to JournalArticleAcademicpeer-review

Abstract

Within agent-based Ambient Intelligence applications agents react to humans based on information obtained by sensoring and their knowledge about human functioning. Appropriate types of reactions depend on the extent to which an agent understands the human and is able to interpret the available information (which is often incomplete, and hence multi-interpretable) in order to create a more complete internal image of the environment, including humans. 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. In addition, given such a model representation, the agent needs reasoning methods to derive conclusions from the model and interpret the (partial) information available by sensoring. This paper presents the development of a toolbox that can be used by a modeller to design Ambient Intelligence applications. This toolbox contains a number of model-based reasoning methods and approaches to control such reasoning methods. Formal specifications in an executable temporal format are offered, which allows for simulation of reasoning processes and automated verification of the resulting reasoning traces in a dedicated software environment. A number of such simulation experiments and their formal analysis are described. The main contribution of this paper is that the reasoning methods in the toolbox have the possibility to reason using both quantitative and qualitative aspects in combination with a temporal dimension, and the possibility to perform focused reasoning based upon certain heuristic information. © 2011 Elsevier B.V. All rights reserved.
LanguageEnglish
Pages190-210
JournalKnowledge-Based Systems
Volume27
DOIs
Publication statusPublished - 2012

Fingerprint

Ambient intelligence
Agent-based
Experiments
Formal specification
Functioning
Software
Partial information
Heuristics
Simulation experiment
Simulation

Cite this

@article{22e93bdbf787456e90589382fa5d8639,
title = "Methods for Model-Based Reasoning within Agent-Based Ambient Intelligence Applications",
abstract = "Within agent-based Ambient Intelligence applications agents react to humans based on information obtained by sensoring and their knowledge about human functioning. Appropriate types of reactions depend on the extent to which an agent understands the human and is able to interpret the available information (which is often incomplete, and hence multi-interpretable) in order to create a more complete internal image of the environment, including humans. 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. In addition, given such a model representation, the agent needs reasoning methods to derive conclusions from the model and interpret the (partial) information available by sensoring. This paper presents the development of a toolbox that can be used by a modeller to design Ambient Intelligence applications. This toolbox contains a number of model-based reasoning methods and approaches to control such reasoning methods. Formal specifications in an executable temporal format are offered, which allows for simulation of reasoning processes and automated verification of the resulting reasoning traces in a dedicated software environment. A number of such simulation experiments and their formal analysis are described. The main contribution of this paper is that the reasoning methods in the toolbox have the possibility to reason using both quantitative and qualitative aspects in combination with a temporal dimension, and the possibility to perform focused reasoning based upon certain heuristic information. {\circledC} 2011 Elsevier B.V. All rights reserved.",
author = "T. Bosse and F. Both and C. Gerritsen and M. Hoogendoorn and J. Treur",
year = "2012",
doi = "10.1016/j.knosys.2011.09.011",
language = "English",
volume = "27",
pages = "190--210",
journal = "Knowledge-Based Systems",
issn = "0950-7051",
publisher = "Elsevier",

}

Methods for Model-Based Reasoning within Agent-Based Ambient Intelligence Applications. / Bosse, T.; Both, F.; Gerritsen, C.; Hoogendoorn, M.; Treur, J.

In: Knowledge-Based Systems, Vol. 27, 2012, p. 190-210.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - Methods for Model-Based Reasoning within Agent-Based Ambient Intelligence Applications

AU - Bosse, T.

AU - Both, F.

AU - Gerritsen, C.

AU - Hoogendoorn, M.

AU - Treur, J.

PY - 2012

Y1 - 2012

N2 - Within agent-based Ambient Intelligence applications agents react to humans based on information obtained by sensoring and their knowledge about human functioning. Appropriate types of reactions depend on the extent to which an agent understands the human and is able to interpret the available information (which is often incomplete, and hence multi-interpretable) in order to create a more complete internal image of the environment, including humans. 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. In addition, given such a model representation, the agent needs reasoning methods to derive conclusions from the model and interpret the (partial) information available by sensoring. This paper presents the development of a toolbox that can be used by a modeller to design Ambient Intelligence applications. This toolbox contains a number of model-based reasoning methods and approaches to control such reasoning methods. Formal specifications in an executable temporal format are offered, which allows for simulation of reasoning processes and automated verification of the resulting reasoning traces in a dedicated software environment. A number of such simulation experiments and their formal analysis are described. The main contribution of this paper is that the reasoning methods in the toolbox have the possibility to reason using both quantitative and qualitative aspects in combination with a temporal dimension, and the possibility to perform focused reasoning based upon certain heuristic information. © 2011 Elsevier B.V. All rights reserved.

AB - Within agent-based Ambient Intelligence applications agents react to humans based on information obtained by sensoring and their knowledge about human functioning. Appropriate types of reactions depend on the extent to which an agent understands the human and is able to interpret the available information (which is often incomplete, and hence multi-interpretable) in order to create a more complete internal image of the environment, including humans. 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. In addition, given such a model representation, the agent needs reasoning methods to derive conclusions from the model and interpret the (partial) information available by sensoring. This paper presents the development of a toolbox that can be used by a modeller to design Ambient Intelligence applications. This toolbox contains a number of model-based reasoning methods and approaches to control such reasoning methods. Formal specifications in an executable temporal format are offered, which allows for simulation of reasoning processes and automated verification of the resulting reasoning traces in a dedicated software environment. A number of such simulation experiments and their formal analysis are described. The main contribution of this paper is that the reasoning methods in the toolbox have the possibility to reason using both quantitative and qualitative aspects in combination with a temporal dimension, and the possibility to perform focused reasoning based upon certain heuristic information. © 2011 Elsevier B.V. All rights reserved.

U2 - 10.1016/j.knosys.2011.09.011

DO - 10.1016/j.knosys.2011.09.011

M3 - Article

VL - 27

SP - 190

EP - 210

JO - Knowledge-Based Systems

T2 - Knowledge-Based Systems

JF - Knowledge-Based Systems

SN - 0950-7051

ER -