Logique formelle et programmation logique

Cours présentant les éléments fondamentaux de la logique classique en vue de modéliser le raisonnement,de le formaliser et de l'automatiser. L'objectif de cet enseignement est de conduire l'élève à maîtriser le processus de démonstration automatique pour les problèmes résolubles dans ce cadre. Il se présente donc comme un cours sur les fondements logiques de l'Intelligence Artificielle.

Mots-clés : logique formelle,récurrence,logique propositionnelle,modèle,système de preuve,logique des prédicats,programmation logique,Prolog,certification de programme
Type de document : texte,image
Type de ressource : lecture,exercise
Niveau : higher education,licence,bac+3
Publics visés : learner
Activité induite : apprendre
Auteurs ou éditeurs : Stéphane Lengrand,École Supérieure Informatique Électronique Automatisme