Ce cours introduit les fondements et les bases de la logique formelle pour l’intelligence artificielle. Avec l’article de Turing, l’intelligence artificielle a vu le jour comme une finalité de la formalisation de la logique humaine afin de la simuler sur les machines. La machine de Turing, les systèmes formels, les systèmes experts, et toute autre machine abstraite sont basés sur des principes liés aux logiques de différents ordres.
- Enseignant: Yedjour Hayat