 |  |  |  |  |
| | |
|||||||
| INFO0049-1 | Représentation de la connaissance
[ english version ]
| ||||||||
| |||||||||
| Durée : | 30h Th, 30h Pr | ||||||||
| |||||||||
| Crédits/ECTS : |
| ||||||||
| |||||||||
| Titulaire(s) : | Pascal Gribomont | ||||||||
| |||||||||
| |||||||||
| 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 : | Un cours de logique, par exemple INFO051-1. Un cours de programmation, par exemple INFO054-1. | ||||||||
| |||||||||
| Travaux pratiques : | Exercices de programmation en Prolog. | ||||||||
| |||||||||
| Organisation : | 2ème semestre | ||||||||
| |||||||||
| 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 | ||||||||
| |||||||||
ULg : Administration de l'Enseignement et des Etudiants - Affaires Académiques
Responsable de l'information : Monique Marcourt, direction A.E.E.
Date de validité des données : 27/02/2006
Réalisation SEGI