 | | |
| INFO0049-1 | Représentation de la connaissance
|
|
| Durée : | 30h Th, 30h Pr |
|
| Nombre de crédits : |
| Master en ingénieur civil en informatique, à finalité approfondie, 2e année | | Premier quadrimestre | | 5 |
|
| Master en sciences informatiques, à finalité approfondie, 1re année | | Premier quadrimestre | | 6 |
|
| Master en sciences informatiques, à finalité spécialisée en gestion, 1re année | | Premier quadrimestre | | 6 |
|
| Master en sciences informatiques | | Premier quadrimestre | | 6 |
|
| Master en linguistique, à finalité approfondie, 1re année | | Premier quadrimestre | | 10 |
|
| Master en sciences mathématiques, à finalité spécialisée en informatique, 2e année | | Premier quadrimestre | | 6 |
|
|
|
| Nom du professeur : | Pascal Gribomont |
|
Langue(s) du cours :
|
| Langue française |
|
Contenus du cours :
|
| Un programme classique codifie une certaine connaissance, sous une forme directement exploitable par la machine. Il est souvent intéressant, en intelligence artificielle par exemple, d'exploiter une connaissance codée de manière plus naturelle. Le cours présente la logique du premier ordre comme outil privilégié de représentation de la connaissance. Les principes de la programmation logique sont étudiés en détail. On montre que le langage PROLOG constitue une mise en oeuvre partielle mais commode de ces principes. |
|
Acquis d'apprentissage (objectifs d'apprentissage) du cours :
|
| Principes de base de la programmation logique.
Techniques de base de la programmation en Prolog.
Applications simples à l'intelligence artificielle. |
|
Prérequis et corequis / Modules de cours optionnels recommandés :
|
| INFO051-1
et
INFO054-1. |
|
Activités d'apprentissage prévues et méthodes d'enseignement :
|
| Exercices de programmation en Prolog. |
|
Mode d'enseignement (présentiel ; enseignement à distance) :
|
| A décider avec les étudiants. |
|
Lectures recommandées ou obligatoires et notes de cours :
|
| Référence principale:
P. Gochet et P. Gribomont,
Logique, volume 3: Méthodes pour l'intelligence artificielle (chapitres 10, 11 et 12),
Hermes, Paris, 2000.
Quelques compléments seront distribués aux étudiants.
Lectures complémentaires utiles:
L. Sterling and E. Shapiro, The Art of Prolog,
MIT Press, 1994 (2nd ed).
I. Bratko, Prolog Programming for Artificial Intelligence,
Prentice Hall, 2000 (3rd ed). |
|
Modalités d'évaluation et critères :
|
| Travaux individuels.
Un examen oral. |
|
Remarques organisationnelles :
|
| http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
Contacts :
|
| Pascal Gribomont
gribomont@montefiore.ulg.ac.be
Stéphane Lens
lens@montefiore.ulg.ac.be |
|
