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 search procedures.
Each session is composed of a 2h lecture and 2h practice tutorial (TP) 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 TPs 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.
Language of the classes : documents in English, teaching in French or English on demand
Credits ECTS : 4
