Anglais (IFAAX010)

Administration Système Unix/Linux (IFCAX010)

cours: 15h TD: 15h

Probabilités et statistiques pour l’ingénieur (IFAAX020)

cours: 15h TD: 15h

Programmation avancée (IFFAX010)

cours: 15h TD: 15h

Réseaux avancée TCP/IP (IFCAX030)

cours: 15h TD: 15h

Complexité algorithmique (IFFAX020)

cours: 15h TD: 15h

Objectifs :

Ce cours présente le notions de bases de la théorie de la complexité, c'est-à-dire comment déterminer la complexité d'un problème de décision, et comment comparer des problèmes de décision en fonction de leur complexité.

Compétences acquises :

Connaissance des classes de complexité usuelles, et de la complexité de quelques problèmes classiques. Identification de la complexité d'un problème de décision.

Programme:

Machines de Turing (déterministes, non déterministes, à oracle). Complexité en temps et en espace des problèmes de décision, hierarchie polynomiale, réductions fonctionnelles.

Optimisation combinatoire (IFLAX010)

cours: 15h TD: 15h

Programmation logique (IFFAM030)

cours: 15h TD: 15h

Représentation des connaissances et raisonnement (IFFAX040)

cours: 15h TD: 15h

Data science (IFABX030)

cours: 15h TD: 15h

Programmation distribuée (IFFBX010)

cours: 15h TD: 15h

Programmation Web (IFCBX040)

cours: 15h TD: 15h

Agents intelligents (IFFBX020)

cours: 15h TD: 15h

Apprentissage machine (IFABX010)

cours: 15h TD: 15h

BIG DATA (IFABX020)

cours: 15h TD: 15h

Raisonnement non monotone (IFFBM030)

cours: 15h TD: 15h

Objectifs :

Ce cours présente quelques techniques classiques de raisonnement non monotone, c'est-à-dire des techniques qui permettent de raisonner lorsque les connaissances/croyance d'un agent peuvent comporter des contradictions, des exceptions, des évolutions,...

Compétences acquises :

Raisonnement en présente d'incohérence, d'exceptions. Dynamiques des croyances.

Programme:

Inférence basée sur les sous-ensembles maximaux cohérents. Logique des défauts. Raisonnement en monde clos. Révision et mise à jour des croyances.

Projet tuteuré (IFLBX040)

cours: 10h

Agent oriented software engineering (IFFCM010)

cours: 18h

Apprentissage orienté agent (IFFCM020)

cours: 18h

Argumentation Computationnelle (IFFCM030)

cours: 18h

Langages de communication agents et dialogues (IFFCM040)

cours: 18h

Logique computationnelle (IFFCM050)

cours: 18h

Négociation automatisée (IFFCM060)

cours: 18h

Planification (IFFCM070)

cours: 18h

Planification multi-agents (IFFCM080)

cours: 18h

Satisfaction des contraintes (IFFCM090)

cours: 18h

Théorie de la décision (IFFCM100)

cours: 18h

Stage de M2 ou mémoire (IFFDM010)