Non connecté. (Connexion)

Logique pour l'IA
(LIA)

Ce cours est destiné à donner une brève introduction sur les logiques utilisées en IA. Nous insisterons particuliérement sur la logique floue et la logique modale, non sans introduire d'autres formes de logiques.