For students in the MAI-programme. For your information, here
is the MAI Self Study Report. The first two chapters are in English,
so that international students can understand.
SSR_MAI
Below are all the presentations for the lectures in the Fundamentals of AI course. Note that the handouts are on a separate sub page of my home page.
Introduction to AI and to this course
Introduction to State Space Representation
Basic Search: Heuristic search
MS Word document on Constraint Propagation
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"),
Applications of constraint processing in Natural Language (see also Winston).
The material for this are the corresponding chapters in the book of Winston: "Symbolic Constraint Processing" and "Frames and Common Sense".
In general, it is a good idea to buy a copy of the course notes. It can be obtained from the student organisation VTK.
The above material is the content for the FAI course FOR THE STUDENTS OF THE CS-option AND THE SLT-option OF MAI, as well as for students from other programs at K.U.Leuven who take FAI as a 3 point-course.
Students in the MAI program following the option ECS should in addition follow the part on automated reasoning. The slides (powerpoint presentations) for the automated reasoning part are listed below.
Automated Reasoning: Introduction
Automated Reasoning: Ground Horn Logic
Automated Reasoning: Horn Logic
Automated Reasoning: Clausal Logic