Vous êtes sur la page 1sur 48

La Thorie des Graphes

Conceptuels (GC/CG)
La Thorie des GC
La thorie des Graphes Conceptuels (GC) (de
John Sowa, 1984, 2000)
La thorie offre un langage pour la pense
Synthse de diffrentes approches:
Rseaux smantiques
Logique
Smantique des BD
Smantique du Langage Naturel
La thorie des GC
Comme fondement de la Science Cognitive
Comme thorie pour la reprsentation des
Connaissances
Rseaux Smantiques
Smantique du Langage Naturel
Smantique des BD
Equivalence avec la logique des prdicats
Comme extension de la logique de Peirce

La Thorie des GC

Structuration et organisation des
Connaissances:
Hirarchie des Types et Instances
GC = Proposition, Situation,
Phrase/Expression Conceptuelle
Structures Conceptuelles


La thorie des GC


GC
Hirarchie des Types
(Ontologie)
Structures
Conceptuelles
Notations des GC
Oprations (de matching)
sur les GC
Acteurs et Graphe
de Flux de Donnes
(Traitement/Calcul
avec les GC)
Rgles de formation
des GC
Logique/Raisonnement
Infrence avec/sur les GC
(Smantique du)
Langage Naturel
Graphes Conceptuels (GC):
Hirarchie des Types: IS-A & Inst-Of
Universal
Vivant
Non-Anim
Animal Personne
Homme Femme
Robot
Vehicule
Voiture
Camion
Action
Garon
Fille Ihsane
Animate
Moyen2Transport
Cheval
Hirarchie des types (Ontologie)
Hirarchie des Types- Oprations
sur la hirarchie

subType(Type1, Type2)
maxComSubType(Type1, Type2, Type3)
minComSuperType(Type1, Type2, Type3)
Conform(Instance, Type)
CG/GC
J ohn is going to Boston by Bus
Forme graphique
Forme linaire
Forme CGI F
Interpretation logique d un GC
[Fille = Yasmine]agnt-[Aimer]-obj[Dancer]
x, y / ( Fille(Yasmine) agnt(x, Yasmine) Aimer(x)
obj(x, y) Dancer(y) )
GC compos/emboit
Le rfrent dun concept dans GC est lui-
mme un GC
Exemple: Ahmed pense quil est possible
d crire un bon programme Assembleur
[Personne:Ahmed]agnt-[Penser]-obj[Proposition =
[Status = Poss]attr-[Proposition =
[Personne]agnt-[Ecrire]-obj[Programme]-
-attr[Bon]
-chrc[Assembleur]
]
]
GC Compos/emboit (suite)
GC compos/emboit
Tom believes that Mary wants to marry with the Sailor
Smantique
dune Histoire
Structures Conceptuelles
Structures de connaissance qui vhiculent des
connaissances gnrales sur les constituants dune
ontologie (sur les types, les proprits, les relations,
les individus, etc.)
Dfinition dun type de concept
Canon pour un type de concept
Schmas (Situations) pour un type de concept
Description dun individu
Prototype pour un type de concept
Dfinition dun type de relation
Canon pour un type de relation
Structures conceptuelles: Dfinition
Dfinition d un type de concept :



Type Sponsor-art(x) is :
[Personne : x]agnt-[Donner]-
-obj[Argent]
-rcpt[Artiste]
type secondary_market is :
[security] -
-attr->[already_issued],
<-operate_with-[financial_market :super ]
Dfinition dun type de concept


(Buy has (superclasses (Event)))

