Module RI : Recherche d'informationsDescription détaillée des modulesModule PP : Preuves et programmes, une introduction à  l'aide
du système Coq Module RC : Représentations des connaissances

Module RC : Représentations des connaissances

Equipe pédagogique :
Danièle Ziebelin, Michel Page
Volume :
12h.
Spécialité :
III
Ce module n'est pas proposé en 2004-2005

"La Représentation des Connaissances est un sujet multidisciplinaire appliquant des théories et des techniques issues de trois autres domaines : la logique qui fournit des structures formelles et des règles d'inférence; l'ontologie qui définit la nature des choses existant dans le domaine d'application; l'informatique qui supporte les applications permettant de distinguer la représentation des connaissances de la pure philosophie" John Sowa 98.

L'objectif de ce module est de présenter différents formalismes de représentation de connaissances, ainsi que différents modèles de raisonnement couramment utilisés dans les systèmes à base de connaissances.

Plan :


September 17, 2004
La forme hypertexte de ce document a été produite par Hyperlatex

Module RI : Recherche d'informationsDescription détaillée des modulesModule PP : Preuves et programmes, une introduction à  l'aide
du système Coq Module RC : Représentations des connaissances