Alan Turing OCH Turingtestet – Andrew Hodges

Alan Turing and Turingtestet - Andrew Hodges således, till HeltAlan Turing OCH Turingtestet

För en guide till webbplatsen website Go to Alan Turing Hemsida

1. Introduktion

Den Korta OCH extraordinära liv AV den Brittiska matematikern Alan Turing innebär Grunderna för matematik, ursprunget AV Datorn, den hemliga krypto Kriget MOT Nazityskland, and Mycket mer. För Den Moderna allmänheten, sv Av de vanligaste nämner Hans Namn Kommer I Annu ETT-Annat Sammanhang: medvetandefilosofin OCHj artificiell intelligens. Specifikt Han förevigade I ”Turingtestet” för intelligens, as Turing Själv kallade ”imitation game”.

Den Berömda testa dok UPP I Turings Papper Computing Machinery OCH intelligens, SOM Publicerades i oktober 1950 i den filosofiska Tidskriften besvärad (Turing 1950). Turing användes sedan Vid Manchester University, where VÄRLDENS Första lagrat program Dator Hade arbetat sedan juni 1948. Turing Inte Hade utsetts ATT producera filosofiska papper; Hans primära uppgift var ATT SKAPA-and Hantera håla første programvaran FÖR Datorn. Män Han Hade available fortsatte sin forskning i matematik, and Hade dragits i Diskussion Med den Vetenskapliga Filosofen Michael Polanyi, as uppmuntrade Honom ATT Publicera synd syn in Vad Turing kallade ”Intelligenta Maskiner”. Poängen Med hans papper, where imitation Spelet var Bara en del, var ATT hävda ATT intelligens en mänsklig Nivå Kan vittnade GENOM en lämpligt programmerad Dator. Imitation spel lånade bestämdhet tills Iden Om att Lika intelligent as sv Människa.


2. Turingmaskin

Faktum ÄR ATT 1950 papper Själv Hade sv Viktig självbiografiska inslag, available about Turing integre betona synd Personliga aspekten. Sv Stor del AV-håla tidiga Delen AV pappret Med en utläggning AV begreppet beräkningsbarhet. Definitionen AV beräkningsbarhet var Turings Egen Stor prestation AV förkrigstiden, När han var en ung man i Kings College, Cambridge University. År 1936, När han var Bara 23 meddelade Han definitionen AV Vad as Blev omedelbart Kallas Turing maskin, Vilket GER en Exakt and övertygande matematisk definition AV EN ”EFFEKTIV Metod.” Jag Turings papper In beräkningsbara Siffror, Med sv Ansökan tills avgörbarhetsproblemet (Turing 1936-7), GAV Han sv Diskussion about hans definition, hävdade framgångsrikt ATT Det omfattade DEN MEST Allmänna möjliga förfarande för ATT beräkna Ett Nummer.

Grunden i mänsklig beräkning betonas i Turings argument. De ”torg” i turingmaskinen tejp, ”tills Applicability, har SITT Ursprung i Turings förklaring kvadraterna Ett lador häfte. Atom Verksamhet scanning, märkning, radera, flyttar till VÄNSTER OCH HÖGER var available relaterade till Mänskliga Handlingar. FRAMFÖR Allt ändligt antal konfigurationer” av en Turing maskin var relaterade till Det begränsade antalet sinnestillstånd, Eller andlig minne, av en mänsklig miniräknare. This Mycket fet vädjan tills modellering ”sinnestillstånd” med Tillstånd AV sv Maskin verkar Redan förutse tesen about maskinintelligens 1950. Ska Vi Da Saga ATT Turing 1950 ENDAST Åter ilska konsekvenserna AV Vad Han Hade framgår Enligt 1.936?

3. intelligens and intuition

