GEI790 - Intelligence artificielle formalisable
Présentation
Sommaire
- Cycle
- 2e 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 formalisable 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 experts. Méthodes de recherche. Planification.
Une portion de cette activité pédagogique est consacrée à la réalisation du projet de conception de session prévu au programme.