Séance de cours
Programmation logique : exemples et règles
Séances de cours associées (30)
Problèmes d'inférence et jeu de spin verre
Couvre les problèmes d'inférence liés au Spin Glass Game et les défis de faire des erreurs avec preb P.
Théorème Proving et Vampire
Explore théorème prouvant dans la logique de premier ordre et l'approche basée sur la saturation, mettant en évidence le prover de théorème Vampire.
Moteurs d'inférence : Clauses de résolution et de corne
Couvre les moteurs d'inférence basés sur la résolution, les clauses Horn, le filtrage et l'unification de l'intelligence artificielle.
Prédice Logique : Théorie des ensembles
Couvre la théorie de la logique et des ensembles, expliquant comment manipuler les expressions logiques.
Logique du prédicat : Quiz Questions Réponses
Couvre les réponses aux questions de quiz sur la logique des prédicats.
Logique des prédicats : domaines et quantificateurs
Explore la logique des prédicats, en se concentrant sur les domaines, les quantificateurs et les idées surprenantes sur les domaines vides.
Predicate Logic: En savoir plus sur les quantificateurs
Explore les quantificateurs avec des domaines finis, le quantificateur d'unicité, les instructions composites, la liaison de variables et la validité en logique.
Automatiser les preuves logiques de premier ordre en utilisant la résolution
Couvre la syntaxe logique de premier ordre, la sémantique, la skolémisation, la résolution et les transformations de formes normales.
Logique des prédicats : Introduction et équivalences
Couvre les bases de la logique des prédicats, les quantificateurs, les équivalences et les exemples de traduction en langage naturel.
Prédicat Logique : Équivalences logiques et Quantificateurs
Couvre les équivalences logiques, les quantificateurs et les lois de De Morgan dans la logique des prédicats.