Contenus :

·        Syntaxe et sémantique de la logique des prédicats

·        Quantificateurs universel et existentiel

·        Forme normale de Skolem et clausal form

·        Résolution en logique des prédicats (unification)

·        Applications : systèmes experts, représentation des connaissances

Objectifs pédagogiques :

·        Distinguer la logique des prédicats de la logique propositionnelle

·        Formaliser des connaissances complexes en logique du premier ordre

·        Comprendre et appliquer l'algorithme de résolution avec unification

·        Analyser les avantages et les limites de la logique des prédicats pour la représentation des connaissances