OZ 2012/2

56 ORGANIZACIJA ZNANJA 2012, LETN. 17, ZV. 2 Ker v principu ne zna reševati nalog, ki jih ne bi znali rešiti tudi Turingovi stroji, je dokazano, da so kvantni računalniki ekvivalentni TS. Kvantne računalnike lahko naročite preko interneta za kar velik denar, a so uporabni le za raziskovalce. Pospeševalni TS je najbolj znan hiperračunalnik. Ponazorimo ga lahko s še eno antično aporijo o Ahilu in želvi. (Vidimo, da so Grki že od nekdaj mojstri za paradoksalne situacije!) Najhitrejši Ahil ne more nikoli dohiteti najpočasnejše želve, ker mora brez konca premagovati startno razdaljo, medtem pa mu želva že pobegne. Ta logika je prisotna v pospeševalnem TS, ki izračuna nalogo v vse krajših časovnih razmakih, vsako naslednjo dvakrat hitreje. Tak stroj bi bil močnejši od TS, vendar ga ne znamo narediti. Je pa možno uporabiti drug način razmišljanja in preprosto priznati, da bo Ahil seveda prehitel želvo. V tem primeru moramo pač izstopiti iz prvotnega logičnega okvira. Mnogoteri Turingovi stroji Sam se ukvarjam s t. i. mnogoterimi TS, temelječimi na principu mnogoterega znanja. Na sliki 3 sta dva TS, ki sta med seboj povezana in drug drugemu pišeta v program. Podobno je z dvema človekoma, ki se med seboj pogovarjata in po tej poti vplivata drug na drugega, kar imenujemo interakcija. Interakcija je močnejša od algoritma, kar je prvi objavil Wegner v reviji ACM. Tudi tukaj se postavlja vprašanje, ali je to še zmeraj TS, ali pa gre za nekaj močnejšega? O tem govori tudi moja knjiga Weak Intelligence: Through the Principle and Paradox of Multiple Knowledge . Prepričan sem, da moja teza drži, čeprav premoči take sheme ne znamo dokončno dokazati. Pač še ne znamo najti takih nalog, pri katerih bi se pokazala njena premoč nad TS. Podoben problem imamo tudi v odnosu med človekom in računalnikom, ko vsi vemo, da smo bistveno pametnejši od stroja, vendar ne znamo najti naloge, ki je v principu ne bi mogel rešiti tudi TS. Slika 2: Mnogoteri TS Razbitje Enigme Večina tistih, ki so slišali za Turinga, ga povezuje z Enigmo oz. s šifriranjem. Turing je v 2. svetovni vojni "razbil" znameniti nemški kodirni stroj, preko katerega so usmerjali napade svojih podmornic na življenjsko pomembne zavezniške konvoje. Zoženje Turingovega pomena na njegov vojaški podvig je nekaj takega, kot da bi Einsteina poznali le po atomski bombi. Strokovnjaki in človeška civilizacija pa bi si morali zapomniti Turinga po njegovih nesmrtnih konceptih algoritma in podobnih. Pri razvoju Turingove dešifrirne naprave z imenom "Bomba" (slika 4) je sodeloval tudi Donald Michie. Wikipedia to napravo označuje za najpomembnejše "civilno" odkritje v 2. svetovni vojni, kar se mi zdi upravičeno. Slika 3: Dešifrirna naprava "Bomba" Naprava je omogočala "branje" nemških tajnih sporočil, s čimer je bilo rešenih na milijone življenj, deloma neposredno na morju, največ pa posredno, ker se je vojna skrajšala in je bil Hitler poražen. Rojstvo umetne inteligence Leto 1950 lahko jemljemo za rojstno letnico umetne inteligence (angl. artificial intelligence ). Alan Turing je oktobra tega leta namreč objavil članek "Computing Machinery and Intelligence". Obravnaval je vprašanje, kaj računalniki sploh zmorejo. Ali lahko računalniki mislijo? Lahko ljubijo? Imajo radi jagode? Zakaj pa ne, zatrjuje Turing, in to tudi argumentira. Desetletja je sicer veljalo, da je bil Turing zagovornik "trde" variante, da računalniki zmorejo vse. In ko bodo postali računalniki nekoč dovolj sposobni, ne bo več razlike med njimi in ljudmi. Zaradi tega je doživljal hude kritike, vendar so poznejše analize pokazale, da je bilo takšno razumevanje njegovih objav pristransko. To dokazuje tudi naslednji citat iz njegovega članka: "Intelligent behaviour presumably consists in a departure from the completely disciplined behaviour involved in computation." 2 Potemtakem je Turing nakazal, da je formalni sistem sam zase prešibak za doseganje resnične inteligence. V svetu sicer štejejo za rojstvo umetne inteligence letnico 1956, ko je McCarthy v ZDA organiziral konferenco, ki Matjaž Gams: ALAN M. TURING, IZUMITELJ UNIVERZALNEGA STROJA ...