 | | |
| 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 | | 5 |
|
| Master en sciences informatiques, à finalité approfondie, 1re année | | 6 |
|
| Master en sciences informatiques, à finalité spécialisée en gestion, 1re année | | 6 |
|
| Master en sciences informatiques | | 6 |
|
| Master en linguistique, à finalité approfondie, 1re année | | 10 |
|
| Master en sciences mathématiques, à finalité spécialisée en informatique, 2e année | | 6 |
|
|
|
| Nom du professeur : | Pascal Gribomont |
|
Langue(s) du cours :
|
| Langue française |
|
Organisation et évaluation :
|
| Enseignement au premier quadrimestre, examen en janvier |
|
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) :
|
| 1er quadrimestre, le vendredi à 8h30 (B28, local 1.123) |
|
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. |
|
Stage(s) :
|
| |
|
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 |
|
