GIA710 - Intelligence artificielle formalisable

Sommaire

Cycle: 1er cycle
Crédits: 2 crédits

Faculté/Centre: Faculté de génie

Cible(s) de formation

Concevoir et mettre en œuvre des techniques de l'intelligence artificielle formalisables appropriées à partir de spécifications descriptives; mettre en œuvre un système intelligent basé sur des techniques formalisables.

Contenu

Logique propositionnelle et logique du premier ordre, systèmes expert, méthodes de recherche, planification.

Préalable(s)

Avoir effectué 6.00 sessions préalables

Concomitante(s)

Activités pédagogiques de la session 7