Aven about i Princip Korrekt, en subtil Anpassning till webbplatsen Grundläggande Berättelsen KRAVs, and Det ÄR Något as kastar ljus på strukturen and innehållet i 1950 papper. En Läsning AV ATT papper Kommer ATT visum ATT Turing var Mycket Medveten Om den Naturliga invändningen ATT maskinerna Inte Kan Göra Det SOM ÄR till sin natur Icke-mekanisk: de Mänskliga Handlingar as kräver Initiativ, fantasi, dom, orsaka överraskning, riskerar ATT FEL, and SÅ vidare. Sv Stor del AV hans argument ÄR inriktad in påståendet ATT maskinerna skulle i själva verket ha Formaga ATT alla Dessa tills Synes Icke-Mekaniska Saker.

Män boxar ingen reflektion AV This påstående i hans 1936 Arbete. I (Turing 1936-7) de ”sinnestillstånd” as Turing ansåg Bara var de anställda på När Sinnet ÄR upptagen In ATT utföra en bestämd Metod Eller processen. Det fanns ingen Hänvisning till fantasi Eller Initiativ i ”sinnestillstånd” AV på beräkningsbart tal.

SÅ vi Kan Fråga: Vid Vilken tidpunkt i hans biografi did Turing Anta Iden ATT beräknings Verksamhet skulle omfatta Allt Normalt Kallas ”tänkande” snarare mottagare än ENDAST ”bestämda Methods”? Eller ekvivalent, När did Han Anser Först ATT Verksamhet as i själva verket Fungerar förutsägbara Turingmaskiner Ändå Kunde visum för mänsklig OBSERVATÖR as Har egenskaperna Hos äkta intelligens and Kreativitet?

Under de Två år Turing tillbringade Vid Princeton, 1936-1938, var Han undersöker logik uncomputable. Turings exposition (Turing 1939) beskrev ”formler, inst intuitivt Att vara Korrekt, män SOM Gödel sats Visar ÄR unprovable jag boxar Det ursprungliga systemet. ”Jag this förkrigstiden, Turing tydligen lämnat öppet FÖR möjligheten ATT Sinnet Hade en” intuitiv ”makt ATT utföra uncomputable Steg Utanför Ramen för Den Turing Maskinen (en avhandling FÖR övrigt as Alltid holls AV Gödel Själv.)

Män under perioden runt 1941 Närs den omedelbara Krisen I Enigma problemet löstes, började Turing ATT Diskutera Med kollegor in Bletchley Park möjligheten AV Maskiner Spelar schack (Hodges 1983, s. 213). Schack-spelar var i själva verket en civil analog Vad de did i SITT hemliga Arbete Dar Mekaniska Methods för stor finess var outdoing vissa torv aspekter AV mänsklig intuition. Det verkar ansåg uttryckt i (Hodges 1997, 2002), Att Turing beslutat förmodligen omkring 1941 ATT omfattningen AV beräkningsbar operationer Jag själva verket var tillräckligt FÖR ATT redovisa Dessa mentala operationer uppenbarligen Icke-Mekaniska ”av normerna i Det Vanliga språket, and available de till Synes uncomputable Verksamhet sannings erkännande.

Mycket möjligen Det var this Nya övertygelse as did Honom SÅ entusiastiska i slutfasen AV Kriget ÖVER möjligheten ATT Bygga sv Elektronisk version of universell maskin. Han var integre Mycket motiverade GENOM ATT Bygga sv Dator FÖR ATT räkna ut programmerade matematiska operationer. Hans intresse var mer i Naturen i Sinnet. Informellt på När man Talar about synd Dator hyveln 1945, kallade Han dem planerar för ”Bygga sv Hjärna.”

4. INTELLIGENT MASKINER

