Eğer kontrol, polisin elinde değil de yazılımın elinde ise, yazılımın yaratıcılarına karşı isyan etmeyi başaracak olsaydı,otoriteden ya da mevzuattan herhangi bir kısıtlama olmaksızın, sürücüleri cezalandırmak için özerklik geliştirdiyse? Hal 9000 gibi, ancak 2016 yılında yerel otoyolumuzda bunun zaten gerçekleşmiş olması ve sonuçların sürücüler ve nakliye şirketleri için yıkıcı olması mümkündür.
Fransa'nın Champigneulles bölgesinde Mart 2016'da, yetkililerin toplamda 33.675 € 'luk para cezası verdiği yakın tarihli bir kontrol sırasında, Fransız yetkililer (OCTET) tarafından kullanılan takograf analiz yazılımının, sürekli sürüşü kesintiye uğratarak takım modundaki kullanılabilirliği yorumlamadığını fark ettik. zaman. Bu yeni yorumun bir yazılım güncellemesinden kaynaklandığından şüpheliydik ancak başka bir Avrupa ülkesi bunu kabul etmeyecekti. Sonra. Aynı makam için Fransız makamları tarafından verilen para cezalarında 200.000 € 'dan fazla bir miktar görmeye gittik.
Sanayi baskısının bir sonucu olarak, Nisan 2016'da Avrupa Komisyonu Directorade Generale Move, konuyu görüşmek üzere ilgili tüm yetkililerin katıldığı bir toplantı düzenledi. Bu toplantıda, Fransız temsilci “Fransa'nın sürekli sürüş konusundaki yorumunu değiştirmediğini” iddia etti; ayrıca, para cezalarını yalnız polis memurlarına bağladı.
Eğer bu doğruysa ve bundan şüphe etmek için bir nedenimiz yok ise, OCTET'in sistemi kontrol altına aldığı anlamına gelir. Bu para cezaları yasaya göre ya da Fransa tarafından yorumlandığı gibi verilmemektedir, fakat OCTET para cezaları çıkarmıştır çünkü otonom hale gelmiş ve kendi başına “öldürmeye” başlamıştır. Kesin olan şey OCTET'in dijital dosyaları bu şekilde yorumlamasıdır. Bunu desteklemek için kapsamlı kanıtlarımız var ve bunu görmek isteyen herhangi bir otorite için kullanılabilir. Aynı anda, 561/06 sayılı Yönetmeliği denetleyen tüm Avrupa ülkelerinde de aynı şekilde, daha gizlice gerçekleşebilir.
Stanley Kubrick, Ridley Scott ve Alex Garland'ın bize söylemedikleri şey, AI'nın teorik olarak kontrol edilebilmesidir. Doğru. Yazılımın resmi olarak doğrulanması teorisi, bu problemle tam olarak ilgilenir ve havacılık ve uzay endüstrilerinde bu etki için yaygın olarak kullanılır. Prensip olarak, kontrol AI yazılımı mümkün olabilir, ancak matematiksel olarak hala yüksek karmaşıklık nedeniyle bazı problemleri gündeme getirmektedir.
Her halükarda, herhangi bir program ya da yazılım geliştiricisinin yasanın icat ettiği ya da yorumlanmasını engelleyeceği 561/06 ve 165/2014 sayılı Yönetmeliklerin takograf analiz yazılımı için halihazırda doğrulanabilir bir matematiksel model bulunmaktadır. bunun ancak onu harekete geçirmesi, küçük bir teknolojik devrim anlamına gelecektir.
Pratik bir örnek düşünelim. Kamyonunuzla başlıyoruz; Buna Discovery 1 adını verelim ve Jupiter adında bir fabrikaya gidiyoruz. Forkliftin tasarımcısı HAL'tan bir takograf ve yazılım versiyonu 9000'dir. Yolculuk sırasında takograf sürücü ile iletişim kurmaya başlar ve sürekli sürüş süresini aşacağını söyler ve durur. Onun bir yalan olduğunu biliyor. Ama HAL 9000’e itaat etmeyecek mi? HAL'ın Jüpiter'in yolculuğundaki kamyon sistemlerini kontrol ettiğini reddedecek mi?
Daha sonra HAL 9000, sürücünün son 30 gün içinde sürücü kartını indirmediğini ve bunun yapılması gerektiğini söylemeye başladığında, önceki günlerden indirilen sürücü dosyasıyla ne yapacak?
HAL, aracın geleceğe gittiğini gösterdiğinde, 07/02/2106, 06: 28.15 tarihinde km 16,777,777. Nerede biter…
Avrupa Komisyonu'nun ne yaptığını görelim - vatandaşlarını veya makineleri savunmak.
Guillermo Errezil
Teorik fizikçi