Les différents formalismes de représentation des connaissances

UNIVERSITE KASDI MERBAH OUARGLA
FACULTE DES SCIENCES ET TECHNOLOGIE
ET SCIENCES DE LA MATIERE
DEPARTEMENT DE MATHEMATIQUES
ET D’INFORMATIQUE
EXPOSE
Niveau : 2ème année LMD G2
Spécialité : Informatique
Thème
Rapport sur la représentation de la
connaissance dans les systèmes expert
Présenté par :
REZKI Boumediene
Année universitaire : 2012/2013
Introduction
Au cours des année , l’homme obtient des connaissances dans plusieurs
domaines , cette connaissance varie selon sa nature et son importance .mais le
cerveau humain tend à oublier ou simplement se tromper lors de l’utilisation de
cette connaissance , ce qui a mener à l’idée de modéliser celle-ci de sorte qu’elle
devienne explicite et facile à manipuler , ce qui est constitué un axe centrale de
recherche dans l’Intelligence artificielle , et qui est l’objet de la représentation
de la connaissance .
Les différents formalismes de représentation des connaissances
Dans la mesure où le concept de formalisme concerne beaucoup plus l’aspect
extérieur des choses et non le fond et le contenu, les représentations que nous
proposerons des différents aspects de connaissance seront formelles.
Nous citerons certains formalismes:

Base_de_la_logique_classique : logique des propositions,logique des prédicats,
représentation des connaissances par ces logiques.

Notion de modalité : syntaxe, règles de déduction, présentation et discussion
sur les divers axiomes. Sémantique : mondes possibles, sémantique de Kripke.

Les_logiques_modales pour
épistémiques, déontiques.

Connaissances menant à des conclusions révisables : Logique des défauts,
circonscription, auto- épistémique, modèles préférés.
la représentation du
temps, des connaissances

Les réseaux sémantiques : graphes conceptuels, inférences par propagation,
logique de description.

L’incertitude totalement ordonnée : modèles probabilistes, modèle de
Dempster-Schäfer, théorie des possibilités. Utilisation de ces méthodes pour le
raisonnement causal (réseaux bayésiens)

Frame language: FRL, pour inventé par Marvin Minsky.
Il repose sur la structure Frame représentation language, est un
langage de programmation de donnée bénéficiant d'une structure
globale standardisée appelée frame, modèle conçu pour représenter les
connaissances et permettant la réalisation de systèmes règles-faits
intimement liés, selon un principe similaire aux systèmes experts,
mais aussi selon le principe opposé (les données déclenchant alors
les règles).
Conclusion
Choisir la bonne Interprétation peut être difficile, le choix de la représentation
est lui-même problématique, il est important d’avoir une représentation simple,
mais cela peut interdire certains types de raisonnements, la représentation
dépend beaucoup du but poursuivi même dans des situations simples, il est
facile d'omettre la représentation d'informations nécessaires parce qu'elles
paraissent.