Med This i åtanke, Kan vi undersöka mer i detalj hans Allra Första skriftliga omnämnandet av ”Intelligenta” Maskiner i (Turing 1946). Man Bör Först Notera Hur anmärkningsvärt Det var ATT Turing Bör Satta sv spekulativ påstående about intelligens I SV hyra teknisk, praktisk rapport. Män This var Helt Typiskt för Hans modus operandi. Man Bör NÄSTA inse ATT Turing njöt Alltid paradoxen, available uppenbar motsägelse, as deltar i ATT tala om ”intelligent” Maskiner. Först förklarade Han Hur Datorn kan-programmeras FÖR ATT beräkna schackdrag. Han fortsatte, Vilket understryker paradox: This. Vacker frågan ”Kan en maskin SPELA schack? Det Kunde ganska Enkelt Göras FÖR ATT SPELA en ganska Dåligt spel. Det skulle Vara Dåligt eftersom schack kräver intelligens. Vi konstaterade. ATT Maskinen Bör behandlas as Helt Utan intelligens. boxar indikationer in docka ATT Det ÄR möjligt ATT Göra maskinens Skärm intelligens Med risk SITT Göra Enstaka allvarliga misstag. GENOM ATT Följa upp webbplatsen Aspekt Maskinen förmodligen skulle Göras FÖR ATT SPELA Mycket bra schack. This mystiska Hänvisning till ”misstag”, as Kunde ha gjort Något vettigt ATT alla as Läser this rapport förklaras i Ett föredrag AV februari 1947 (Turing 1947). Here Iden om ”misstag fattandet” dok upp i Samband Med invändning MOT möjligheten ATT maskinintelligens as orsakas AV Gödel sats. This invändning (SOM visum SOM ”The Mathematical invändning” i 1950 papper) ÄR ATT ingen Turing maskin (DVS datorprogram) Kan Göra Liksom en Människa. Människan kan-se Sanningen i matematiska påståenden as integre kan-bevisas GENOM ATT Följa Regler as Bygger in formella axiom.

Turings efterkrigs argument (synvinkel Han kom förmodligen i ungefär 1941) ÄR docka ATT människor Inte In Ett tillförlitligt Satt ser Sanningen i Sadana uttalanden. Matematiker, deras hjärnor ÄR diskreta tillståndsmaskiner, kan-ENDAST använda en algoritm. Gödel sats berättar ATT ingen algoritm kan-sammanfalla i varje falla Med sannings ser, binder and SÅ algoritmen ibland misslyckas. Män about DET ÄR accepterat ATT matematiker ÄR Inte ofelbar, OCH Kommer ibland misslyckas, Framgår Det ATT Maskiner &# 8212; available implementera Algorithms and därmed available Göra misstag &# 8212; kan-Göra Lika behå. För ATT illustrera temat ATT Göra Lika bra, Turing vädjade till begreppet rent spel för Maskiner. ”This koncept var väsentligen iDEN Med imitation Spelet. 1950 scenariot Bara lagt Dramatisk detalj. Således Hade imitation Spelet SITT Ursprung i krigstid debatt i Turings Egen uppfattning about Hur man kan-förena Gödel sats OCHj tills Synes Icke-Mekaniska åtgärder Mänskliga Sinnen Med Diskret modell tillståndsmaskinen i Hjärnan.

EFTER 1947 Turing fortsatte tills en bredare and mer Konstruktiv Diskussion about Hur Maskiner kan-utföra to Synes Icke-Mekaniska uppgifter: Hur fullständigt ointelligenta mikro operationer kan-Lagga to Upp till Intelligenta processer. Den presenterades i en intern rapport ”Intelligent Machinery” for National Physical Laboratory (Turing 1948). This offentliggjordes Inte (till 1968), män var in MANGA Satt Grunden för Hans mer Kända OCH Mindre Teknisk 1950 exposition. Ett Intressant inslag i webbplatsen 1948 rapport ÄR bevisen GER sv krigstida inspiration tills Sina Nya Idéer. Turing avses Bilder av författaren Dorothy Sayers för ATT illustrera den Allmänt accepterade betydelsen av ”mekanisk” beteende. Boken Han citerade var en Han Laste in Bletchley Park 1941. Turing talande beskrev available 1940 SOM Det datum EFTER Vilket Maskiner Inte Längre begränsade till ”Extremt Enkel, kanske till and Med till upprepningar, jobb.” Han Måste ha skaft synd Egen Enigma-breaking Bombe, and Andra Mycket sofistikerade kryptoanalytiska Verksamhet i åtanke.

