 |  |  |  |  |
| | |
|||||||
| INFO0049-1 | Knowledge Representation | ||||||||
| |||||||||
| Duration : | 30h Th, 30h Pr | ||||||||
| |||||||||
| Credits/ECTS : |
| ||||||||
| |||||||||
| Holder(s) : | Pascal Gribomont | ||||||||
| |||||||||
| |||||||||
| Course contents : | Classically a program is a piece of procedural knowledge. Allowing a more declarative style is often useful in artificial intelligence and other areas. First order logic is introduced here as a declarative programming technique. PROLOG is viewed as a partial but convenient implementation of the principles of logic programming. | ||||||||
| |||||||||
| Course objective : | Basic principles of logic programming. Basic programming techniques in Prolog. Elementary applications in artificial intelligence. | ||||||||
| |||||||||
| Prerequisites : | An introduction to first-order logic, e.g. INFO0051-1. An introduction to programming, e.g. INFO0054-1. | ||||||||
| |||||||||
| Workshops : | Prolog programming - exercises | ||||||||
| |||||||||
| Organization : | 2nd semester | ||||||||
| |||||||||
| Written notes : | P. Gochet et P. Gribomont, Logique, volume 3: Méthodes pour l'intelligence artificielle (chapitres 10, 11 et 12), Hermes, Paris, 2000. Some complements will be handed out. Also useful: 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). | ||||||||
| |||||||||
| Assessment : | Oral examination. | ||||||||
| |||||||||
| Contacts : | Pascal Gribomont gribomont@montefiore.ulg.ac.be François Van Lishout vanlishout@montefiore.ulg.ac.be | ||||||||
| |||||||||
ULg : Students and Studies Administration - Academic Affairs
Contact : Monique Marcourt, direction A.E.E.
Date of data : 27/02/2006
Developed by SEGI