MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL SIS, université du Sud Toulon-Var

Représentation des connaissances et raisonnement La résolution de certains problèmes nécessite : Représentation symbolique de l'information – Formalisme logique Formalisation du raisonnement – Mécanisme de déduction

Exemple : enigme selon l'hôtesse : il avait les yeux bleus, était de petite taille et portait une veste et un chapeau selon le caissier : il avait les yeux noirs, était de petite taille et portait une veste et un chapeau selon la secrétaire : il avait les yeux verts, était de taille moyenne, portait un imperméable et un chapeau selon le directeur : il avait les yeux gris, était de grande taille, portait une veste et était nu-tête Quel est le signalement de l'agresseur ?

Exemple : meilleur emplacement

Contraintes C1 : être prêt d'une borne à incendie C2 : être loin d'une intersection C3 : être non construite 3 parcelles : P 1, P 2, P 3 problème : trouver les parcelles satisfaisant les contraintes

Pour traiter ces problèmes : Représenter les connaissances – Choix du formalisme Formaliser le raisonnement et résoudre réellement – Choix de la méthode, de l'algorithme, de l'implantation

Représenter les connaissances variables : bleus, noirs, verts, gris, petit, moyen, grand, veste, impermeable, chapeau domaine : D = { VRAI, FAUX } connaissance : témoignages + contraintes d'intégrité T h = bleus petit veste impermeable C = { petit moyen grand, : petit : moyen, : petit : grand, : moyen : grand }

Raisonnement T h T c T s T d C |= bleus ? T h T c T s T d C |= grand ? T h T c T s T d C |= veste ? T h T c T s T d C |= chapeau ?

Représenter les connaissances pour chaque P i : variables : a i, b i, c i ( 1 i 3) a i : distance entre P i et la borne d'incendie b i : distance entre P i et la plus proche intersection domaine : D 1 = { très proche, proche, loin, très loin } c i : exprime si P i est non construit domaine : D 2 = {oui, non, peut-être }

Représenter les connaissances Domaine : D Pour chaque a i, (resp. b i ) 1 i 3 a i 1 a i 2 a i 3 a i 4 (1 i 3) :a i j :a i k (1 j ), (1 k ), j k Contraintes : C (( a i 3 a i 4 ) ( b i 1 b i 2 ) c i 1 )

Raisonnement C D |= ? C : formules représentant les contraintes D : formules représentant le domaine

Plan Calcul propositionnel – Syntaxe, sémantique, résultats Déduction en calcul propositionnel – Résolution, méthodes énumératives – Lien avec le pb SAT – Compilation de bases de connaissances Calcul des prédicats – Syntaxe, sémantique, résultats Déduction en calcul des prédicats – résolution – Liens avec la programmation logique, systèmes experts

Organisation de l'option Cours : 24h TD : 18h TP : 18h

Contrôle des connaissances Examen écrit : 2/3 Note de TP : 1/3

Intérêt de l'option Mettre de l'intelligence dans les systèmes d'information MASTER SIS 2°année recherche – Option intelligence artificielle MASTER SIS 2°année professionel – Option Logique et sécurité