Jag this rapport, Turing karaktäriseras intelligens as kräver ”disciplin”, SOM Han identifierade Med programmerbarhet AV en universell maskin, plus en vila AV Initiativet. ”Initiativ nu spelade Rollen SOM” intuition ”Hade gjort 1938: mentala åtgärder tydligen Gå Utanför Ramen för EN” bestämd Metod. Hur var Initiativ SOM also Inom Ramen FÖR beräkningsoperationer, and SÅ genomförs in en Dator?

Turing föreslog Olika Möjligheter alla baserade In ATT imitera Mänskliga hjärnor: lärande, undervisning, utbildning, Söka. From Början AV SITT designarbete i 1945, Hade Turing VARIT entusiastisk FÖR ATT utnyttja funktionen AV Ett lagrat program Dator as Ett program kan-manipuleras I In The same SATT SOM-data. Dessa Idéer ihop synd entusiasm ytterligare, GENOM ATT HA Maskinen Aktivt change Sina Egna program. Turing betonade ATT in en mer Grundläggande Nivå begreppet ”en maskin ATT change SINA Egna Instruktioner” var ”verkligen en meningslös bilda AV fraseologi”, män Det var bekvämt. Resultatet AV hans argument var ATT GENOM Ett Eller Annat SATT, and förmodligen Med Hjälp AV manga Methods i Kombination, Kan en Dator Göras FÖR ATT efterlikna de mentala Funktioner Mänskliga hjärnor.

From sv hyra biografiska synvinkel, Ar Det anmärkningsvärt ATT Någon SÅ originell, and VARs Individuella egenskaper Hade Generellt stoutly Motstånd from synd Sociala miljö, Bör dra slutsatsen ATT Kreativitet is a beräkningsbar process, Något as skulle kunna uppnås GENOM sv Dator. Män Det var where Han leddes AV hans Vägledande uppfattning Om Hjärnan as en andlig maskin, Vars Verksamhet Måste Vara beräkningsbar män Annorlunda de Verkade from Vad folk Hade hittills betraktas as ”Mekaniska” i naturen.

5. imitation AV MIND

This 1948 Arbete var bakgrunden till 1950 papper, where Turing did en mer allmän anspråk mottagare än någonsin ATT intelligens Kan ådagalagt GENOM databehandlingsutrustning: det Vill saga tillhörde sfären AV beräkningsprocesser. Det var available en mer ambitiös KRAV sig av en någonsin, eftersom GENOM provokativa strandhugg i Världens AV konsterna Med kvick tal om Shakespeare and sonetter, did Turing Det Helt Klart ATT Han Inte begränsar ”intelligens” till NÅGRA speciella vetenskap sinnade arena. Den Berömda Test, pitting Människa MOT Maskinen Visar Intelligence, förkroppsligade ”fair play” tillkännagavs i 1947. Fastställandet AV Testet, män Med SITT avlägsna textbaserad länk, Hade en ytterligare Funktionell betydelse. Det var tänkt ATT GE Ett Satt ATT separera Dessa Saker Turing Anses relevanta FÖR Intelligence, till skillnad from Andra Mänskliga förmågor as involverar SINA MANGA Sinnen OCH Fysiska åtgärder. Det ÄR förmodligen i ATT DRA this distinktion as Turing visade minST security and this Aspekt AV hans papper har under lockat Mest kritik.

This Punkt kan-förbättras ytterligare. Turings BESKRIVNING AV beräkningsbarhet i 1950 papper var alla baserade In Andliga Kapacitet verkliga, Andliga Maskiner, illustreras AV sv redogörelse Manchester Datorn eftersom Det DÅ Stod. Hans påstående var ATT simuleringen AV Tanken integre ILE kräver håla Fulla omfattningen AV beräkningsfunktioner, Bara ATT oändligt bråkdel AV DEM SOM skulle kunna köras Med ENDAST en begränsad Mängd tejp. (Som Tekniskt ,. DETTA ÄR Turing BESKRIVNING Inte ENS nämna tejp eftersom en andlig Bandet Kan absorberas i instruktionstabellen en Turing maskin, Vilket i sin tur Han identifierade Med Butiken AV en Dator, såsom Manchester Dator. This resulterade i Honom ganska förvirrande ATT beskriva HeLa Skålan AV beräkningsprocesser as kräver en ”oändlig butik.” DETTA ÄR docka Bara obegränsat utbud AV band SOM föreskrivs i 1936.) Han angav en nödvändig Inte en oändlig instruktion bord lagringskapacitet in 10 9 bitar, Vilket NATURLIGTVIS ÄR Långt överträffas AV Moderna Persondatorer.

