Skip to Main content Skip to Navigation
Book sections

Logical modeling of emotions for Ambient Intelligence

Carole Adam 1 Benoit Gaudou 2 Dominique Longin 3, 4 Emiliano Lorini 3, 4
LIG - Laboratoire d'Informatique de Grenoble, RMIT University - Royal Melbourne Institute of Technology University
3 IRIT-LILaC - Logique, Interaction, Langue et Calcul
IRIT - Institut de recherche en informatique de Toulouse
Abstract : Ambient Intelligence (AmI) is the art of designing intelligent and user-focused environments. It is thus of great importance to take human factors into account. In this chapter we especially focus on emotions, that have been proved to be essential in human reasoning and interaction. To this end, we assume that we can take advantage of the results obtained in Artificial Intelligence about the formal modeling of emotions. This chapter specifically aims at showing the interest of logic as a tool to design agents endowed with emotional abilities useful for Ambient Intelligence applications. In particular, we show that modal logics allow the representation of the mental attitudes involved in emotions such as beliefs, goals or ideals. Moreover, we illustrate how modal logics can be used to represent complex emotions (also called self-conscious emotions) involving elaborated forms of reasoning, such as self-attribution of responsibility and counterfactual reasoning. Examples of complex emotions are regret and guilt. We illustrate our logical approach by formalizing some case studies concerning an intelligent house taking care of its inhabitants.
Document type :
Book sections
Complete list of metadata
Contributor : Sylvie Pesty Connect in order to contact the contributor
Submitted on : Monday, February 24, 2014 - 1:55:45 PM
Last modification on : Friday, October 22, 2021 - 3:12:46 AM



Carole Adam, Benoit Gaudou, Dominique Longin, Emiliano Lorini. Logical modeling of emotions for Ambient Intelligence. Fulvio Mastrogiovanni and Nak-Young Chong. Handbook of Research on Ambient Intelligence: Trends and Perspectives, IGI Global Publisher, 2011, ⟨10.4018/978-1-61692-857-5.ch007⟩. ⟨hal-00950876⟩



Record views