(every Buy has
(buyer ((a Agent)))
(seller ((a Agent)))
(object ((a Thing)))
(money ((the cost of (the object of Self))))
(subevent (
(a Give with
(agent ((the buyer of Self)))
(object ((the money of Self)))
(recipient ((the seller of Self))))))
(a Give with
(agent ((the seller of Self)))
(object ((the object of Self)))
(recipient ((the buyer of Self)))))))
"All buy events have
- a buyer and a seller
(both of type agent)
- an object which is bought
- some money equal to the
cost of the object
- two `give' subevents, in which:
1. The buyer gives the money
to the seller
2. The seller gives the object
to the buyer.''

Dfinition du Concept Buy en anglais et en
KM (rappel)
English
KM
KM - GC

Event : super
Buy isa
buyer
Agent
Agent
seller Object
Thing
Money
costOf
subEvent
Give Give
subEvent
agent
Object
recipient
agent
Object
recipient
Dfinition d un type de relation

Relation frereDe(x, y) est :

[Garon : x]filsDe-[Personne]-enfantDe[Personne : y]
Structures conceptuelles
Canon
Canon (le graphe canonique qui offre la
smantique de base) pour un type de concept :
Canon pour Enseigner :
[Enseignant]agnt-[Enseigner]-
-obj[Cours],
-rcpt[Personne]
[PES: Hamid]<-agnt-[Enseigner]-
-obj[StructureDeDonnees]-attr->[Complexe],
-rcpt[Groupe: {*}]

[Mecanicien: Hamid]<-agnt-[Enseigner]-
-obj[Boxe],
-rcpt[Groupe: {*}]
Canon pour Arriver :
[Entite-Mobile]agnt-[Arriver]-loc[Place]
Canon dun type de relation
Canon for relation obj :
[Action]-obj->[Object]

Canon for relation instr:
[Action]-instr->[Instrument]

Structures Conceptuelles
Schma - Situation
Schma :

Au niveau linguistique, les schmas
reprsentent les significations possibles du
mot :
[Sponsor-art]pat-[Installer]-lieu[Ville]-attr[Grande]
[Cle]instr-[Ouvrir]-obj[Porte]
[Ouvre_Boite]instr-[Ouvrir]-obj[Boite]

Schmas pour un type de concept
Schmas pour le type secondary_market :
[loan] -
-attr->[already_issued],
<-trade-[secondary_market]

[situation : [security]-convert_into->[cash]] -
-rcpt->[investor],
<-provide-[secondary_market]

[investment] -
-attr->[new],
<-support-[secondary_market]
Schma #1
Schma #2
Schma #3
Description dun individu
Individual Pinchos is:
[Restaurant: Pinchos]-
<-lieu-[Vendre]-
-obj->[Sandwitch: S],
-recette->[Consommateur: C];
<-lieu-[Manger]-
-obj->[Sandwitch: S],
-agnt->[Consommateur: C];
-poss->[Italien],
-chrc->[ChaineResto]

Description dun prototype

prototype for Elephant(x) is:
[Elephant: x]-
-chrc->[Height: 3.3m],
-chrc->[Weight: 5400kg],
-chrc->[Dark_Gray]
Oprations Conceptuelles de bas
niveau
Rgles de formation (ou de drivation) de
nouveaux GC
Crer une copie dun GC
Restreindre/Gnraliser un type, un rfrent, ou
une relation
Eliminer un concept ou une relation
Joindre deux GC sur la base de deux concepts
identiques (des deux GC)
Etc.
Oprations Conceptuelles de haut
niveau

LOpration de Matching (Appariement):
opration fondamentale pour la manipulation des
structures conceptuelles

Matcher/Comparer deux GCs pour
Trouver linformation commune (un sous-graphe)
Trouver si un GC est plus gnral (ou spcifique) quun
autre GC
Fusionner deux GCs
Extraire un GC dun autre
Etc.
Oprations sur les GC
La jointure
Jointure de deux GC => un GC qui runit
l information contenue dans les deux.
G1 : [Personne]agnt-[Conduire]-obj[Voiture]

G2 : [Garon: Hicham]agnt-[Conduire]-manr[Vite]

Rsultat de la Jointure
Resultat : [Garon: Hicham]agnt-[Conduire]-
-obj[Voiture],
-manr[Vite]

Oprations sur les GC
La gnralisation
Gnraliser deux GC => Trouver le GC qui
reprsente l information commune aux deux.
G1 : [Garon: Hicham]agnt-[Conduire]-obj
[Voiture]-chrc[Couleur = rouge]
G2 : [Fille: Chama]agnt-[Conduire]-
-obj[Camion],
-manr[Vite]

Rsultat de la Gnralisation
Resultat : [Personne]agnt-[Conduire]-obj[Vehicule]
Oprations sur les GC
Projection (Subsume)
Projeter un GC sur un autre :
G1 : [Homme: Khalid]<-filsDe-[Femme: Souad]-attr->[Gentile]


G2 : [Personne]<-filsDe-[Personne]


Subsume (suite)
G1 : [Personne]-filsDe[Personne]-attr->[Gentile]


G2 : [Personne]-filsDe[Personne]


Subsume (Suite)
G1 : [Homme: Khalid]-
-filsDe->[Femme: Souad]
-filsDe->[Homme: Bouazza]
agnt-[Aimer]-obj[Femme: Souad]

G2 : [Personne]<-filsDe-[Personne]
Subsume (Suite)
Resultat : [Homme: Khalid]<-filsDe-[Femme: Souad], ou
[Homme: Khalid]<-filsDe-[Homme: Bouazza]
Oprations sur les GC
La contraction
Contracter un graphe (habituellement la
dfinition d un type) d un autre :
[Riche]attr-[Homme: Hicham]agnt-[Donner]-
-obj[Argent]
-rcpt[Artiste]

En contractant la dfinition de Sponsor-art, on aura :
[Sponsor-art : Hicham]-attr[Riche]
Exemple plus complexe de la
contraction
Contraction partielle :
[Riche]attr-[Homme: Hicham]
agnt-[Donner]-
-obj[Argent]
-rcpt[Paintre: Aicha]

Le rsultat serait :
[Riche]attr-[Sponsor-art: Hicham]agnt-[Donner]
-rcpt[Paintre: Aicha]
Infrence avec les GC - Exemple
REGLES:
[CITIZEN : x]<-memberOf-[COUNTRY : Oz] SI
[PERSON: x]<-AGNT-[Being_Born]-LOC->[COUNTRY : Oz].

[CITIZEN : x]<-memberOf-[COUNTRY : Oz] SI
[PERSON: x]<-childOf-[PERSON: y],
[CITIZEN : y]<-memberOf-[COUNTRY : Oz].

[CITIZEN : x]<-memberOf-[COUNTRY : Oz] SI
[PERSON : x]<-RCPT-[NATURALIZE]-LOC->[COUNTRY : Oz].

FAITS:
[PERSON : Tinman]-
-childOf->[GIRL : Dorothy],
<-AGNT-[Being_Born]-LOC->[COUNTRY : Oz].

REQUETE:
?- [CITIZEN : x]<-memberOf-[COUNTRY : Oz].
{x= Tinman};
{x = Dorothy}
Calcul/Traitement avec les GC:
CG avec acteurs
Traitement/Calcul avec les GC (suite)
Acteurs
Exemple: Schma conceptuel dans une BD (avec dpendance
Fonctionnelle)