Partager cette page :
Discipline(s) : Infomatique et télécommunications

Logique et représentation des connaissances

Semestre Semestre 2
Type Facultatif
Nature UE

Objectifs

L'objectif de ce cours est d'introduire les étudiants aux systèmes multi-agent en mettant l'accent sur les fondations logiques et les problèmes de représentation des connaissances. Les étudiants apprendront des méthodes et outils formels qui permettent aux agents de raisonner, coopérer et de prendre des décisions de façon autonome dans un environnement distribué.

Savoir et savoir-faire associés :

Systèmes multi-agent et systèmes distribués, agents intelligents et logiques des états mentaux (BDI, C&L), logiques de la connaissance et des croyances, communication et logiques du changement de croyances et de connaissances, coopération et logiques pour le raisonnement stratégique, notion de théorie des jeux, décisions de groupes et notions de théorie du choix social.

Mise à jour le 13 avril 2018