University of Liege | Version française
	Study programmes 2007-2008 Last update : 7/05/2008
	INFO0049-1   Knowledge Representation Duration :   30h Th, 30h Pr Credits/ECTS :   civil engineer in computer sciences, 2nd year 5,5 "licencié" in computer, 2nd year 6 Master in Informatical Sciences, in-depth approach, 1st year Toute l'année 6 Master in Informatical Sciences, specialized approach, 1st year Toute l'année 6 Master in Linguistics, Research focus, 1st year Toute l'année 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 François Van Lishout vanlishout@montefiore.ulg.ac.be 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