Intelligence Artificielle Symbolique
L'intelligence Artificielle symbolique est destinée à représenter et automatiser la déduction, l'inférence et le concept de preuve. Celle-ci est basée sur la logique.
Logique propositionnelle
Cours
03: Théorie de la Preuve / Raisonnement
Travaux dirigés
TD 01: Syntaxe
Travaux pratiques
TP 01 - Gestionnaire de formules propositionnelles
Logique du premier ordre
Cours
Intelligence Artificielle Connexionniste
L’Intelligence Artificielle Connexionniste est inspirée par les fonctionnements du cerveau humain et ses réseaux de neurones. C'est dans ce domaine que l'on retrouve entre autre les Réseaux de Neurones et l'apprentissage Profond (Deep Learning).
Travaux Pratiques
Réseaux de Neurones