If control is in the hands of the software and not the police, what if the software were to rebel against its creators, what if they have developed autonomy to fine drivers themselves without any constraint from the authority or legislation? Just like Hal 9000, but on our local motorway in 2016. It is possible that this is already happening and that the consequences are devastating for drivers and transport companies.
During a recent control in Champigneulles in France in March 2016, in which the authorities issued a total fine of € 33,675, we realized that the tachograph analysis software used by the French authorities (OCTET) was not interpreting availability in team mode as interrupting continuous driving time. We suspected that this new interpretation was due to a software update but no other European country would accept this. Later. we went on to see more than € 200,000 in fines issued by the French authorities for the same motive.
As a result of industry pressure, in April 2016 the European Commission trough Directorade Generale Move held a meeting attending by all of the relevant authorities to discuss the issue. At that meeting, the French representative claimed that “France had not changed its interpretation of the continuous driving”; furthermore, it attributed the fines to lone police officers.
If this is true, and we have no reason to doubt it, it means that OCTET has taken control of the system. That fines are not being imposed according to the law or as interpreted by France, but that OCTET issued the fines because it has become autonomous and has started to “kill” by itself. What is certain is that OCTET is interpreting digital files in this way. We have extensive evidence to support this and it is available to any authority who wants to see it. Simultaneous, the same may be happening, perhaps more covertly, in all European countries that control Regulation 561/06.
What Stanley Kubrick, Ridley Scott and Alex Garland didn’t tell us is that AI can theoretically be controlled. That’s right. The theory of formal verification of software deals precisely with this problem and is widely used to this effect in the aviation and space industries. In principle, it would be possible control AI software, however mathematically it still raises some problems due to high complexity.
In any event, there is already a formally verifiable mathematical model for the tachograph analysis software for Regulations 561/06 and 165/2014 which would prevent any program or software developer from inventing or interpreting the law as it pleased.. The European Commission is aware of this but enacting it would mean a small technological revolution.
Рассмотрим практический пример. Начнем с вашего грузовика, назовем его Исследование 1, и он едет на завод под названием Юпитер. Грузовик оснащен тахографом от конструктора HAL, а программное обеспечение - версия 9000. Во время поездки тахограф начинает общаться с водителем, говоря ему, что он собирается превысить свое непрерывное время вождения, и поэтому он останавливается. Он знает, что это ложь. Но собирается ли он ослушаться HAL 9000? Он собирается отрицать, что HAL контролирует системы грузовиков во время поездки на Юпитер?
And then when HAL 9000 starts to say that the driver hasn’t downloaded his driver card in the last 30 days and that it should be done, what is he going to do with the downloaded driver file from the day before?
When HAL indicates that the vehicle has travelled into the Future, km 16,777,777 on the date 07/02/2106, 06: 28.15. Where does it end…?
Let’s see what the European Commission does - defend its citizens or the machines.
Guillermo Errezil
Theoretical Physicist