Unité d'enseignement M71 :

« Logiques non-classiques »

contenu mis à jour le 2007/10/11 16:56

Description

Crédits : 3

Lieu :  U.F.R. Sciences de Luminy (U2)

Pré-requis : M36

Semestre :  S3

Cours : 30h

Responsables :

Résumé : Les logiques non-classiques sont largement utilisées en intelligence artificielle. Dans ce cours nous traitons des logiques modales et des logiques préférentielles. Ces deux groupes de logiques sont basées sur les sémantiques des mondes possibles. Dans ce cours, nous étudions d'abords les sémantiques de mondes possibles. Nous introduisons les logiques modales qui sont utilisées en intelligence artificielle pour modéliser les croyances, les connaissances, les interactions, et bien d'autre types de raisonnement. Nous discutons ensuite des problemes de representation et de complétude pour certains de ces logiques comme la logique preferentielle, la revision, la mise-a-jour, etc. L'objectif est d'amener les étudiants a les comprendre, et a acquerir quelques techniques utiles pour leur resolution. Les systèmes de démonstrations les plus utilisés pour les logiques non-classiques sont les tableaux sémantiques. Nous étudions ces systèmes pour la démonstration ainsi que pour la vérification.

Plan :

Ressources pédagogiques fournies : Transparents, polycop, Articles scientifiques

Site Web  : http://www.lif-sud.univ-mrs.fr/~schwind/Master2.html

Apparaît dans les parcours