 | | |
| INFO0051-1 | Logiques pour l'intelligence artificielle
|
|
| Durée : | 30h Th, 30h Pr |
|
| Nombre de crédits : |
|
|
| Nom du professeur : | Pascal Gribomont |
|
Langue(s) du cours :
|
| Langue française |
|
Contenus du cours :
|
| Calcul des propositions et des prédicats. Divers systèmes de preuve. Notions de modèle, théorèmes classiques sur les modèles. Complétude. Théorie, axiomatisation, exemples de théorie. Complétude d'une théorie, théories complètes et incomplètes. Théorie de Herbrand et résolution. Décidabilité: du syllogisme catégorique à la logique des prédicats monadiques. |
|
Acquis d'apprentissage (objectifs d'apprentissage) du cours :
|
| Maîtrise théorique et pratique des bases de la logique classique.
Raisonnement formel, mathématique. |
|
Prérequis et corequis / Modules de cours optionnels recommandés :
|
| Aucun. |
|
Activités d'apprentissage prévues et méthodes d'enseignement :
|
| De nombreux exercices d'analyse de formules et de raisonnements font partie intégrante du cours. |
|
Mode d'enseignement (présentiel ; enseignement à distance) :
|
| 1er quadrimestre, le mardi à 8h30 (B28, local 2/93) |
|
Lectures recommandées ou obligatoires et notes de cours :
|
| P. Gochet et P. Gribomont, Logique I: Méthodes pour l'informatique fondamentale, Hermès, Paris, 1998 (2ème édition).
Un résumé de 160 pages est mis à la disposition des étudiants. |
|
Modalités d'évaluation et critères :
|
| Une interrogation écrite en novembre,
un travail,
un examen oral. |
|
Remarques organisationnelles :
|
| http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
Contacts :
|
| Pascal Gribomont,
gribomont@montefiore.ulg.ac.be
Stéphane Lens,
lens@montefiore.ulg.ac.be
(vanlishout@montefiore.ulg.ac.be) |
|
