This course presents methods of symbolic artificial intelligence based on a modeling of the problem to solve by mathematical variables and constraints, and their solving by general purpose rewriting algorithms for symbolic, logical and arithmetic constraints
Each lecture of 2h is followed by 2h of practical work (TD) for illustrating the taught concepts of constraint logic programming, and for programming in Prolog with modeling libraries the resolution of knowledge representation and decision making problems.
Grading : 50% 7 best over 9 TPs, 50% written examination
Language of the classes : documents in English, teaching in English on demand
Credits ECTS : 4
- Teaching coordinator: Fages François
- Teaching coordinator: Hemery Mathieu
- Teaching coordinator: Rohmer Damien