Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 116

108

Le PoINt De VUe D'UN SCIeNtIFIqUe

être exprimée selon un système formel. en d'autres termes, il s'agit de
formaliser une portion de l'univers, celle qui se trouve dans un voisinage
proche de la machine. Considérons par exemple le pilotage automatique
d'une ligne de métro, dans lequel les ordinateurs remplacent les conducteurs. outre les métros, les voies ferrées, avec de nombreux aiguillages, des
signaux complexes, un tel système comporte des opérateurs humains qui, en
général, suivent les procédures d'exploitation, mais qui peuvent se tromper,
des passagers qui parfois empêchent les portes de se fermer pour décoincer
leur sac à dos ou qui se jettent sous le métro par désespoir sentimental,
des rochers qui peuvent éventuellement tomber sur la voie, des règlements
nationaux inadaptés qui définissent diverses limites d'utilisation, des terroristes en mal de sabotage et des lutins mystérieux qui peuvent provoquer
des pannes variées de tout ce qui vient d'être mentionné. Le problème est
simple : pour définir ce que doivent faire les ordinateurs « normaux », il
faut, au préalable avoir mis tout ce petit monde sous forme d'équations. Il
existe peut-être une forme d'intelligence supérieure qui sait faire cela, mais
c'est hors de la connaissance scientifique. Il est probable que le jour où les
hommes sauront résoudre ce problème (à supposer qu'ils sachent le faire
un jour), la plus grande partie des autres problèmes ouverts en matière de
sciences physiques et humaines seront clos.
en supposant résolue la capacité à spécifier les objectifs attendus, la
conception de systèmes informatiques sûrs nécessite de résoudre une
seconde classe de problèmes qui est liée à leurs complexités intrinsèques.
Un ordinateur, tel que celui qui est utilisé pour taper ce texte est le résultat
d'un processus de conception réalisé en plusieurs phases. Il comporte la
conception du matériel et en amont de ses composants (microprocesseurs, mémoires...), d'un système d'exploitation, puis d'un ou plusieurs
programmes comme le traitement de texte. Chacun de ces composants
repose essentiellement sur le raisonnement de son concepteur exprimé
dans un langage formel. L'ensemble devrait être parfaitement adapté à la
saisie de ce texte. Malheureusement, pour les raisons exposées plus haut,
nul ne peut prédire toutes les façons d'utiliser le traitement de texte. Le
concepteur du système d'exploitation ne peut connaître tous les usages du
système par les logiciels d'applications. Les architectes matériels ont conçu
processeurs, mémoires et cartes en pensant à certaines fonctionnalités des
futurs systèmes d'exploitation et en en ignorant d'autres. Cet ordinateur
est donc basé sur la collaboration entre trois (groupes d') humains qui ne
peuvent pas se comprendre complètement. Pour comprendre a posteriori
comment marche cette machine, il est nécessaire de faire appel à des techniques expérimentales et d'analyses probabilistes, comme pour comprendre
l'électeur moyen ou le virus de la grippe.



Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique

Table des matières de la publication Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique

Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 1
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 2
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 3
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 4
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 5
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 6
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 7
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 8
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 9
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 10
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 11
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 12
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 13
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 14
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 15
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 16
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 17
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 18
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 19
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 20
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 21
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 22
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 23
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 24
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 25
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 26
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 27
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 28
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 29
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 30
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 31
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 32
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 33
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 34
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 35
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 36
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 37
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 38
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 39
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 40
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 41
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 42
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 43
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 44
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 45
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 46
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 47
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 48
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 49
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 50
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 51
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 52
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 53
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 54
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 55
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 56
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 57
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 58
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 59
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 60
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 61
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 62
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 63
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 64
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 65
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 66
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 67
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 68
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 69
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 70
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 71
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 72
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 73
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 74
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 75
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 76
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 77
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 78
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 79
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 80
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 81
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 82
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 83
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 84
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 85
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 86
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 87
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 88
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 89
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 90
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 91
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 92
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 93
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 94
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 95
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 96
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 97
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 98
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 99
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 100
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 101
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 102
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 103
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 104
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 105
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 106
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 107
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 108
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 109
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 110
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 111
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 112
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 113
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 114
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 115
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 116
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 117
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 118
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 119
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 120
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 121
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 122
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 123
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 124
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 125
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 126
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 127
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 128
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 129
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 130
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 131
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 132
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 133
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 134
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 135
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 136
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 137
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 138
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 139
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 140
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 141
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 142
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 143
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 144
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 145
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 146
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 147
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 148
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 149
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 150
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 151
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 152
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 153
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 154
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 155
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 156
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 157
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 158
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 159
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 160
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 161
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 162
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 163
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 164
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 165
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 166
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 167
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 168
Hors collection - Lex Robotica - Le droit à l'épreuve de la robotique - 169
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-08391-9
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-09491-5
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-09490-8
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-09962-0
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-09199-0
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03355-6
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-09191-4
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-09246-1
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-09075-7
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-09114-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-07592-1
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05985-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-07850-2
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-07486-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-07672-0
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06952-4
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06569-4
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06243-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06100-9
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06337-9
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06492-5
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06519-9
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06101-6
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05760-6
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06059-0
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06058-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06148-1
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06095-8
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-06060-6
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05513-8
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05753-8
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05751-4
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05711-8
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05707-1
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05303-5
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05735-4
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05526-8
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05651-7
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05305-9
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04042-4
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04014-1
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05365-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05504-6
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04070-7
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05299-1
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-05242-7
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04713-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04934-2
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04935-9
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04733-1
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04905-2
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04765-2
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04732-4
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04448-4
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04687-7
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04466-8
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04402-6
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04428-6
https://www.nxtbook.com/lextenso-editions/LGDJ/Notre-europeanite
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04408-8
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04347-0
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04432-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04002-8
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04287-9
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04365-4
https://www.nxtbook.com/lextenso-editions/LGDJ/RDC1-2014_2
https://www.nxtbook.com/lextenso-editions/LGDJ/RDC1-2014_1
https://www.nxtbook.com/lextenso-editions/LGDJ/RGA_2014-01
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04047-9
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04202-2
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-04170-4
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03896-4
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03622-9
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03893-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03848-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03851-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03850-6
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03849-0
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03819-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03709-7
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03426-3
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03613-7
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03591-8
https://www.nxtbook.com/lextenso-editions/LGDJ/978-2-275-03450-8
https://www.nxtbookmedia.com