chapitre 1 Partie 2 logique des prédicats
Conditions d’achèvement
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
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