OCC's emotions: a formalization in a BDI logic

International audienceNowadays, more and more artificial agents integrate emotional abilities, for different purposes: expressivity, adaptability, believability... Designers mainly use Ortony et al.'s typology of emotions, that provides a formalization of twenty-two emotions based on psychological theories. But most of them restrain their agents to a few emotions among these twenty-two ones. In this paper we propose to extend standard BDI (belief, desire, intention) logics to account for more emotions. We believe that this enhanced expressivity is an asset for virtual agents in all their tasks. For example we will show that it allows a fine-grained adaptability for ambient intelligence systems