GIA710 - Intelligence artificielle formalisable
Présentation
Sommaire
- Cycle
- 1er cycle
- Crédits
- 2 crédits
- Faculté ou 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éalablesConcomitante(s)
Activités pédagogiques de la session 7