SUJET DE STAGE MASTER 2 RECHERCHE Informatique et

SUJET DE STAGE MASTER 2 RECHERCHE Informatique et Télécommunications
Parcours IAICI
Laboratoire de recherche : IRIT
Equipe d’accueil : ADRIA-SAMOVA
Directeur(trice)s de recherches : Leila Amgoud, Florence Dupin de Saint-Cyr Bannay,
Marie-Christine Lagasquie-Schiex, Patrick Saint-Dizier
Contact : [email protected], [email protected]
Titre : Mécanismes d'Intelligence Artificielle appliqués au traitement des risques dans
les procédures industrielles
Description :
Il existe dans le milieu industriel des procédures textuelles utilisées par exemple lors des
phases de maintenance. Ces procédures sont malheureusement génératrices d'incidents plus
ou moins graves dus à leur rédaction informelle, dispersée et à leur taille souvent importante
qui gêne leur vérification.
L'idée du projet LELIE, accepté dans le cadre des projets ANR émergence, est de proposer
des solutions permettant de réduire les risques induits par ces procédures. Cela passe bien-sûr
par des aspects purement linguistiques (qui sont pris en charge par l’équipe SAMOVA) mais
aussi par des aspects plus proches de l'intelligence artificielle (IA), ce sont ces aspects qui
concernent le stage.
En effet, l’IA dispose d’outils permettant de détecter des problèmes d'incohérence,
d'incomplétude et de redondance dans des bases de connaissances logiques. Ainsi les outils
d’IA peuvent être particulièrement utiles et importants pour vérifier la “validité” des
procédures.
Ce stage s'inscrit dans le projet LELIE. Il s'agit plus précisément :
! d'analyser les procédures afin de compléter le langage logique susceptible de les
traduire (une première ébauche existe),
! de définir précisément les mécanismes d'IA à implémenter (recherche d'incohérence,
d'incomplétude, de redondance, d'explication) et compléter en conséquence le langage
logique,
! et, sachant qu'il existe à ce jour un prototype très succinct permettant uniquement de
détecter des incohérences à partir d'une traduction simpliste des procédures, il faudra
compléter ce prototype pour simuler la chaîne de traitement complète sur quelques
jeux de tests.
Des connaissances en logique sont requises et des connaissances en traitement des langages
(analyse syntaxique) seraient un plus.