Logique et représentation des connaissances
L’autre tradition de l’intelligence artificielle : représenter ce qu’un système sait par des phrases vraies ou fausses, et en dériver ce qui doit suivre - avec des garanties qu’un modèle appris ne peut pas offrir.
Connectez-vous pour passer les quiz, gagner des XP et débloquer les étapes en atteignant 90% de maîtrise.
Modèles et conséquence logique
25 min · 100 XPBases de connaissances, modèles et relation de conséquence ; la vérification de modèles comme transcription directe de la définition, et ce que correction et complétude promettent chacune.
Ouvrir la leçon →Connectez-vous pour passer le quiz de 4 questions.
Forme normale conjonctive et résolution
30 min · 120 XPConvertir des phrases en clauses, l’unique règle de résolution, la preuve par réfutation, et les formes de clauses restreintes qui rendent l’inférence bon marché.
Ouvrir la leçon →Connectez-vous pour passer le quiz de 4 questions.
Logique du premier ordre et unification
30 min · 120 XPCe que les quantificateurs apportent par rapport aux propositions, et comment substitution, unification et modus ponens généralisé relèvent l’inférence des faits particuliers aux règles générales.
Ouvrir la leçon →Connectez-vous pour passer le quiz de 3 questions.