Modélisation logique d'agents rationnels pour l'intelligence ambiante
Résumé
In the agent community, emotional aspects receive more and more attention since they were proven to be essential for intelligent agents. Indeed, from a theoretical point of view, results from cognitive psychology and neuroscience have established the close links that exist in humans between emotions and reasoning (see Damasio’s works) or decision making. And from a practical point of view, numerous research findings show the interest of emotions in agents communicating with humans : interface agents, pedagogical agents, ... However, among the logical frameworks used to formalize these rational agents, very few integrate these emotional aspects. In this paper, we characterize some emotions, as defined in cognitive psychology by Lazarus, in a BDI (Belief, Desire, Intention) modal logic. We then validate our framework with a case study illustrating the problematic of Ambient Intelligence.
Au sein de la communauté agent, les aspects émotionnels reçoivent de plus en plus d'attention depuis qu'il a été prouvé qu'elles sont essentielles pour des agents intelligents. En effet, d'un point de vue théorique, des résultats de psychologie et neurosciences cognitives ont établi les liens étroits qui existent chez les humains entre émotions et raisonnement (voir les travaux de Damasio) ou prise de décision. Et d'un point de vue pratique, de nombreux travaux ont montré l'intérêt des émotions chez les agents devant communiquer avec des humains : agents d'interface, tuteurs virtuels... Pourtant, parmi les cadres logiques utilisés pour formaliser des "agents rationnels", très peu intègrent ces aspects émotionnels. Dans cet article, nous caractérisons certaines émotions, telles que définies en psychologie cognitive par Lazarus, dans une logique modale BDI (Belief, Desire, Intention). Nous validons ensuite notre cadre formel grâce à l'étude d'un exemple issu de la problématique de l'Intelligence Ambiante.
Origine | Fichiers produits par l'(les) auteur(s) |
---|