Le groupe « Logiques Non Classiques et Modèles de l’Interaction » (LOMI) est issu de l’équipe Logique et Complexité, cette dernère s’étant restructurée, suite à la création de l’équipe Escape.
L’objectif de LOMI est l’étude de formalismes logiques pour la représentation des connaissances humaines. Ceci se traduit par le développement de concepts et de formalismes logiques visant à résoudre des problèmes de raisonnements de sens commun.
Profondément convaincus de la nécessité d’avancer à la fois sur les aspects conceptuels, sur les aspects formels et sur leur concrétisation algorithmique et logicielle, nous contribuons à ces différents niveaux en cherchant à formaliser des domaines intéressants, en développant de nouveaux formalismes, et en développant des démonstrateurs pour ceux-ci.