Agents Intelligents : Représentation des Connaissances et Raisonnements
Une UE de 6 ECTS, pour le M1 DC / IA&RF : 20% C, 55% TDs, 25% TPs
(soit environ, pour 60h de présentiel : 12h C, 33h TDs, 15h TPs)
Responsable envisagée :
Claudette Cayrol
Objectif de l’UE
Présenter et illustrer différentes techniques de représentation pour
différents types de connaissances et différentes formes de raisonnement.
Contenu indicatif
- Représentation de connaissances en logique du 1° ordre
- Traitement de requêtes par chaînage avant, chaînage arrière
- Problèmes de raisonnement : vérification de cohérence, raisonnement
déductif, raisonnement abductif
- Introduction au formalisme des logiques de description.
- Représentation de connaissances dans un formalisme réseau (ex. graphes
conceptuels)
- Introduction au raisonnement en présence de connaissances incomplètes,
incohérentes, incertaines
- Comportements collectifs
Prérequis :
Notions de logique du 1er ordre (UEs de Logique de Licence)
Compétences
- Connaître et mettre en œuvre différentes techniques de
représentation pour différents types de connaissances
- Connaître et mettre en œuvre différents types de raisonnement sur
les connaissances d'un agent
- Comprendre les modèles de comportement d'un collectif d'agents