En Ännu Högre grad, boxar ingen antydan i This dokument in Något Utanför Ramen FÖR beräkningsbarhet. Det fanns tre områden AV Turing Diskussion Där matematiken Utanför beräkningsbar höjdes, män i varje falla huvudinriktningen I Turings argument var ATT beräknings Verksamhet skulle Racka. Sv AV Dessa var Gödel argument, faktiskt ganska svagare behandlas i This en I Sina tidigare papper, män Anda slutsatsen ATT Det integre Hade Någon kraft. Den Andra Låg i Turings Diskussion om ”kontinuiteten i nervsystemet.” Han hävdade ATT Hjärnans Grund i kontinuerlig materia, snarare ett ATT Vara en Diskret maskin, var återigen Inget argument MOT beräkningsbarhet Tanke: ett Diskret systemet Kan approximera en kontinuerlig en SÅ Nära as Önskas. Den Tredje var begreppet slumpmässighet, as Turing infördes utan Någon allvarlig definition. Hans illustration används ”siffrorna I &# 960; ”As en slumpmässig Sekvens, OCH DETTA ÄR par excellence en beräkningsbar Ingång.

Sammanfattningsvis var Turing kunna Göra anspråk på: Jag Tror ATT Cirka femtio års Sikt Kommer Det Att vara möjligt ATT Programmera Datorer, Med en lagringskapacitet in ca 10 9. ATT Göra dem SPELA imitation Spelet SÅ Väl ATT en genomsnittlig frågestation Kommer Inte Har mer mottagare än 70 Procent. chans ATT Göra Rätt Identifiering EFTER FEM Minuter AV förhör. This profetia AV Kraften i beräkningsbar var NATURLIGTVIS ATT stimulera Loebner tävlingar as Dateline 2000 närmade sig.

6. EFTER TEST

Ingen hänsyn till Alan Turing skulle Vara komplett Utan Ett omnämnande AV hans sista år. Computing Machinery and Intelligence sköts GENOM Med rättssalen Bilder av jury and forsøk; de var profetiska. Turing greps för Hans affär Med en ung Manchester man 1952. Alla homosexuella beteende var sedan olagligt. Han var allvarligt Stord AV Det straff SOM följde: Hans Hjärna ”behandlad” med östrogen. Män hans Sinne Inte förtvina i webbplatsen Nya period. År 1950 Hade Han börjat seriöst Arbete, as innebär användning AV Manchester Dator, in en ny teori about Icke-Linear partiella differential, föreslås as ”Den Kemiska Grunden FÖR morfogenes. This OCH Annan Forskning fortsatte Kraftigt travar avbrottet. (Det did hans Personliga liv , SOM SOM Vanligt Han vägrade ATT Anpassa sig till Samhällets förväntningar.)

1932 Turing Hade spekulerat, påverkas Bade AV Eddington, and trauma i SITT Personliga liv, Att kvantmekaniken Bygger fre Vilja (Hodges 1983, s. 63). Förhållandet Mellan von Neumann and Turing Har skaft Mycket uppmärksamhet in Grund AV frågan about vem as Först Fick Iden ATT en praktisk universell maskin (Hodges 1983, se available Davis 2000). Mindre KANT ÄR ATT Turings første allvarliga forskningsstudie var von Neumanns Arbete in sv Grund AV kvantmekaniken. Von Neumann klargjorde mätning Eller reduktionsprocess i Kvantmekanik; Det ÄR This as integre ÄR förutsägbar. Sjuttio år Senare also Det ingen överens Eller övertygande förklaring till Hur Eller på När en Sådan ”minskning” inträffar. Jag 1953-4 skrev Turing till sin vän OCH Kollega Robin Gandy ATT Han ”försöker hitta en ny Kvantmekanik (Gandy 1954). Antagligen var Han försöker Göra en förutsägbar teori Om reduktionsprocessen för ATT Stånga kryphål i hans argument för beräkningsbarhet AV hjärnprocesser. Män Han hund 1954 innan tillkännage Något Resultat.

