This course presents symbolic AI problem solving methods based on a modeling of the problem to solve by mathematical variables, constraints, logical formulae, and their resolution by the recourse to general-purpose constraint solving algorithms, logical deduction and heuristic 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, ressource allocation, placement, planning and task scheduling problems for decision support in industry.
Language of the classes : documents in English, teaching in French or English on demand
Credits ECTS : 4
