L5SOCONT - Logique du 1er Ordre - PBoldini

Le sujet du cours est la logique du 1er ordre et ses applications à la représentation des connaissances et à la représentation des énoncés en langue naturelle.

Après un bref rappel de logique booléenne, c'est-à-dire du calcul propositionnel et de sa sémantique vériconditionnelle, nous présenterons donc tous les aspects du calcul des prédicats :

  • syntaxe : formules, arbres syntaxiques

  • sémantique vériconditionnelle : domaines, interprétations, satisfaction, validité, conséquence sémantique

  • équivalence logique : rappel des lois de De Morgan, interdéfinissabilité des quantificateurs

  • application à la formalisation des connaissances et des énoncés en langue naturelle

  • techniques de démonstration automatique : arbres/tableaux sémantiques, résolution

  • sémantique inférentielle : déduction naturelle