Réalisations du responsable dans le domaine de l’UE
Cours de Lambda-calcul dans les DEA ITCP, PSP, PSPL. Réalisation d'un polycopié disponible sur la page web de T. Hardin
Acronyme : lcnc
Spécialité : IAD
3 ECTS
Niveau : 500
Semestre : S3
Titre : Logiques classiques, non classiques et programmation logique
Responsable : Monique BARON
Répartition hebdomadaire ou semestrielle
(CM: 20h)(TD/TME 10h)
Contenu
L'objectif général est de consolider et de compléter la connaissance des bases logiques de la modélisation de connaissances et de raisonnements en IA, ainsi que de la programmation logique, en liaison avec des problèmes de formalisation en IA et des applications. Les compléments consistent en un aperçu de logiques non classiques, d'une part, et en une approche industrielle de la programmation logique, d'autre part.