 | |
| INFO0051-1 | Logiques pour l'intelligence artificielle
 |
|
| Durée : | 30h Th, 30h Pr |
|
| Crédits/ECTS : |
|
|
| Titulaire(s) : | Pascal Gribomont |
|
| Langue : | Langue française |
|
| Aperçu général : | 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. |
|
| Objectif du cours : | Maîtrise théorique et pratique des bases de la logique classique. |
|
| Pré-requis : | Aucun. |
|
| Travaux pratiques : | De nombreux exercices d'analyse de formules et de raisonnements font partie intégrante du cours. |
|
| Organisation : | 1er semestre, le mardi à 8h30 (B28, local 2/93) |
|
| 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. |
|
| Evaluation : | Une interrogation écrite (obligatoire), un examen oral. |
|
| Contacts : | Pascal Gribomont,
gribomont@montefiore.ulg.ac.be
Stéphane Lens,
lens@montefiore.ulg.ac.be
(vanlishout@montefiore.ulg.ac.be) |
|
| Remarques : | http://www.montefiore.ulg.ac.be/~gribomon/cours/cours.html |
|
|
| |
