 | | |
| INFO0049-1 | Knowledge Representation
|
|
| Duration : | 30h Th, 30h Pr |
|
| Number of credits : |
| Master of science in computer science and engineering, in-depth approach, 2nd year | | First semester | | 5 |
|
| Master in Computer science, Research Focus, 1st year | | First semester | | 6 |
|
| Master in Computer Science, Professional Focus (Management), 1st year | | First semester | | 6 |
|
| Master in Computer science | | First semester | | 6 |
|
| Master in Linguistics, Research focus, 1st year | | First semester | | 10 |
|
| Master in Mathematical Sciences, professional focus in computer science, 2nd year | | First semester | | 6 |
|
|
|
| Lecturer : | Pascal Gribomont |
|
Language(s) of instruction :
|
| French language |
|
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. |
|
Prerequisites and co-requisites/ Recommended optional programme components :
|
| INFO0051-1
and
INFO0054-1. |
|
Planned learning activities and teaching methods :
|
| Prolog programming - exercises |
|
Mode of delivery (face-to-face ; distance-learning) :
|
| To be decided with the students. |
|
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.
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 methods and criteria :
|
| Homeworks.
Oral examination. |
|
Organizational remarks :
|
| http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
Contacts :
|
| Pascal Gribomont
gribomont@montefiore.ulg.ac.be
Stéphane Lens
lens@montefiore.ulg.ac.be |
|
