Powerpoint slides and word documents:
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).
In general, it is a good idea to buy a copy of the course notes. It can be obtained from the student organisation VTK. On monday september 29, 13h00 tot 18h00, the course-note service of VKT is open at "Theokot", in the building of "Bouwkunde", at the back side of the building (Kasteelpark Arenberg 41).
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
Automated Reasoning: Logic Programming
There is also going to be an extension of the course notes on the topic of Automated Reasoning. It will be available from the student organisation VTK starting from November 2003.