This page contains handouts for the courses Fundamentals of AI (MAI-programme), Artificiele Intelligentie (Leuven) and Artificial Intelligence (Louvain-la-Neuve). The material is essentially the same for all 3 courses, except that for the course Artificiele Intelligentie (Leuven) there are also Dutch versions for the part on Automated Reasoning.
Note that all handouts are upside down. I used an 'a2ps' conversion program in order to be able to fit 3 slides on a page - which a nice size to study or work on -, but for some reason it turns the pages upside down. The intension is that the handouts are printed, so that the upside down aspect is irrelevant.
Introduction to AI and to this course
Introduction to State Space Representation
Basic Search: Heuristic search
Constraint processing: backtrack techniques
Constraint processing: consistency and hybrid techniques
Version Spaces Machine Learning
Note that there are also some handwritten slides on the topics of:
Applications of constraint processing in interpretation of line drawings (see also the book of P.H.Winston, "Artificial Intelligence, third edition"),
The material for this are the corresponding chapter in the book of Winston: "Symbolic Constraint Processing". A scan of this will be included here later.
The above material is the content for the FAI course FOR THE STUDENTS OF THE CS-option AND THE SLT-option OF MAI.
Students in the MAI program following the option ECS should in addition follow the part on automated reasoning. Students in Artificial Intelligence (Louvain-la-Neuve) and Artificiele Intelligentie (Leuven) also have the automated reasoning part. The handouts are:
Automated Reasoning: Introduction
Automated Reasoning: Ground Horn Logic
Automated Reasoning: Horn Logic
Automated Reasoning: Clausal Logic