 | |
| INFO0049-1 | Knowledge Representation
 |
|
| Duration : | 30h Th, 30h Pr |
|
| Credits/ECTS : |
| Master in Computer 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 | | Toute l'année | | 6 |
|
| Master in Linguistics, Research focus, 1st year | | First semester | | 10 |
|
| Master in Mathematical Sciences, professional focus in computer science, 2nd year | | Toute l'année | | 6 |
|
|
|
| Holder(s) : | Pascal Gribomont |
|
| Language : | 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. |
|
| Course objective : | Basic principles of logic programming.
Basic programming techniques in Prolog.
Elementary applications in artificial intelligence. |
|
| Prerequisites : | INFO0051-1
and
INFO0054-1. |
|
| Workshops : | Prolog programming - exercises |
|
| Organization : | To be decided with the students. |
|
| Written notes : | 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 : | Oral examination. |
|
| Contacts : | Pascal Gribomont
gribomont@montefiore.ulg.ac.be
Stéphane Lens
lens@montefiore.ulg.ac.be |
|
| Remarks : | http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
|
| |
