Les réseaux sémantiques[Quillian 68]

Slides:



Advertisements
Présentations similaires
MOT Éditeur de modèles de connaissances par objets typés
Advertisements

IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Uniformisation des mécanismes de conception de SMA.
Treuil IRD Abdelwahed FSSM-Marrakech
Algorithmes et structures de données avancés
Réflexivité et réseaux d’ information
Apprentissage relationnel Apprentissage Data Mining ILP.
APPROCHE PAR LES COMPETENCES ET
Ontologie, Méta-données, Sémiotiques
Cours dinformatique théorique INF f5 Alain Lecomte novembre 2005.
Licence Informatique Module Théories et Modèles pour l'Informatique II Option Programmation logique en Prolog Philippe Collard
Nicolas Bourbaki.
Conception et analyse des algorithmes
Pour un système formel de description linguistique
Graphes Conceptuels J.F. Baget Inria.
Programmation logique Logique des prédicats du premier ordre
Introduction à la conception de Bases de Données Relationnelles
Programmation logique Démonstrateur automatique
La structuration et la représentation informatique de l'information
RDF(S)
SYSTEMES D’INFORMATION
Introduire la dérivée en 1re S comme réponse à une question
LES ARBRES IUP 2 Génie Informatique
MOT Éditeur de modèles de connaissances par objets typés
Unified Modeling Langage
Programmation non procédurale Le projet ECOLE 2000
Sensibilisation a la modelisation
Réalisé par Mr CALVO du Lycée Bon Secours à PERPIGNAN
Patrons de conceptions de créations
IFT Complexité et NP-complétude Chapitre 0 Rappels.
l’algorithme du simplexe
1. Représentation des informations
Transformation de l’énergie
Modélisation Objet UML avec Rational Rose 2000
Systèmes de gestion de bases de données NFP 107 Les techniques du contrôle de concurrence Philippe Rigaux
Les Logiques Non Monotones
La Logique des propositions
Les logiques de descriptions
METISSE Méthodes Et Théories pour une Ingénierie des Systèmes Socio- Environnementaux.
Logique programmée & Microprocesseurs
Graphes 1. Introduction 2. Définition 3. Représentation mémoire
Paradigmes des Langages de Programmation
Paradigmes des Langages de Programmation
Arbres et graphes.
Présenté par : Attia Hamza Merzouk Abdelkrim 2003/2004
JavaScript Nécessaire Web.
D.E ZEGOUR Ecole Supérieure d’Informatique
A propos des unités de la langue et du concept de l’arbitraire Estanislao Sofía – Université de Paris X – Nanterre.
La Logique du premier ordre LPO
INTRODUCTION.
Les principes de la modélisation de systèmes
Cours n°2UE102e(S. Sidhom) UE 102e. M1.IST-IE cours n°2 Systèmes à base de règles Par : Sahbi SIDHOM MCF. Université Nancy 2 Équipe de recherche SITE –
D.E ZEGOUR Ecole Supérieure d’Informatique
Cours 61 6 La sécurité, Portée, Visibilité Programmer avec sécurité.
Chapitre 2 Formalisme de la représentation des connaissances
Institut Supérieur des Sciences Appliquées et de Technologie Sousse
Mesure de la structure du système GEF492A 2014 Référence: [HvV §12.1.5] Capt Vincent Roberge Collège Militaire Royal du Canada Génie électrique et génie.
Approches Formelles en Systèmes d'information
Algorithmique et programmation (1)‏
Algorithmes et Programmation
Complexité des Problèmes Combinatoires Module IAD/RP/RO/Complexité Philippe Chrétienne.
Micro-intro aux stats.
Outils pour la programmation logique par contraintes
Olivier Leclair, Université Laval Un algorithme de fouille dans une représentation des données par objets: une application médicale SIMON, Arnaud.
2 Processus de conception de BD
Raisonnement et logiques
Chapitre 2 Rappels objet et Présentation des diagrammes UML
Chapitre 2 Rappels objet et Présentation des diagrammes UML
Les Ontologies S. Garlatti.
Concepts avancés en mathématiques et informatique appliquées
Algorithmes parallèles
Transcription de la présentation:

