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
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
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
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é
Th = bleus petit veste impermeable
C = { petit moyen grand,
:petit : moyen, :petit : grand, : moyen
:grand }
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 ?
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 }
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 )
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é