Retour
L'Intelligence Artificielle (IA) étudie la représentation formelle des connaissances et de simuler le raisonnement humain. L’Intelligence Artificielle a emprunté des nombreux outils théoriques des mathématiques en les adaptant à sa propre problématique. Le mariage de longue date entre la logique et l’informatique, tant au niveau de la conception des machines que de l’informatique théorique ont permis le développement de l’IA. Ce groupe de logique et de I.A. se propose d’étudier :
- Le raisonnement abductif tant nécessaires dans de nombreux systèmes d’IA, à partir des outils déductifs telles que la résolution des équations logiques, le calcul des séquents, les tableaux sémantiques.
- Les Réseaux Booléens : qui sont des systèmes dynamiques discrets regroupement un nombre fini de variable binaire. Nous étudions les points fixes par un approche en logique modale.
- Application des réseaux booléens en biologie moléculaire pour la modélisation des réseaux de gènes.
- La Représentation Multi-échelle des Systèmes Biologiques.
La Logique Non-monotone et particulièrement la logique des Défauts pour la conduite des Véhicules Autonomes.
Membres du LAMIA rattachés au groupe :
- Laurent Manyri
- Sébastien Regis
- Jean Velin
- Pierre Siegel (membre affilié)