GIA710 - Intelligence artificielle formalisable

À noter
Ce cours n'est plus actif.

Sommaire

Cycle
1er cycle
Crédits
2 crédits
Durée
1 trimestre
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 sessions préalables
Concomitante(s)

Activités pédagogiques de la session 7