Emiliano Lorini est un chercheur en informatique, logique et intelligence artificielle. Il travaille à l'IRIT depuis 2009. Il a obtenu un doctorat en sciences cognitives de l'Université de Sienne, en Italie.
Recherche Ses recherches portent sur le développement de modèles formels et computationnels, s'appuyant sur la logique et la théorie des jeux, pour analyser le raisonnement, la prise de décision, les émotions et les interactions chez les agents humains et artificiels. Il conçoit des langages logiques pour modéliser le raisonnement épistémique, déontique, causal et stratégique. Ses travaux portent également sur les propriétés mathématiques et computationnelles de ces systèmes, notamment l'axiomatisation, la complétude, la décidabilité et la complexité algorithmique. Il développe également des procédures de décision pour la satisfiabilité et la vérification de modèles, et les applique à l'automatisation du raisonnement et de la prise de décision chez les agents artificiels.
Récompenses Il est lauréat de la médaille de bronze du CNRS en 2014.
Références
Catégorie:Personnalité liée à l'intelligence artificielle Catégorie:Lauréat de la médaille de bronze du CNRS