Escolar Documentos
Profissional Documentos
Cultura Documentos
Plan
1. La thorie des Graphes Conceptuels (GC) (de John Sowa, 1984, 2000) 2. Mon travail sur la thorie des GC (1985-2005) 3. La plateforme AMINE (2005-prsent) 4. Perspective 5. Conclusion
La thorie des GC
Comme fondement de la Science Cognitive
Philosophie
Psychologie
Neurologie
Psychologie Cognitive
Neuroscience
Intelligence Artificielle
Science Cognitive
Linguistique Computationnelle
Informatique
Linguistique
La thorie des GC
Comme thorie pour la reprsentation des Connaissances
Rseaux Smantiques Smantique du Langage Naturel Smantique des BD Equivalence avec la logique des prdicats
La thorie des GC
Notations des GC Logique Rgles de formation des GC
GC
Structures Conceptuelles
Forme graphique
CG/GC
Forme CGIF
GC compos/emboit
Tom believes that Mary wants to marry with the Sailor
CG avec acteurs
Structures Conceptuelles
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
Schma #3
La jointure de deux GC
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] Resultat : [Garon: Hicham]agnt-[Conduire]-obj[Voiture], -manr[Vite]
La gnralisation de deux GC
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] Resultat : [Personne]agnt-[Conduire]-obj[Vehicule]
FAITS: [PERSON : Tinman]-childOf->[GIRL : Dorothy], <-AGNT-[Being_Born]-LOC->[COUNTRY : Oz]. REQUETE: ?- [CITIZEN : x]<-memberOf-[COUNTRY : Oz]. {x= Tinman}; {x = Dorothy}
La plateforme AMINE:
Plateforme pour le dveloppement des Systmes et des Agents Intelligents
Ontologie
Structures Conceptuelles
+
Noyau
Oprations Cognitives/Conceptuelles
+
(Modes de) Raisonnements/ Infrences
+
Stratgies dApprentissage
Le Site Web ddi AMINE: Amine Web Site Utilisation acadmique mondiale de AMINE (par =/= groupes et =/= tudiants en M.Sc. et Ph.D.)
Groupe Canadien Groupe Danois qui a dvelopp aussi un site tutoriel sur les GC, sur Prolog+CG et sur Amine Groupe Anglais Plusieurs individus de Taiwan, France, Australie, Egypte, etc.
Q/R en ACE
Le cas o linformation est plus spcifique Le cas o linformation est plus gnral
Le Processus dlaboration
Exploration ascendante de lOntologie/KB Le processus cherche fournir une formulation plus labore de la proposition spcifie au dpart. Ex: [Bus]-engn->[PetrolEngine]
Cette proposition peut tre labore en lui joignant la dfinition de Bus (exploitant ainsi la connaissance hrite):
[PetrolEngine #0] -fuel->[Gasoline], -force->[Average], <-engn-[Bus] Elle peut tre elle-mme labore davantage en joignant la dfinition de Gasoline:
Le processus dExplicitation
Exploration descendante de lOntologie/KB Suite un dialogue avec lutilisateur, le processus cherche fournir une description plus prcise de la proposition initiale: Ex:
Construction dynamique & automatique dune hirarchie de GCs par classification ou par gnralisation
-obj->[Mouse], -manr->[Furiously]
S1
S3
S3
S2
S1
S5
S1
S2
S4
S6
S5
S6
Introduction
Dans lapproche classique, les faits et les rgles utiliser sont fournis au moteur dinfrence Chez lHumain, les faits et les rgles sont contenus dans la mmoire, Le moteur dinfrence devrait chercher et identifier lui-mme les faits et les rgles activer
La dduction
Utilisons lontologie CatMouse3.xml
Rule #2: if the cat is strong then the color of the cat is black.
Dduction
Le systme prend connaissance dune proposition:
Labduction
On utilise la mme ontologie CatMouse3 Reformulation des deux rgles indexes sous Strong et Cat
Abduction
Le systme prend connaissance de la proposition:
Abduction
Application du mme principe quavec la dduction, Sauf quau niveau de linterprtation des rgles:
Si la partie conclusion dune rgle active est plus gnrale que la proposition, alors on tente la jointure de la partie condition de la rgle avec la proposition
Lanalogie
On utilise la mme ontologie CatMouse3 La rgle suivante sera utilise:
If a Human h (want to) Cut an Apple a, then he/she has to cut the apple a with a Knife.
Analogie
Le systme prend connaissance de la proposition suivante:
Le principe est le mme sauf quil y aurait dans ce cas une interprtation analogique des rgles:
Une fois une rgle R est localise: On applique lopration de projection entre la proposition P et la partie condition de la rgle afin de:
Vrifier une certaine similarit entre les deux proposition (en vrifiant que P se projette sur Cond/R Etablir une correspondance/mapping entre P et Cond/R
Analogie
La proposition intgrer est la suivante:
a Country c1 wants to possess Tomatos owned by another Country c2.
FAITS: [PERSON : Tinman]-childOf->[GIRL : Dorothy], <-AGNT-[Being_Born]-LOC->[COUNTRY : Oz]. REQUETE: ?- [CITIZEN : x]<-memberOf-[COUNTRY : Oz]. {x= Tinman}; {x = Dorothy}
Le langage SYNERGY
SYNERGY: Langage de programmation par activation des GCs Les GCs peuvent tre utiliss pour reprsenter une connaissance dclarative et aussi une connaissance procdurale et comportementale (action, opration, expression, procdure, fonction, tche, processus, etc.) Les GCs deviennent des structures excutables Programmation par activation et par propagation Programmation dirige par les donnes (forward activation) Programmation dirige par les buts (backward activation) Programmation parallle (simule)
Dfinition de RecursiveFactorial
BD utilise
La requte
Modification dynamique du programme par jointure de GC (situations contenus dans la BC) Jointure du schma pour Age
Conclusion
Programmation dynamique avec SYNERGY Une piste trs prometteuse, qui reste explorer Composition dynamique dune tche ou dun processus partir de sous-tches ou sous processus
Development Environment
AmineJadeAgent
Le corps est en Jade & lesprit en Amine !!
PPCGAmineJadeAgent
Chaque agent lui est associ un interprteur Prolog+CG
Description de lEnvironnement
// The fact that Food honey is at position (3, 11) with quantity 100 Environment( Food ):: [Food = "honey"] -locatedIn-> [Position = [3,11]], -exists-> [Quantity = 100 ]. Environment( Food ):: [Food = "honey"] -locatedIn-> [Position = [24,6]], -exists-> [Quantity = 250 ]. // The fact that Agent John is at position (5, 5) and it is of type Bear Environment( Agent ):: [Agent = John] -locatedIn-> [CurrentPosition = [5,5]], -typeOf-> [Type = Bear ]. // The fact that trajectory Food1 is defined by the points (5, 5), (3, 5), (4, 7), (2, 9), (3, 11), that there is honey at position (3, 11) which is Food Environment( Trajectory ):: [ Trajectory = "Food1"]-has-> [ List = [ [5,5] , [3,5] , [4,7] , [2,9], [3,11] ] ], -obj-> [ Object = "honey" ], -typeOf-> [ Type = Food ].
// Another plan is to ask a friend Animal( _Agent, Plan ):: [Animal : _Agent] <-actor-[Plan2_SatisfyHungry] -intensityOf-> [Hungry = _Level] :getAnimalPosition( _Agent, _CurrentPosition ), print("I am now in "), print (_CurrentPosition), Animal( _Agent, Procedure ):: [Animal : _Agent] <-actor- [PerceptionOf]-id-> [Name = "Neigberhood"], -obj-> [Agent = _OtherAgent], -locatedIn-> [Position = _OtherAgentPosition], Animal( _Agent, Procedure ):: [Animal : _Agent] <-actor- [Trajectory]-id-> [Name = "Final"], -locatedIn-> [CurrentPosition = _CurrentPosition], -to-> [TargetPosition = _OtherAgentPosition], AskAnimalFriendForFood( _Agent,_OtherAgent), Animal( _Agent, Plan ):: [Animal : _Agent] <-actor- [Plan1_SatisfyHungry] -intensityOf-> [Hungry = _Level],!.
Perspective
Les perspectives sont nombreuses:
Utilisation de la couche Ontologie et BC Utilisation des GC et des oprations sur les GC Utilisation des stratgies dapprentissage et dinfrence Utilisation de PROLOG+CG Utilisation de SYNERGY Utilisation de la couche Agent/SMA
Conclusion
Beaucoup a t fait Beaucoup reste faire !!
Au niveau du re-engineering de AMINE afin de le rendre plus oprationnelle et plus professionnelle Au niveau du dveloppement/extension dAMINE Au niveau de lutilisation dAMINE
Invitation
AMINE possde un grand avenir SI il est retravaill, dvelopp, tendu et utilis dans diffrentes applications relles Cest ce que votre quipe peut apporter