This course presents Symbolic Artificial Intelligence methods based on the modeling of the problem to solve by mathematical variables, constraints and logical formulae, and its solving using general purpose constraint solvers and logical resolution principles.
Each session is composed of a 2h lecture and 2h programming work (TD) for experimenting the taught concepts of Constraint Logic Programming. You will use the system SWI-Prolog with its libraries for constraint solving and constraint-based modeling in a series of 9 TDs to learn to solve questions of knowledge representation, deductive databases, symbolic computation, constraint solving, search algorithms, solving of combinatorial optimization problems, ressource allocation, placement, planning and task scheduling for decision support.
Grading :
50% written examination,
50% mean of the 7 best grades given to the 9 TDs (the TD grade is based on the file uploaded at the end of the 2h TD session, plus possibly a bonus for late answers provided after the TD).
Language of the classes : documents in English, teaching in French or English on demand
Credits ECTS : 4
