UNIVERSITE ABDELHAMID IBN BADIS MOSTAGANEM
FACULTE DES SCIENCES EXACTES ET DE L’INFORMATIQUE
DEPARTEMENT DE MATHEMATIQUES ET INFORMATIQUE
Licence: L3
Intelligence Artificielle
Cours: Présentation de la connaissance / Réseaux sémantiques
Présenté par :
Mme KAID SLIMANE B.
Introduction
●
L’un des objectifs majeurs de l’I.A est la résolution de
problèmes complexes et dérivant de domaines variés.
●
Pour résoudre un problème donné, on a souvent besoin
de manipuler des connaissances du domaine concerné.
Ces connaissances nécessitent des modèles et des
formalismes de représentation capables de les rendre
utilisables sur ordinateur.
2
Définitions
●
Une donnée transporte l'information. Ce sont des signaux non interprétés.
Exemple. ! ...- - -... C
L’information est une interprétation de la donnée. Exemple. (!, point d’exclamation),
●
(...- - -..., SOS), (C, lettre) ou (C, note)
La connaissance utilise l'information dans le cadre d'actions, dans un but précis. Les
●
actions peuvent être la prise de décisions, la création de nouvelles informations,
etc.
Exemple.
●
écrire un “!” pour marquer une exclamation en fin de phrase
si le signal ...- - -... reçu alors déclencher l’alerte et envoyer des secours
●
si C apparaît sur une partition alors la référence est la gamme de Do, jouer
dans la gamme associée.
●
●
Nouvelles connaissances peuvent être créées depuis des connaissances à l’aide de
raisonnements.
Définitions
●
Raisonnement : c’est Penser de manière cohérente et
logique.
●
Le processus de création de connaissances implicites
depuis des connaissances explicites.
●
Représenter : Action de rendre sensible quelque chose au moyen
d’une figure, d’un symbole, d’un signe.
●
Un ensemble de conventions syntaxique + sémantique pour
décrire une chose, un événement, etc.
●
L’écriture est la représentation de la langue parlée.
Paradigmes de représentation des
connaissances
●
En matière de représentation de connaissances, on distingue –
historiquement deux paradigmes distincts :
●
Le paradigme revendiquant la séparation entre les connaissances et le
raisonnement (i.e. la manipulation de ces connaissances) et qui stipule
donc une représentation déclarative des connaissances;
●
Le paradigme dans lequel les connaissances et la manière de les
manipuler sont inter-mêlées et qui opte donc pour une représentation
procédurale des connaissances.
Paradigmes de représentation des
connaissances
● Il y a plusieurs raisons pour préférer la manière déclarative à la manière
procédurale :
● La représentation déclarative peut être modifiée facilement par ajout ou
suppression de nouveaux faits.
● Une même collection de faits peut être utilisée de différentes façons
moyennant quelques simples modifications et ce, selon le problème à
résoudre.
● Mieux encore, la représentation déclarative est souvent extensible au-delà
de ce qui est explicitement représenté et ce, parce qu’elle est ‘liée’ (malgré
tout) à des
● processus de raisonnement adéquats qui permettent la dérivation d’une
connaissance additionnelle.
Type de connaissances
4 types de connaissances nécessaires pour qu’un système se comporte
intelligemment (proche de la rep. Humaine) :
● Objets : on représente des objets, des classes d’objets et leurs descriptions dans
le monde réel, la connaissance : description des faits sur des objets qui nous
entourent, ex : «la neige est blanche»
● Evénements : on connaît des actions et des événements dans le monde réel,
«Ali viendra demain», on représente les événements et leurs relations de
causalité au cours du temps
● Réalisation : Une connaissance plus entendue que celle des objets et des
événements, exprime le comment faire des choses. Exprime une conduite : «
faire la bicyclette» La réalisation de connaissances (démonstration de théorème)
● Meta-connaissance : La connaissance de ce que nous savons (une connaissance
sur la connaissance). Nous savons des choses sur la fiabilité d’une certaine
information, des choses sur l’importance des faits spécifiques, etc.
Problèmes liés à la représentation des
connaissances
●
Problème 1. L’exception
●
Problème 2. L’univers en évolution
●
Problème 3. Modalité des
●
connaissances. Problème 4.
●
Conservation des ambiguités
●
Problème 5. Informations
● incomplètes, incertaines ou
● implicites.
Problème 6. Continuité, proximité,
transitivité.
Problème 7. Quantificateurs.
Modes de représentation des
connaissances
Critères de choix d’un formalisme de RC
●
Expressibilité : la capacité à représenter toutes les
connaissances pertinentes du domaine.
●
Fidélité : la capacité de ‘mappper’ facilement les connaissances du
domaine avec leur représentation.
●
Extensibilité : la capacité à acquérir de nouvelles
● connaissances. Adéquation ou ‘correction’ inférentielle : la
capacité à manipuler les connaissances par un mécanisme
● de raisonnement ‘valide’.
Explication : la capacité d’expliquer –aux humains- les
● raisonnements effectués sur les connaissances (plus précisément
leur représentation).
Efficacité calculatoire : la capacité à guider le processus de
raisonnement dans le choix des inférences à appliquer pour une
Réseaux
sémantique
s
Definitions
A l’origine, les réseaux sémantiques ont été développés par Quillian en 1968
à partir de travaux faits sur la modélisation en psychologie de la
mémorisation associative des êtres humains.
● Dans son modèle, les concepts sont
représentés par des nœuds et les relations
entre ces concepts par des arêtes.
● Un réseau sémantique est ainsi une méthode
pour représenter, de façon déclarative, des
relations entre entités. Il est construit à partir
de fragments qui sont des relations de la
forme: relation (entité 1, entité 2)
Definitions
Noeu Ar
d c
• Classes • Sorte-de (hiérarchie/typologie entre concepts
• Objets génériques)
• Actions • Est-un (instances entre concepts et objets)
• Situation • Partie-de (relation structurelle)
s • Relation spatiale, temporelle, etc.
Exemple
Un programme
peut répondre
• « Qui aime
Marie »
Remarques
●
L’élément fonctionnel de base d’un réseau sémantique est
composé de 2 noeuds relié par un arc étiqueté. Il est
appelé Fait.
●
Un noeud peut être transformé en prédicat.
Exemple : Possède(oiseau, Ailes)
● prédicats unaires (propriété) : (moineau (X) )
●
Certaines relations sont particulièrement
intéressantes :
●
Relation "element-de" : exprime l’appartenance d’un
objet à une classe (∈)
●
Relation "sous-ensemble-de" : exprime l’inclusion d’un
concept dans un autre concept (⊆)
Relationsspéciales
Énoncé conditionnel : Si X Alors Y
Utilisation des variable
Expréssions logique
Avantages/ Inconvénients
Avantages
● Héritage
●
Traitements des exceptions
●
Caractère graphique
● Facilite d’accès à des non
● informaticiens
● Possibilités d’adjonction
des procédures locales aux
● nœuds du réseau
Un RS est un schéma représentatif naturel d’un raisonnement basé sur une
Taxonomie compliquée
Inconvénients
Capacité d’expression
● Comment représenter supérieure à celle
des idées, des du calculdes
croyances, duimprécisions,
premier ordre, il distingue
etc.
l’héritage grâce à des nombreux liens conceptuels [Hendrix 75]
● Difficulté dans le raisonnement pour les grandes bases des données
Mode de représentation plutôt utilisé en complément à d’autres modes
Création d’un RS
Pour construire ce réseau sémantique :
1)On lit d’abord tout le texte pour repérer les objets et les
relations. En effet, leur réutilisation d’une phrase à l’autre
permet de mettre en évidence leur utilité.
2)On sépare les propositions atomiques et on les met
sous forme tabulaire.
3)On dessine successivement les parties de réseau
correspondant aux
propositions atomiques.
4)Éventuellement, on revient sur les choix effectués et on
rectifie le réseau
Création d’un RS
Exemple :
Un félin est un carnivore. Un carnivore est un animal
qui a les yeux dirigés vers l’avant et qui mange de la
viande. Les pattes d’un félin ont des griffes à leurs
extrémités. Un félin est un mammifère. Grisou et Garfield
sont des chats. Grisou est un chat mâle. Léo est un lion.
Les chats et les lions sont des félins. Un cheval est un
équidé. Un équidé est un mammifère.
Création d’un RS
félin sorte_de carnivore
carnivore direction des yeux avant
carnivore alimentation viande
félin extrémités pattes griffes
félin sorte_de mammifère
Grisou est_un chat
Garfield est_un chat
Grisou sexe mâle
Léo est_un Lion
chat sorte_de félin
lion sorte_de félin
cheval sorte_de équidé
équidé sorte_de mammifère
Création d’un RS