IAS. 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.
1. Logique propositionnelle
Cours
03: Théorie de la Preuve / Raisonnement
Travaux pratiques
TP 01 - Gestionnaire de formules propositionnelles
2. Logique du premier ordre
Cours
Travaux Pratiques
01 - Logique du premier ordre - Syntaxe
Travaux dirigés
TD01 - Logiques $\mathcal{L}_{0}$ et $\mathcal{L}_{1}$
IAC. 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).
Réseaux de neurones
Cours
Travaux Pratiques
TP 1: Perceptron
TP 2: Apprentissage par fonction de cout