chapitre 1 Partie 2 logique des prédicats

Intérêt et motivation pour introduire le formalisme logique d ordre 1 dans la représentation de connaissance.
Formulation d'un texte en langage naturel par des formules de la logique des prédicats
forme prenexe , forme Skolem , forme clausale 
résolution par réfutation 
notion de résolvante, facteur, unification