Artificial Intelligence
Artificial Intelligence
A logic-based calculus of events
New Generation Computing
The MDR algorithm and its application to the generation of explanations for novel events
International Journal of Man-Machine Studies - Special Issue: Cognitive Engineering in Dynamic Worlds
Constructive default logic and the control of defeasible reasoning
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
The invisible future
Representation theory for default logic
Annals of Mathematics and Artificial Intelligence
Nonmonotonic reasoning with multiple belief sets
Annals of Mathematics and Artificial Intelligence
Situated Interaction and Context-Aware Computing
Personal and Ubiquitous Computing
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
Journal of Logic, Language and Information
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Journal of Logic, Language and Information
Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday)
Adding Priorities and Specificity to Default Logic
JELIA '94 Proceedings of the European Workshop on Logics in Artificial Intelligence
HLT '89 Proceedings of the workshop on Speech and Natural Language
A Context-Aware AmI System Based on MAS Model
IIH-MSP '06 Proceedings of the 2006 International Conference on Intelligent Information Hiding and Multimedia
Specification and Verification of Dynamics in Cognitive Agent Models
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Framework for Local Ambient Intelligence Space: The AmI-Space Project
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
A generic mobile agent framework for ambient intelligence
Proceedings of the 2008 ACM symposium on Applied computing
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
A Component-Based Ambient Agent Model for Assessment of Driving Behaviour
UIC '08 Proceedings of the 5th international conference on Ubiquitous Intelligence and Computing
An Agent Model for a Human's Functional State and Performance
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Modeling and Validation of Biased Human Trust
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Causal reasoning for alert generation in smart homes
Designing Smart Homes
Hi-index | 0.00 |
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.