logo Insalogo Insa

Intelligent Systems


Logic (propositional logic and first-order predicate calculus) to model and solve a
problem. Problem solving through programming in Prolog.
Solving some optimization problems through a heuristic search in state graphs or in
and/or graphs.
Implementing the associated solving algorithms (A*, A0*, MinMax, Alpha-Beta).

Form of assessment

The evaluation of outcome prior learning is made as a continuous training during the semester. According ot the teaching, the assessment will be different: as a written exam, an oral exam, a record, a written report, peers review...