Académique Documents
Professionnel Documents
Culture Documents
Introduction Reprsentation des connaissances Systmes apprentissage Systmes experts Construction dun SBC
A.H.C
Motivation
Leila entra dans le restaurant. Elle commanda du poisson. Elle partit en laissant un large pourboire Leila a mang, Leila est moins riche, Leila sest assise, Leila tait satisfaite, Une certaine dure sest coule, etc ...
A.H.C 3
Motivation
Comment raliser toutes ces infrences ?
Un programme ne peut raliser toutes les infrences possibles: explosion combinatoire. On ne peut pas raliser des infrences la demande. Il faut contrler le raisonnement. A.H.C
Dfinitions de la connaissance
Facult de connatre, manire de comprendre, de percevoir. Connatre: Avoir une ide juste Savoir de faon prcise. Opration active: informations mmorises,
utilisation bon escient, structure complexe.
A.H.C 5
Dfinitions de la reprsentation
Action de rendre sensible quelque chose au moyen dune figure, dun symbole, dun signe.
Types de connaissances
Connaissance causale Connaissance dclarative Connaissance procdurale Connaissance stratgique
A.H.C 7
Connaissance causale
Connaissance utilise pour une infrence considre comme explicative Exemple: ouverture de la porte dont les gonds sont rouills.
A.H.C
Connaissance dclarative
Indique ce quil faut faire sans prciser comment le faire Exemple: dans le code de la route, on doit se tenir sur le ct droit de la chausse Mais pas comment le faire
A.H.C
Connaissance procdurale
Indique comment faire. Cest un savoir
algorithmique
LIA favorise la connaissance dclarative
A.H.C
10
Connaissance stratgique
Indique comment utiliser la connaissance du domaine en fonction dun but accomplir
Exemples:
Savoir quil est utile de regarder dabord gauche puis droite en traversant une chausse. Savoir que la criminalit est plus leve dans certaines couches de la population
Mta-connaissances
A.H.C 11
Connaissance volutive
Exemple: Leila est une lve en II2 Fait certain , valeur de vrit peut A.H.C modifie tre
12
Connaissance vague
Exemple: Les jeunes lves sont turbulents Il ny pas deux groupes distincts: turbulents et autres ou jeunes et autres
A.H.C 13
Mtaphores
Exemple: Le roi des animaux suggestion dinformations
A.H.C 14
savait quil ne pouvait chapper au redoublement. Connaissant le niveau de la classe, il avait jug quil y aurait trois dcisions de redoublement. ambigut au niveau du nombre dlves.
A.H.C 15
Connaissance typique
Exemple: Tous les lphants sont de couleur grise
quantificateurs: la A.H.C majorit, gnralement... 16
position
A.H.C 17
Bonne reprsentation
Pouvoir reprsenter tout ce qui est ncessaire de faon concise et efficace. Etre manipulable pour dduire d autres connaissances. Facilit dajout de connaissances.
utilisation
Diffrentes Reprsentations
Aspect Relationnel
Reprsentation logique Rgles de productions
Aspect Procdural
Aspect Objet
Reprsentation logique
Logique classique
logique des propositions (ordre 0) logique des prdicats (ordre 1)
A.H.C
20
Smantique
les faits sont rfrs par les variables propositionnelles (Tunis est la capitale de la Tunisie) Notion de table de vrit. A.H.C 21 Interprtation.
Exemple: sur B C et bouger B: Comment faire le lien entre les deux objets B?
A.H.C
24
Exemple: FGI135 est un avion: Avion(FG135) Tous les avions volent: x avion(x)Vole(x)
A.H.C 25
A.H.C
26
Modus Tollens Q , (P Q) P
A.H.C
28
Unification
Homme(x) et Homme(Socrate) sunifient en Homme(Socrate).
Rsolution[Robinson 65]
{Homme(Socrate)} {Homme(x), Mortel(x)} Mortel(Socrate) ={x/Socrate}
A.H.C 29
Exemple
{Homme(Socrate)} {Homme(x), Mortel(x)} {Mortel(Socrate)}
A.H.C
30
Logique classique
Avantages
Un moyen naturel d exprimer certaines notions [Mc Carthy, Filman]. Se fonde sur de bases thoriques solides. Raisonnement exact, donnes compltes. Logique modulaire. Langage Prolog
A.H.C 31
Logique classique
Limites
Rigidit du formalisme Ne permet pas d exprimer des apprciations nuances. Ne permet pas de prendre des dcisions dans le cas dinformations manquantes.
Autres logiques
A.H.C 32
Logique Modale
Logique althique [Lewis dbut du sicle] Possibilit
Ncessit
Logique modale
Les logiques modales permettent denrichir le langage de la logique classique du premier ordre en introduisant des notions de possibilit/ncessit (logique althique) ou de croyance.
A.H.C
34
A.H.C
36
A.H.C
37
A.H.C
38
Logique modale
Logique althique : On appelle logique althique toute logique dont les modes sont la possibilit et la
ncessit.
On appelle modalit toute suite doprateurs , , (Exple : ) .
A.H.C 39
A.H.C
40
Logique modale
Logique de la croyance :
A.H.C
41
Logique modale:
logique de la croyance
Les oprateurs modaux rencontrs prennent une autre signification. Ainsi, devient Savoir et devient Compatible avec mes connaissances .
A.H.C 42
Logique modale:
Exemples :
logique de la croyance
Axiome : (A B) ( A B) Si je sais que A B est vrai alors, si je sais que A vrai ; je sais que B est vrai .
A.H.C
43
Logique modale:
logique de la croyance
On peut exprimer aisment des propositions comme: Tout ce que sait Paul, Eric le sait . x, (Paul) x (Eric) x Si quelquun sait quil fait beau, alors il fait beau . x, (x) faire-beau faire-beau
A.H.C 44
Logique Modale
Exemple:
Trois sages sont dans une pice, chacun portant sur la tte un chapeau noir ou blanc. Ils savent quun chapeau au moins est blanc. Au bout de quelques secondes, le premier sage dit: "je ne connais pas la couleur de mon chapeau ". Puis le second sage dit: "je ne connais pas non plus la couleur de mon chapeau ". Alors le troisime sage peut conclure: "mon chapeau est blanc ".
A.H.C 45
A.H.C
46
Exprimons maintenant que chaque sage voit le chapeau des deux autres : (a) (( (x) blanc(y) et x y) ( (x) blanc(y)). (a) (( (x) noir(y) et x y) ( (x) noir(y)).
La premire formule exprime que tout le monde sait que sil est compatible avec les connaissances de x que le chapeau de y soit blanc , et que lon a x y,
Reprsentons maintenant les informations que donnent la rponse du 1er sage : (x) ( (y) ( (sage1) noir(sage1)))
Toute personne x sait que toute personne y sait quil est compatible avec les connaissances du sage1 quil ait un chapeau noir.
(x) (
A.H.C
48
Mme chose avec sage2 : (x) ( (y) ( (sage2) noir(sage2))) (x) ( (y) ( (sage2) blanc(sage2))) Il est maintenant possible de dmontrer la formule : (sage3) blanc(sage3).
A.H.C 49
Logique Modale
Permet de raffiner le langage de la logique classique. Utilise ds que le problme inclus des notions de croyance, possibilit, ncessit. Rsolution automatique plus difficile que la logique classique.
A.H.C 50
A.H.C
52
Logique temporelle
Il existe diverses approches de la logique temporelle. Une d entre elles sappuie sur la notion dintervalle[Allen81] (SE)
Allen a introduit la notion dvnement. Problme: consistance de cet ensemble d axiomes.
A.H.C 54
Logique temporelle
Les oprateurs d Allen:
Pendant(i1,i2): lintervalle i1 est totalement contenu dans i2 Avant(i1,i2): lintervalle i1 prcde i2. Les deux intervalles ne se chevauchent pas.
A.H.C
55
Logique temporelle
Les oprateurs d Allen:
Acheval(i1,i2): lintervalle i1 commence avant i2. Les deux intervalles se chevauchent. Joint(i1,i2): lintervalle i1 commence avant i2 mais ils ne sont spars par aucun intervalle. Egal(i1,i2): Les deux intervalles sont gaux.
A.H.C 56
Logique temporelle
Les Axiomes d Allen
Avant(i1,i2) Avant(i2,i3) Avant(i1,i3) Joint(i1,i2) Pendant(i2,i3) Acheval(i1,i3) Pendant(i1,i3) Joint(i1,i3) ...
A.H.C
57
Logique temporelle
Prdicats
Satisfait(p,i): signifie que la proprit p est satisfaite pendant lintervalle i. Satisfait(et(p,q),i) Satisfait(p,i) Satisfait(q,i) Arrive(e,i): signifie que lvnement e arrive pendant lintervalle i. Changepos(p, x, y, e): exprime que e est un vnement qui consiste dans le passage de p du point x au point y.
A.H.C 58
A : M B1, ,M Bn C si A est vrifi et que les Bi sont consistants dans l tat actuel de mes connaissances, alors C est vrifi A: pr-requis, Bi: justifications, C: consquent.
A.H.C 60
Avion(x):M vole(x) Vole(x) Si x est un avion et quil est consistant avec mes connaissances prsentes que x vole, alors x vole
A.H.C 61
Exemple (Fro86):
Les mollusques sont des coquillages Les cphalopodes sont des mollusques mais ne sont pas des coquillages (exception) ; Les nautiles sont des cphalopodes et sont des coquillages (exception lexception).
A.H.C
62
A.H.C
63
Dfaut 2 : Si x est un cphalopode, et sil est consistant avec mes connaissances que x nest pas un coquillage et nest pas un nautile, alors x nest pas un coquillage : Cphalopode(x) : M( Coquillage(x) Nautile(x)) Coquillage(x)
A.H.C
64
Formule 1 : Les nautiles sont des cphalopodes : Cphalopode(x) x, Nautile(x) Formule 2 : Les cphalopodes sont des mollusques : Mollusque(x) x, Cphalopode(x) Formule 3 : Les nautiles sont des coquillages : Coquillage(x) x, Nautile(x)
A.H.C
65
Rgles de productions
Syntaxe:
Si conditions alors consquence Exemples: Si la temprature du racteur dpasse 800C alors
descendre les barres de contrle.
A.H.C
66
Rgles de productions
Chanage avant:
utilis quand on cherche les consquences de lajout de nouveaux faits.
P, si P alors Q Q
Chanage arrire:
utilis quand on cherche prouver un but.
Q, si P alors Q P?
A.H.C
67
Rgles de productions
Exemple: H et K sont vrais R1: Si A alors E R2: Si B alors D R3: Si H alors A R4: Si E et G alors C R5: Si E et K alors B R6: Si E et D et K alors C R7: Si G et F et K alors A
A.H.C 68
Rgles de productions
Si conditions alors consquence (coef) Le Coefficient coef traduit la confiance accorde la rgle:
coefficient de vraisemblance
Ces coefficients permettent de faire du raisonnement incertain ou approximative
A.H.C
69
Rgles de productions
Exemples: Rgle 1: Si le malade est nerveux alors
augmenter la dose de mdicament.
A.H.C
70
Rgles de productions
Il est ncessaire dassouplir lappariement: la
condition de la rgle 1 doit tre compatible avec le fait 1.
A.H.C
71
Reprsentation procdurale
Lintroduction directe de procdures algorithmiques classiques dans les systmes d IA. Dclaratif et procdural ne peuvent tre totalement dissocis dans une base de connaissances ralistes. Le Dclenchement des procdures peut se faire suivant des modes divers.
A.H.C 72
Reprsentation procdurale
Par appel direct au moment o la procdure doit entrer en jeu (Application des rgles en chanage avant). Grce lattachement procdural comme dans les cas des Frames o laffectation dune valeur un attribut peut rsulter du dclenchement d une procdure associe.
A.H.C 73
Reprsentation procdurale
Par action dun dmon, Par appel dirig par un schma spcifiant le but raliser. Le langage CONNIVER destin la gnration de plans dactions.
A.H.C
74
Dpendance conceptuelle
DC a pour but de reprsenter le sens des phrases en langage naturel de faon indpendante de la langue. La reprsentation en DC dune phrase est construite partir de primitives conceptuelles. Primaut de la smantique Schank (1972-1975)
A.H.C 75
Dpendance conceptuelle
Les actions primitives:
ATRANS: transfert dune relation abstraite. PTRANS: transfert de la position d un objet. SPEAK: produire un son. GRASP: attraper un objet. ...
A.H.C 76
Dpendance conceptuelle
Les rles conceptuels:
Acteur: Objet: Bnficiaire: Direction: ...
A.H.C 77
Dpendance conceptuelle
Modalits:
p: pass. f: futur. c:conditionnel. ...
A.H.C
78
Dpendance conceptuelle
Exemple1: Leila a donn des fleurs Hager DC Hager Leila ATRANS Fleurs Laila
A.H.C 79
Dpendance conceptuelle
Exemple2: Leila ira New York DC NY Leila PTRANS Leila ?
A.H.C 80
Dpendance conceptuelle
Permet de saffranchir de lexpression syntaxique permet la traduction automatique. Utilisation des rseaux de DC est rest limite au domaine du langage naturel. Choix des primitives de reprsentation. Systme insuffisant pour traiter des units de sens plus larges.
A.H.C 81 e1
Diapositive 81 e1
ensi; 03/04/2007