 |  |  |  |  |
| | |
|||||||||||||
| INFO0051-1 | Logiques pour l'intelligence artificielle
[ english version ]
| ||||||||||||||
| |||||||||||||||
| Durée : | 30h Th, 30h Pr | ||||||||||||||
| |||||||||||||||
| Crédits/ECTS : |
| ||||||||||||||
| |||||||||||||||
| Titulaire(s) : | Pascal Gribomont | ||||||||||||||
| |||||||||||||||
| |||||||||||||||
| 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 mercredi à 14h00 (B28, local R7) | ||||||||||||||
| |||||||||||||||
| 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 150 pages est mis à la disposition des étudiants. | ||||||||||||||
| |||||||||||||||
| Evaluation : | Une interrogation écrite (obligatoire), un examen oral. | ||||||||||||||
| |||||||||||||||
| Contacts : | P. Gribomont, 04 366 26 67, gribomont@montefiore.ulg.ac.be
F. Van Lishout, 04 366 26 19, vanlishout@montefiore.ulg.ac.be | ||||||||||||||
| |||||||||||||||
| Remarques : | |||||||||||||||
| |||||||||||||||
ULg : Administration de l'Enseignement et des Etudiants - Affaires Académiques
Responsable de l'information : Monique Marcourt, direction A.E.E.
Date de validité des données : 27/02/2006
Réalisation SEGI