ABCDEFGHIJKLMNOPQRSTUVWXYZAAABACADAEAF
1
Fiche Cours 2A :2021-2022
2
3
Nom du cours :Intervalles (english: Intervals)
4
5
Nom du responsable du cours :
Simon Rohou
6
7
N° de semestre : 3n° version :1Modif automatique % cours anglais0
8
Tronc commun / Spécialisationcrédits ECTS :% supports anglais100
9
Numéro UE
nombre de créneaux :
?
10
En jaune: réservé DFEn jaune: réservé DF
11
Présentation succincte (contexte)
12
Interval computation or more generally ‘Logic programming’ is a type of programming paradigm used in artificial intelligence to manipulate the reasoning with computers.
Any program written in a logic programming language is a set of sentences in logical form, expressing facts, rules and constraints.
Uncertainties, often represented by probabilities are here represented by sets.
This lesson is about logic inference, reasoning, and computation with sets.
We will consider applications in localization, and mapping of mobile robots.
13
14
Prérequis
15
Programmation en Python

16
17
18
19
20
21
22
Mots clés
23
Calcul par intervalles, théorie des ensembles, robotique
24
Key words
25
26
Objectifs d'apprentissage
27
Savoir programmer avec une bibliothèque de calcul ensembliste (Codac)
Savoir utiliser le calcul ensembliste dans le contexte de la localisation et la cartographie pour les robots mobiles.
Après ce cours, vous devriez également maîtriser les calculs d'incertitude à travers une représentation ensembliste et comprendre leur propagation à travers les équations.
L’inférence ensembliste sera implémentée sur des cas pratiques.		lien avec compétences globales école
Niveau maîtrise compétence (S/A/M/E)
28
Evaluation (ne pas hésiter à ajouter des lignes selon nombre d'évaluations)
29
Modalités CoeffN° des objectifs évalués
30
Contrôle continuBE noté1Evalue le travail continu effectué lors des séances de travail, et à travers des BE notés et les devoirs rendus sous Moodle.
31
Examen finalexamen sur machine info1Un examen écrit en salle d’examen pour la partie théorique
32
33
34
35
36
37
Séquencement du cours [dates et intervenants sont fournis dans un 2e temps]
38
DescriptifDurée en créneaux de 55 minTypeInitulé de la séanceBesoins logistiquesLangue d'enseignementLangue des supportsCommentaires
39
2CMSéance 1 - Introduction généralesalle de coursFrancais ou Anglaisanglais
40
1CMSéance 2 - Cours magistralsalle info
41
3TDSéance 2 - Applicationsalle info
42
1CMSéance 3 - Cours magistralsalle info
43
3TDSéance 3 - Applicationsalle infoFrancais ou Anglaisanglais
44
1CMSéance 4 - Cours magistralsalle info
45
3CMSéance 4 - Cours magistralsalle info
46
...
47
etc.
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
Bibliographie (éventuellement indiquer liens vers catalogue médiathèque)
64
L. Jaulin , M. Kieffer, O. Didrit and E. Walter (2001).
Applied Interval Analysis with Examples in Parameter and State Estimation, Robust Control and Robotics
Springer-Verlag
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100