![Page 1: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/1.jpg)
MASTER SIS, 1ere année
Présentation de l'option 13 :
Représentation des connaissances
et raisonnement
Odile PAPINI & Eric WÜ[email protected] [email protected]
SIS, université du Sud Toulon-Var
![Page 2: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/2.jpg)
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
![Page 3: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/3.jpg)
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 ?
![Page 4: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/4.jpg)
Exemple : meilleur emplacement
![Page 5: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/5.jpg)
Exemple : meilleur emplacement
Contraintes
C1 : être prêt d'une borne à incendie
C2 : être loin d'une intersection
C3 : être non construite
3 parcelles : P1 , P2 , P3
problème : trouver les parcelles satisfaisant
les contraintes
![Page 6: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/6.jpg)
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
![Page 7: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/7.jpg)
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é
Th = bleus petit veste impermeable
C = { petit moyen grand,
:petit : moyen, :petit : grand, : moyen
:grand }
![Page 8: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/8.jpg)
Raisonnement
Th Tc Ts Td C |= bleus ?
Th Tc Ts Td C |= grand ?
Th Tc Ts Td C |= veste ?
Th Tc Ts Td C |= chapeau ?
![Page 9: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/9.jpg)
Représenter les connaissances
pour chaque Pi : variables : ai, bi, ci ( 1 i 3)
ai : distance entre Pi et la borne d'incendie
bi : distance entre Pi et la plus proche intersection
domaine : D1 = { très proche, proche, loin, très
loin }
ci : exprime si Pi est non construit
domaine : D2 = {oui, non, peut-être }
![Page 10: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/10.jpg)
Représenter les connaissances
Domaine : D
Pour chaque ai , (resp. bi) 1 i 3
ai1 ai
2 ai3 ai
4 (1 i 3)
:aij :a
ik (1 j ), (1 k ), j
k
Contraintes : C
(( ai3 a
i4 ) ( b
i1 b
i2) c
i1 )
![Page 11: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/11.jpg)
Raisonnement
C D |= ?
C : formules représentant les contraintes
D : formules représentant le domaine
![Page 12: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/12.jpg)
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
![Page 13: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/13.jpg)
Organisation de l'option
● Cours : 24h
● TD : 18h
● TP : 18h
![Page 14: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/14.jpg)
Contrôle des connaissances
● Examen écrit : 2/3
● Note de TP : 1/3
![Page 15: MASTER SIS, 1ere année Présentation de l'option 13 : Représentation des connaissances et raisonnement Odile PAPINI &Eric WÜRBEL papini@univ-tln.frwurbel@univ-tln.fr](https://reader036.vdocuments.net/reader036/viewer/2022070309/551d9dba497959293b8ddc43/html5/thumbnails/15.jpg)
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é