Hans sista Publicerade papper (Turing 1954), var återigen halv populär, as forekommer i Penguin Science News. This nämnde integre Kvantmekanik, män Det Gick Tillbaka till de Rena matematik beräkningsbarhet (SOM Hade Märken Senaste nytt liv Med Framsteg Inom algebra), and redogjorde för Gödel sats. Hans Slutsats var förvånansvärt olik den uttalade 1950; Han Sade ATT Gödel sats visade ATT ”sunt Sense” behövdes Tolkning axiom, and This Gången intuitiva ”sunt Sense” inte påstods Vara en Något maskin Kunde visum Liksom en Människa. år 1950 verkar ha markerade toppen AV SIN dogmatism Om Maskinell Intelligence, män DET ÄR omöjligt Att Veta Hur hans åsikter skulle ha utvecklats Hade Han levde Längre.

Under de SENASTE Åren Roger Penrose Har Märken upp de Två Teman as Turing hittats svårast ATT passa i jag synd avhandling AV beräknings mentala Funktioner &# 8212; Gödel sats and kvantmekanisk processen minskning &# 8212; and HAR SAGT ATT de Måste Vara ansluten (Penrose 1989, 1994, 1996). Penrose Anser ATT-funktionen AV Hjärnan integre kan-simuleras AV Ett datorprogram därför ATT AV-Dess kvantmekaniska Fysiska Grunden. Således, till Helt materialistiska skål ingen verkligt intelligent beteende Kommer någonsin simuleras AV sv Dator: håla Fulla Turingtestet Kommer Aldrig ATT vidarebefordras. Manga kommentatorer Har attackerat This Slutsats, män DET Måste Sagas ATT de Ämnen as Penrose betonar ÄR De som Turing Själv Hittat central hans argument.

Vi ÄR nu-SA används To egenskaperna Hos Digitala Maskiner as ÄR Svårt ATT föreställa Världens Där Turing trollade dem from ren fantasi 1936. Män Det ÄR Viktigt Att se ATT Det Turing erbjuds i 1950, grundar sig in This tidigare Arbete, var Något SOM Gick utöver Den traditionella mind-materia debatt, and bortom lös science fiction tala Om människor OCH Robotar. Håla Hade En ny snabba substans jag Den Digitala Eller Discrete-tillståndsmaskin modell, klargjorde as Aldrig förr. This Konstruktion ÄR emellertid Hade en Icke-uppenbar begränsning uttryckt AV-Gödel sats and Turings Egna upptäckter Inom teorin FÖR beräkningsbarhet. Turing Hade Alltid Dessa Frågor i åtanke. Turings universalmaskin verkar nu ATT sopa Allt innan Det, and Fortsätter ATT fängsla oss Med den till Synes Aldrig sinande utbud AV Applikationer SOM DET Kan omfatta. Turings Egen Spänning FÖR This projekt, hans spel spelande entusiasm and ikonoklastiska humor, spaken kvar i varje konversation-programmet författare AV nutid. Män människan Bör Komma ihåg ATT Turings imitation Spelet faktiskt Först uppstod as ”fair play” argument för ATT flyga kraft Gödel sats and håla allvarliga pussel as utgörs AV gränserna FÖR Vad as Kan beräknas.

Fortsatt i Referenser

Källa: www.turing.org.uk

Kommentera

E-postadressen publiceras inte. Obligatoriska fält är märkta *

femton − nio =