Logique et Programmation (INFO631_IDU)
Présentation
Ce cours vise à acquérir les compétences afin de modéliser un problème selon une description logique et de l'implémenter dans un langage logique comme Prolog.
Objectifs
A l'issue du cours, l'étudiant sera capable :
- de décrire un problème sous forme de logiques des propositions et des prédicats du 1er ordre
- d'implémenter dans un langage de programmation un problème décrit dans une logique des prédicats du 1er ordre,
- d'inférer de la connaissance à partir d'une programmation logique.
Heures d'enseignement
| Cours Magistral | 10,5h | |
| Travaux Dirigés | 10,5h | |
| Travaux Pratiques | 20h |
Pré-requis obligatoires
MATH 531 (partie : Graphes)
Plan du cours
- Logique propositionnelle
- Langage et Sémantique
- Aspects déductifs
- Formes Normale
- Logique des prédicats du 1er ordre
- Quantificateurs et Variables
- Modèles et Preuves
- Normalisation, Unification et Résolution
- Programmation Logique
- ProLog
- De la logique à prolog
- TP1 Arbres généalogiques
- TP2 Automates à états finis
- TP3 Enigme - Logigramme
- TP4 Systèmes à base de règles
- TP5 Examen de TP
Contacts
