S'initier à l'IA
Forum INFOMATH :: Enseignement de l'informatique :: INFO - Supérieur (Etudiants et Professionnels) :: Cours, Tutorials, Dossiers
Page 1 sur 1
S'initier à l'IA
par lamia Lun 22 Déc - 13:22
La logique des prédicats - Représentation des connaissances
La logique des propositions
Systèmes de preuves en logique des propositions
Principe de résolution en logique des propositions
La logique des prédicats
Introduction, premiers exemples et syntaxe
Algorithme d'unification
Méthode de Herbrand
Source : [Vous devez être inscrit et connecté pour voir ce lien]
lamia- Modérateur
-
Nombre de messages : 1936
Age : 37
Localisation : Tunis
Réputation : 53
Points : 6590
Date d'inscription : 04/11/2007
Feuille de personnage
Capacité linguistique:
(996/1000)
Forum INFOMATH :: Enseignement de l'informatique :: INFO - Supérieur (Etudiants et Professionnels) :: Cours, Tutorials, Dossiers
Page 1 sur 1
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum|
|
|