Les réseaux sémantiques[Quillian 68] Un réseau sémantique est un graphe composé : D’un ensemble de nœuds étiquetés : représentant généralement des objets D’un ensemble de liens orientés et étiquetés entre ces nœuds : représentant généralement des relations entre des objets, D’un ensemble d’opérations d’exploitation de ce graphe : constituant les mécanismes de raisonnement. Une liaison entre deux nœuds étiquetés A et B par un arc étiqueté R signifie que les deux entités A et B ont la propriété d’être en relation par R Ne correspond généralement pas au formalisme d’implémentation.

Animal Sorte_de Oiseau Poisson Thon Autruche Canari instance Titi

(x) ( A(x)  (y) (B(y)  R(x,y))) Pb : N’est pas défini formellement, et le raisonnement associé est dépendant des stratégies de l’implémentation. Évolution : Caratérisation logique Sous forme de prédicat on écrit : R(A, B) Représenter l’appartenance d’un individu à une catégorie se traduit en logique par B(A) Cas où A et B sont des classes : l’objet de la classe B joue le rôle de R lien Is a en logique ça se traduit : (x) ( A(x)  (y) (B(y)  R(x,y))) Cette traduction logique suppose que l’on sait différentier les nœuds qui représentent des classes de ceux dénotant des individus [KL-one de Brachman 77 – 85]

Les réseaux partitionnés Exemple : tout mammifère a un cœur (x)(mammifere(x)  (y (cœur(y)  possede(x,y) n’est pas représenté : tout nœud représente l’existence de l’objet correspondant dans la partition où il apparaît : x se trouve dans l’intersection d’un rectangle anté et d’un rectangle cons d’une même implication. L’éclatement du prédicat de possession : pour tout x, si x est un mammifère, alors il existe une instance de possession, dont l’agent est x et l’objet un individu c dont on affirme l’existance tel que c cœurs. mammifere implication e anté i1 possession e consé e x coeur agent e objet p c

Représenter des modalités Tout ce qui est susceptible d’étiqueter une proposition Pierre est ministre (e) Pierre sait qu’il est ministre : S1 instance de savoir dont l’agent est pierre , et l’objet sa propre appartenance à ministre. Jean croit que pierre n’est pas ministre c1 est une instance de croire, dont l’objet est l’existence d’une négation n1, niant le fait que pierre soit ministre. Paul ne sait pas si pierre est ministre : n2 nie le fait que paul le sache negation ministre savoir e objet e s1 arg e agent n1 e n2 pierre e objet objet c1 arg s2 agent e croire jean agent paul

Remarque : on s’est donné une famille paramétrée Si et Ci où i représente l’agent du savoir ou de la croyance. Ceci se traduit avec quelques problèmes en logique modale (un faux second ordre avec réification). Par exemple utilisation de ministre pour dénoter un ensemble. Raisonnement : Inférence par propagation, un raisonnement équivalent à la neurophysiologie où on peut utiliser des machine massivement parallèles dans lequel le processus s’arrête en un nombre de pas au plus égal au diamètre du réseau. Propagation de marqueurs [Fahlman 79] (Réseaux de neurones formels) : toutes les unités d’un réseau sémantique nœuds et arcs possèdent une mémoire locale et une capacité de répondre à quelques ordres très simples émanant d’un organe central

L’existence d’exception complique les programmes de raisonnement. Il existe un algorithme permettant de répondre à la question : une instance de A est-elle une instance de B? L’existence d’exception complique les programmes de raisonnement. Faiblesses des RS Manque de sémantique formelle et de terminologie standard Interprétation difficile des connaissances : tjs un compromis à faire entre la complexité de la structure de données et la complexité de l’interpréteur Autres solutions : utilisation des logiques de description ou les logiques terminologiques (opérations de classification) Brachman et Levesque Animal à coquille Lien sorte de strict Lien sorte non strict mollusque Lien non sorte de strict Lien non sorte de non strict céphalopode Lien d’exception nautile