University of Liege | Version française
	Study programmes 2008-2009 Last update : 29/06/2009
	INFO0049-1   Knowledge Representation Duration :   30h Th, 30h Pr Credits/ECTS :   Master in Computer Engineering, in-depth approach, 2nd year Premier quadrimestre 5 Master in Computer science, Research Focus, 1st year Premier quadrimestre 6 Master in Computer Science, Professional Focus (Management), 1st year Premier quadrimestre 6 Master in Linguistics, Research focus, 1st year Premier quadrimestre 10 Holder(s) :   Pascal Gribomont Language :   Langue française 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 Guillaume Docquier docquier@montefiore.ulg.ac.be Remarks :   http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html Home Search by Faculty Search by teacher Search by course code and title
	Students and Studies Administration - Academic Affairs - Contact : Monique Marcourt, General Director for Education and Training - Developed by SEGI