Академический Документы
Профессиональный Документы
Культура Документы
EL YOUNOUSSI YACINE
YACINE.INFO@GMAIL.COM
4.
La reprsentation des
connaissances
Y. EL YOUNOUSSI
2012 - 2013
FILIRE: GI
02/01/2013
Y. EL YOUNOUSSI
Y. EL YOUNOUSSI
02/01/2013
Y. EL YOUNOUSSI
Y. EL YOUNOUSSI
02/01/2013
Y. EL YOUNOUSSI
Exemples:
1) Mdecin: connaissances mdicales
+ mthodes de travail = diagnostic mdical
2) Traducteur: connaissance des langues
+ mthodes de traduction = traduction du
document
ASK
Moteur dinfrence
TELL
Base de connaissances
Y. EL YOUNOUSSI
02/01/2013
Y. EL YOUNOUSSI
Y. EL YOUNOUSSI
10
02/01/2013
Y. EL YOUNOUSSI
11
Y. EL YOUNOUSSI
12
02/01/2013
Y. EL YOUNOUSSI
13
Y. EL YOUNOUSSI
a. Connaissance
14
02/01/2013
Y. EL YOUNOUSSI
a. Connaissance
15
Y. EL YOUNOUSSI
b. Reprsentation
16
02/01/2013
Y. EL YOUNOUSSI
b. Reprsentation
La reprsentation des connaissances est une
17
Y. EL YOUNOUSSI
b. Reprsentation
Approche logique
18
Rseaux
smantiques
Graphes
conceptuels
Logique
propositionnelle
Logique du
premier ordre
02/01/2013
Y. EL YOUNOUSSI
b. Reprsentation
19
Y. EL YOUNOUSSI
20
10
02/01/2013
Environnement:
Une grille de 4x4
Lagent commence en [1,1] en regardant droite
Les positions de lor, du wumpus et des trous sont
choisies alatoirement
Y. EL YOUNOUSSI
Mesure de performance:
21
Y. EL YOUNOUSSI
Effecteurs:
22
11
02/01/2013
Y. EL YOUNOUSSI
Capteurs:
23
Dterministe ?
pisodique ?
Non, cest squentiel au niveau des actions
Statique ?
Y. EL YOUNOUSSI
Discret ?
Oui
Multi-agent ?
Non, le wumpus nest quune composante de
lenvironnement
24
12
02/01/2013
Y. EL YOUNOUSSI
25
Y. EL YOUNOUSSI
26
13
02/01/2013
Y. EL YOUNOUSSI
27
Y. EL YOUNOUSSI
28
14
02/01/2013
Y. EL YOUNOUSSI
29
Y. EL YOUNOUSSI
30
15
02/01/2013
Y. EL YOUNOUSSI
31
Y. EL YOUNOUSSI
32
16
02/01/2013
Y. EL YOUNOUSSI
Puanteur en (1,1)
Aucun dplacement scuritaire
Stratgie: lancer une flche
Si le wumpus tait l, il est
mort, donc cest scuritaire.
Si le wumpus ntait pas l, cest
scuritaire.
33
Y. EL YOUNOUSSI
4.2. La logique
34
17
02/01/2013
Y. EL YOUNOUSSI
4.2.1 Gnralits
35
Y. EL YOUNOUSSI
36
18
02/01/2013
Y. EL YOUNOUSSI
37
Y. EL YOUNOUSSI
38
19
02/01/2013
Y. EL YOUNOUSSI
39
Y. EL YOUNOUSSI
40
20
02/01/2013
Y. EL YOUNOUSSI
41
Y. EL YOUNOUSSI
42
21
02/01/2013
Y. EL YOUNOUSSI
43
Y. EL YOUNOUSSI
44
22
02/01/2013
4.2.4 Infrence
Si une procdure ou un algorithme i permettant de
tirer une consquence logique , partir dune
base de connaissance KB, on dit que:
lnonc est driv de KB par la procdure i;
ou
KB infre lnonc par la procdure i
Et on crit: KB i
Par analogie: on peut voir toutes les consquences
de KB comme une meule de foin, et comme une
aiguille linfrence revient trouver laiguille
Y. EL YOUNOUSSI
45
Y. EL YOUNOUSSI
4.2.4 Infrence
46
23
02/01/2013
Y. EL YOUNOUSSI
4.2.4 Infrence
47
noncs
Faits (Aspects
du monde rel)
nonc
Smantique
Monde rel
Smantique
Reprsentation
A pour consquence
causent
Y. EL YOUNOUSSI
Fait
48
24
4.3
LA LOGIQUE
PROPOSITIONNELLE
Y. EL YOUNOUSSI
02/01/2013
49
Y. EL YOUNOUSSI
4.3.1 Gnralits
50
25
02/01/2013
Y. EL YOUNOUSSI
4.3.1 Gnralits
Une Syntaxe
Une Smantique
51
Y. EL YOUNOUSSI
4.3.2 Syntaxe
52
26
02/01/2013
Y. EL YOUNOUSSI
53
Y. EL YOUNOUSSI
54
27
02/01/2013
Y. EL YOUNOUSSI
55
Y. EL YOUNOUSSI
56
28
02/01/2013
Y. EL YOUNOUSSI
4.3.3 Smantique
57
Y. EL YOUNOUSSI
4.3.3 Smantique
58
29
02/01/2013
Y. EL YOUNOUSSI
59
PQ
P Q
P Q
P Q
P
F
Y. EL YOUNOUSSI
60
30
02/01/2013
Y. EL YOUNOUSSI
4.3.3 Smantique
61
Y. EL YOUNOUSSI
62
31
02/01/2013
Y. EL YOUNOUSSI
63
Y. EL YOUNOUSSI
64
32
02/01/2013
Y. EL YOUNOUSSI
65
Y. EL YOUNOUSSI
KB nest vraie que dans trois modles , dans lesquels P1,2 est faux,
ce qui veut dire quil ny a pas de puits dans [1,2].
En revanche, il est impossible de dire si [2,2] contient un puits,
puisque P2,2 est vrai dans deux des trois modles
66
33
02/01/2013
Y. EL YOUNOUSSI
67
Y. EL YOUNOUSSI
68
34
02/01/2013
Y. EL YOUNOUSSI
quivalence logique:
69
Y. EL YOUNOUSSI
Exemples:
70
35
02/01/2013
P P et P P sont valides
Y. EL YOUNOUSSI
Validit:
Un nonc est valide sil est vrai dans tous les
modles. Par exemple, les noncs: Vrai,
Thorme de la dduction:
Pour deux noncs quelconques et , ssi
lnonc est valide
Par consquent, on peut dcider si en
vrifiant que est vrai dans tous les modles
71
Y. EL YOUNOUSSI
La satisfiabilit:
72
36
02/01/2013
Y. EL YOUNOUSSI
La satisfiabilit:
73
Y. EL YOUNOUSSI
et de
(limination de limplication)
on dduit
74
37
02/01/2013
Y. EL YOUNOUSSI
limination de la conjonction:
limination de lquivalence:
( )
et
( )
75
R1 : P1,1 ;
R2: B1,1(P1,2 P2,1);
R3: B2,1(P1,1 P2,2 P3,1);
R4: B1,1;
R5: B2,1
On veut prouver P1,2(pas de puits en
[1,2])
Y. EL YOUNOUSSI
76
38
02/01/2013
Y. EL YOUNOUSSI
77
Exemple:
En fin, on applique la rgle de Morgan, ce qui
donne la conclusion: R10 : P1,2 P2,1
En dautres termes, ni [1,2] ni [2,1] ne
contiennent de puits
N.B: on peut appliquer nimporte quel algorithme dexploration
(chapitre3) pour atteindre la mme squence dtapes qui
constitue une preuve. Il suffit de dfinir le problme comme suit:
tat initial: la base de connaissance initiale
Action: les rgles dinfrence appliques tous les noncs qui
apparient la moiti suprieure de la rgle dinfrence
But: le but est un tat qui contient lnonc prouver
Y. EL YOUNOUSSI
78
39
02/01/2013
Y. EL YOUNOUSSI
Exercice1:
tant donn le texte suivant, pouvezvous
prouver que:
79
a)
b)
c)
d)
e)
f)
g)
Faux Vrai
Vrai Faux
(A B) (A B)
(A B) (A B)
(A B) A B
(A B) (A B) est satisfiable
(A B) C a le mme nombre de modles
que (A B) pour tout ensemble de symboles
fixe qui comprend A, B et C
Y. EL YOUNOUSSI
Exercice2:
1) Quels noncs suivants sont corrects?
80
40
02/01/2013
Y. EL YOUNOUSSI
Exercice2:
2) Prouvez chacune des assertions suivantes?
Y. EL YOUNOUSSI
82
41
02/01/2013
Y. EL YOUNOUSSI
83
La rsolution unitaire:
!"#$% & %'( $) &*((,"& %( &- %( . ' )( /%' &*((,"$0
1234536789:;6 & < $) %'( &" )="(* ) /% & < "$(,% .
m est une clause unitaire
Exemple:
Y. EL YOUNOUSSI
? , ? , ?@, , ? ,
? , ?@,
84
42
02/01/2013
Exemple:
Y. EL YOUNOUSSI
? , ?@, , ? , ? ,
?@, ? ,
85
Y. EL YOUNOUSSI
86
43
02/01/2013
1. limination de : en remplaant
par
2. limination de : en remplaant
par
3. Dplacer lintrieur en utilisant les rgles de
Morgan et la double ngation :
() limination de la double ngation
( ) ( ) De Morgan
( ) ( ) De Morgan
Y. EL YOUNOUSSI
87
Y. EL YOUNOUSSI
88
44
02/01/2013
Y. EL YOUNOUSSI
Un algorithme de rsolution:
Convertir KB en CNF
Appliquer la rgle de rsolution aux clauses rsultantes.
Chaque paire qui contient des littraux complmentaires est
rsolue, afin de produire une nouvelle clause.
Ajouter la nouvelle clause lensemble si il n y est pas dj
prsente.
89
Y. EL YOUNOUSSI
90
45
02/01/2013
Y. EL YOUNOUSSI
Exemple1:
91
92
46
02/01/2013
93
94
47
02/01/2013
95
96
48
02/01/2013
Peuton dduire T?
97
Y. EL YOUNOUSSI
98
49
02/01/2013
Y. EL YOUNOUSSI
99
Y. EL YOUNOUSSI
100
50
02/01/2013
En forme de Horn:
la prmisse sappelle le corps,
la conclusion sappelle la tte
Un nonc constitu dun seul littral positif,
sappelle un fait
Y. EL YOUNOUSSI
101
B, ,
Y. EL YOUNOUSSI
102
51
02/01/2013
i. Chanage avant:
Un algorithme de chanage avant, dtermine si
un seul symbole propositionnel la requte
est une consquence logique dune BC de
clauses dfinies
Le chanage avant consiste :
Appliquer toutes les rgles dont les prmisses
sont satisfaites dans la BC
Ajouter les conclusions de ces rgles dans la BC,
jusqu ce que:
La requte soit satisfaite
On ne peut rien dduire de plus
Y. EL YOUNOUSSI
103
BC en clause
de Horn
Le graphe ET-OU
correspondant
Y. EL YOUNOUSSI
i. Chanage avant:
Exemple: soit la BC en clauses de Horn et sa
reprsentation sous forme de graphe ETOU:
104
Peut-on infrer Q?
52
02/01/2013
Y. EL YOUNOUSSI
i. Chanage avant:
Exemple:
105
Y. EL YOUNOUSSI
i. Chanage avant:
Exemple:
106
53
02/01/2013
Y. EL YOUNOUSSI
i. Chanage avant:
Exemple:
107
Y. EL YOUNOUSSI
i. Chanage avant:
Exemple:
108
54
02/01/2013
R1 : P Q
R2 : L M P
R3 : B L M
R4 : A P L
R5 : A B L
R6 : A
R7 : B
Y. EL YOUNOUSSI
i. Chanage avant:
Exemple:
Ou tout simplement:
109
Y. EL YOUNOUSSI
110
a dj t prouv faux
55
02/01/2013
Y. EL YOUNOUSSI
111
Y. EL YOUNOUSSI
112
56
02/01/2013
Y. EL YOUNOUSSI
113
Y. EL YOUNOUSSI
114
57
02/01/2013
Y. EL YOUNOUSSI
115
Y. EL YOUNOUSSI
Chanage avant:
Chanage arrire:
Le raisonnement est pilot par le but
Utile pour rpondre des questions spcifiques
Il se limite aux seuls faits pertinents le temps de calcul est
souvent trs infrieur celui du chanage avant
116
58
02/01/2013
Y. EL YOUNOUSSI
117
Y. EL YOUNOUSSI
Exercice2:
118
59
02/01/2013
R6 : M L A
R7 : I B D
R8 : E D F
R9 : K F H
R10 : L E F
Y. EL YOUNOUSSI
Exercice2:
119
60