 | |
| INFO0049-1 | Représentation de la connaissance
 |
|
| Durée : | 30h Th, 30h Pr |
|
| Crédits/ECTS : |
|
|
| 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
François Van Lishout
vanlishout@montefiore.ulg.ac.be |
|
|
| |
