Study Programmes 2015-2016
| INFO0049-1 | ||
| Knowledge representation | ||
|
Duration :
|
||
| 30h Th, 25h Pr, 50h Proj. | ||
|
Number of credits :
|
||
|
Lecturer :
|
||
| Pascal Gribomont | ||
|
Language(s) of instruction :
|
||
| English language | ||
|
Organisation and examination :
|
||
| Teaching in the second semester | ||
|
Units courses prerequisite and corequisite :
|
||
| Prerequisite or corequisite units are presented within each program | ||
|
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. | ||
|
Learning outcomes of the course :
|
||
| Basic principles of logic programming.
Basic programming techniques in Prolog. Elementary applications in artificial intelligence (puzzles, riddles, one- or two-player games). |
||
|
Prerequisite knowledge and skills :
|
||
| INFO0051-1 Logic and INFO0054-1 Functional Programming | ||
|
Planned learning activities and teaching methods :
|
||
| Prolog programming - exercises | ||
|
Mode of delivery (face-to-face ; distance-learning) :
|
||
| 2nd quadrimester, Tuesday at 8:30 (B28, room 1.123).
Face-to-face. |
||
|
Recommended or required readings :
|
||
| Main text:
P. Gochet et P. Gribomont,
Logique, volume 3: Méthodes pour l'intelligence artificielle (chapitres 10, 11 et 12),
Hermes, Paris, 2000.
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 methods and criteria :
|
||
| Homeworks. Oral examination. | ||
|
Work placement(s) :
|
||
|
Organizational remarks :
|
||
| http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html | ||
|
Contacts :
|
||
| Pascal Gribomont <gribomont@montefiore.ulg.ac.be> | ||