LRC

Logique et Représentations des Connaissances

Ce module poursuit un triple objectif pédagogique. Il vise d’abord à donner aux étudiants de master d’informatique les fondements logiques nécessaires pour aborder la modélisation du raisonnement en Intelligence Artificielle, la représentation des connaissance, en Intelligence Artificielle et en Bases de Données, pour la conception de modèle conceptuelle de systèmes d’information, pour la formalisation de problèmes en Recherche Opérationnelle et enfin pour la spécification de programmes en Algorithmique et en Programmation. En deuxième lieu, ce cours présentera le formalisme des logiques de description qui servent aujourd’hui de fondement à la représentation des ontologies et au Web sémantique. En troisième lieu, ce module initiera les étudiants à la programmation logique et leur enseignera les rudiments du langage PROLOG. Ce langage original procurera à tous les futurs ingénieurs logiciels une ouverture d’esprit précieuse tout en leur donnant des compétences techniques utile en Intelligence Artificielle et en Bases de Données. Enfin, en donnant les fondements théoriques du langage PROLOG, ce cours constituera une introduction pédagogique à la démonstration automatique de théorème et la théorie de la preuve, ce qui est fort utile tant pour le génie logiciel et la preuve de programme, que pour l’intelligence artificielle.