I am interested in formal models of interaction in a multidisciplinary perspective through the logical formalization of cognitive agents. These agents are characterized by their mental states (beliefs, desires, goals, intention, internalized norms, emotions, etc.). They can perform actions (physical or linguistic) and be a member of groups.
These researches focus at this time on the integration of a theory of mental states in multi-agent simulations, group decision-making through voting, as well as associated automatic demonstration aspects.
I am also recently interested in hybrid architectures of artificial agents, where neural networks encode knowledge that is difficult to capture using logic.