 | |
| INFO0049-1 | Représentation de la connaissance
 |
|
| Durée : | 30h Th, 30h Pr |
|
| Crédits/ECTS : |
| 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 | | Toute l'année | | 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 | | Toute l'année | | 6 |
|
|
|
| Titulaire(s) : | Pascal Gribomont |
|
| Langue : | Langue française |
|
| Aperçu général : | 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. |
|
| Objectif du cours : | Principes de base de la programmation logique.
Techniques de base de la programmation en Prolog.
Applications simples à l'intelligence artificielle. |
|
| Pré-requis : | INFO051-1
et
INFO054-1. |
|
| Travaux pratiques : | Exercices de programmation en Prolog. |
|
| Organisation : | A décider avec les étudiants. |
|
| 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). |
|
| Evaluation : | Un examen oral. |
|
| Contacts : | Pascal Gribomont
gribomont@montefiore.ulg.ac.be
Stéphane Lens
lens@montefiore.ulg.ac.be |
|
| Remarques : | http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
|
| |
