Représentation de connaissances
et raisonnements
Michel Leclère
&
Marie-Laure Mugnier
Problème central en IA : représenter diverses
connaissances humaines sous une forme utilisable par des
ordinateurs pour effectuer des raisonnements
Systèmes à base de connaissances
Base de Services de
connaissances K raisonnement
Représentation d’un domaine Inférences
d’application à partir de K
- ontologie
- faits Nouvelles connaissances,
réponses à une question,
…
Exemple 1 : recherche d’information
Ressources Vidéo segment
Ontologie O
Annotation A
Connaissances
générales
Requête Q
(thématiques,
audiovisuelles, Annotation Caractéristiques
…) sémantique techniques
(« contenu ») (durée, qualité,
…)
Trouver les ressources pertinentes
pour Q Base d’annotations A
= celles dont l’annotation répond à Q
= { A |Q peut être inférée de A et O } Base de connaissances
À la base : déduction Un des problèmes phares
du web sémantique
Exemple 2 : prise de décision par un agent (robotique, jeux …)
Monde du wumpus
Partant d’une ignorance totale de la
configuration de son environnement,
l’agent doit raisonner à partir de
ses perceptions
et des règles générales sur le monde.
Objectifs : trouver l’or si possible,
en tous cas rester en vie
PIT
Exemple 3 : classification / catégorisation
Dépêches de Catégories de publics
presse
Problème : classifier les dépêches selon les catégories
de public qu’elles peuvent intéresser
Règles de catégorisation
Catégorie C : « pour tout x, si conditions alors C(x) »
+ Connaissances générales sur le domaine
Analyse linguistique,
d text mining …
Annotation de d
A(d)
Question : peut-on ranger d dans la catégorie C, c’est-à-dire peut-
on inférer la connaissance C(d) à partir de la base et de A(d)?
Contenu du module
• Concepts fondamentaux : base de connaissances, ontologie, différentes
formes de connaissances, de sémantiques, de raisonnement, mécanisme
d’inférence correct et complet, …
• Etudes de langages de représentation et de raisonnement :
Langage de référence : logique d’ordre 0 ou 1
Mais complexité computationnelle trop grande !
On s’intéressera à langages correspondant
à des « fragments » particuliers de la logique, par ex :
Règles et mécanismes de marche avant et marche arrière
Graphes conceptuels et mécanismes basés sur des opérations
de graphes
Logiques de description (OWL) et algorithmes de subsomption
• Modélisation, utilisation de logiciels existants, et programmation