英國有名盤算機(jī)迷信家艾倫·圖靈在1950年揭橥的論文《盤算機(jī)械與智能》中，對人工智能的成長和人工智能的哲學(xué)作出了普遍的研討。1936年，圖靈曾經(jīng)成長出了古代盤算機(jī)的道理，并在二戰(zhàn)時(shí)代在布萊切利園破解暗碼的進(jìn)程中施展了癥結(jié)感化。在1950年的論文中，圖靈摸索了“機(jī)械”和“思慮”的寄義，在后來的“圖靈測試”中，他提出，假如一臺(tái)機(jī)械停止的對話沒法與人類對話相差別，那末可以說這臺(tái)機(jī)械可以或許“思慮”。

　　他在盤算機(jī)方面的晚期研討結(jié)果被送到倫敦?cái)?shù)學(xué)學(xué)會(huì)（London Mathematical Society），而且證實(shí)了一切的數(shù)字盤算機(jī)都有異樣的功效（也就是說，只需有足夠的內(nèi)存和時(shí)光，任何盤算機(jī)都可以模仿一切其他盤算機(jī)的行動(dòng)），這個(gè)試驗(yàn)表達(dá)出了一個(gè)強(qiáng)無力的、優(yōu)雅且準(zhǔn)確的概念。這篇論文至今仍被普遍瀏覽、評論辯論、援用和歸入全集。

　　人工智能范疇的晚期研討者們專注于開辟需要的對象和技巧，以贊助他們摸索圖靈的思惟。晚期的辦法重要針對符號(hào)編程（也就是可以或許在本身的編程說話中把持表達(dá)的法式），這是最有遠(yuǎn)景的典范。很多特別目標(biāo)說話都是以此為動(dòng)力編寫的，個(gè)中最有名的是美國的LISP說話，但也包含來自英國的主要進(jìn)獻(xiàn)，好比POP-2（由愛丁堡年夜學(xué)的羅賓·波普和羅德·伯斯托創(chuàng)造）和Edinburgh Prolog（由愛丁堡年夜學(xué)的年夜衛(wèi)·沃倫創(chuàng)造）。

　　1952年，克里斯托弗·斯特拉奇在曼徹斯特年夜學(xué)應(yīng)用Ferranti?Mark?1體系編寫了國際跳棋的弄法，在后來還編寫了情書。人工智能曾經(jīng)介入到了愈來愈龐雜的游戲中，這一向是其提高的標(biāo)記。

　　另外一位前布萊切利暗碼破譯者是唐納德·米奇，他后來在愛丁堡的機(jī)械智能與感知部分擔(dān)負(fù)主管。其時(shí)他創(chuàng)造的連三子棋法式MENACE對其時(shí)的盤算機(jī)來講太甚龐雜，而他最后是用300個(gè)火柴盒來實(shí)行這個(gè)進(jìn)程的。

　　到20世紀(jì)60年月，人工智能技巧被運(yùn)用于更加龐雜的成績，并被應(yīng)用到現(xiàn)實(shí)中。后期籌劃包含制訂處理成績的戰(zhàn)略，從而慢慢處理成績，好比主動(dòng)推理，或許是計(jì)劃根據(jù)（由艾倫·邦迪開創(chuàng)）。

　　懂得天然說話是另外一個(gè)主要的部門；例如，Karen Sprck Jones創(chuàng)造了從文檔中檢索信息的方法，而Yorick Wilks的偏好語義是一種用來清除單詞歧義感的盤算辦法，這不只是對人工智能的進(jìn)獻(xiàn)，并且直接挑釁了說話學(xué)中占主導(dǎo)位置的喬姆斯基范式。他們二人都是劍橋說話研討小組的校友，這是一個(gè)由維特根斯坦的先生Margaret Masterman創(chuàng)建的盤算機(jī)說話學(xué)的傳奇熔爐。

　　在隨后的成長中，像愛丁堡的Freddy I和Freddy II如許的機(jī)械人體系曾經(jīng)可以或許將視覺、智能、多功效性和物理工程聯(lián)合起來，來完成一些義務(wù)，好比組裝物體（須要為機(jī)械人開辟的公用AI說話）。人工智能體系也對認(rèn)貼心理學(xué)這一學(xué)科發(fā)生了影響。研討人員包含理查德？格雷戈里、克里斯托弗？隆格希金斯、菲利普？約翰遜-萊爾德和戴維？馬爾，他們認(rèn)識(shí)到，人類的認(rèn)知進(jìn)程可以被視為一種盤算方法，并被模擬為盤算機(jī)法式。

　　在全球和在英國，人工智能閱歷了向前成長的階段，也有絕對停止的時(shí)代（平日被稱為“人工智能的冬季”）。個(gè)中一個(gè)嚴(yán)重事宜產(chǎn)生在1973年，詹姆斯·萊特希爾（Sir James Lighthill）揭橥了關(guān)于人工智能的申報(bào)，該申報(bào)建議將人工智能資金集中在多數(shù)幾所英國年夜學(xué)。萊特希爾質(zhì)疑了其時(shí)的人工智能可以或許經(jīng)由過程擴(kuò)展范圍來處理實(shí)際世界的龐雜成績，并且確切，20世紀(jì)60年月的主流辦法，將龐雜的推理建模為能夠的決議計(jì)劃樹，很輕易碰到組合性爆炸的成績。

　　然則，從久遠(yuǎn)來看，符號(hào)編程的提高令人們對人工智能處理龐雜成績的才能有了更深刻的懂得，特殊是在對象和技巧方面獲得了特殊的停頓，可以模仿或支撐龐雜的專家推理在構(gòu)造絕對優(yōu)越的范疇的運(yùn)用（在任務(wù)場合的運(yùn)用長短?；孟氲模?/p>

　　Knowledge-based Systems（KBS），被稱為常識(shí)庫體系，將人工智能技巧與其他類型的盤算推理和范疇相干專業(yè)常識(shí)聯(lián)合起來，為異常經(jīng)常使用但主要的實(shí)際運(yùn)用法式創(chuàng)立體系。KBS不惹人注視但現(xiàn)實(shí)的勝利，贊助化解了萊特希爾的“消極情感”，并為經(jīng)由過程Alvey項(xiàng)目停止年夜范圍的資金擴(kuò)大攤平了途徑?；叵腙傥?，我們所看到的人工智能冬季都是過度炒作的產(chǎn)品——支撐者夸張了毛病的掉敗印象，并是以低估了研討中主要但未取結(jié)果的造詣。

　　1983年至1987年時(shí)代，英國的Alvey智能常識(shí)庫體系（IKBS）籌劃是為了呼應(yīng)其他國度的停頓而開辟的，特別是日本（其這5年的項(xiàng)目依附技巧和說話，特別是來自英國的Edinburgh Prolog）。Alvey影響了學(xué)術(shù)界研討才能的成長，也勉勵(lì)了行業(yè)運(yùn)用，使其專注于曾經(jīng)獲得停頓的現(xiàn)實(shí)成績，特別是天然說話處置、界面和KBS。

　　這些運(yùn)用法式逐步將人工智能范疇的目的從制作“思慮機(jī)械”（這個(gè)概念一向存在哲學(xué)爭辯）改變?yōu)榱烁蓹?quán)衡的構(gòu)思，即發(fā)明出可以或許施展感化的機(jī)械，假如這些機(jī)械是由人類臨盆的，那末便可以將其感化歸因于“智能”（圖靈測試中隱含的一個(gè)概念）。這類智能的表示能夠是由“蠻力”辦法發(fā)生的，既沒有反應(yīng)，也沒有試圖反應(yīng)人類的成績。風(fēng)趣的是，英國造就了很多主要的哲學(xué)家，他們贊助發(fā)明了這些差別面前的概念，好比瑪格麗特·博登和安迪·克拉克。

　　Alvey項(xiàng)目以后，AI的投資再次降低，但這一范疇的遠(yuǎn)景曾經(jīng)涌現(xiàn)了惡化，由于新的編程辦法不再依附于符號(hào)推理的線性組合。雖然符號(hào)編程是人類說話最簡略的編程類型，但模仿天然技巧從感知情況（例如來自感官的信息）中也能夠揣摸出許多信息，由于它們不包含陳說性或假定性常識(shí)的直接表述。

　　從天然中取得靈感的一個(gè)例子是遺傳算法，它將一個(gè)法式編碼為一組“基因”，然后以模擬退化的方法停止修正，尋覓與賡續(xù)變更的與情況的“契合度”（晚期項(xiàng)目包含理查德·弗西斯的小獵犬體系，用于形式辨認(rèn)）。另外一種是神經(jīng)收集或銜接主義體系，在這類體系中，天然“神經(jīng)元”互相銜接在一個(gè)體系中，這個(gè)體系的感化相似于人腦，由多個(gè)“神經(jīng)元”互相安慰或克制。與具有意味意義的人工智能一樣，研討人員常常在模擬人類年夜腦時(shí)停止逆向推理，來進(jìn)步其機(jī)能（例如，由杰弗里·辛頓開辟的反向流傳算法），但由史蒂夫·弗伯引導(dǎo)的年夜范圍神經(jīng)收集SpiNNaker（2005-）依然是年夜腦直接建模的傳統(tǒng)范式。其他與人工智能相干的非傳統(tǒng)盤算辦法還包含并行處置（并行處置多個(gè)處置器來處理成績）、多智能系統(tǒng)統(tǒng)（在一個(gè)情況中有很多智能主動(dòng)署理交互）和機(jī)械進(jìn)修（算法可以進(jìn)修在數(shù)據(jù)中找到主要的構(gòu)造，并經(jīng)由過程培訓(xùn)肯定風(fēng)趣的形式）。

　　其他國度和國際公司正在年夜力投資人工智能開辟，但英國仍被視為人工智能研討和運(yùn)用范疇的專業(yè)中間，至多今朝是如許。例如，DeepMind的兩位開創(chuàng)人，在倫敦年夜學(xué)學(xué)院盤算機(jī)神經(jīng)迷信組讀博士時(shí)結(jié)識(shí)，而這一小組的開創(chuàng)主任恰是杰弗里·辛頓。英國可以持續(xù)在圖靈的遺產(chǎn)和跟隨他的人的基本上持續(xù)盡力，持續(xù)成為人工智能的主要中間之一。

　　Kieron o'hara博士，南安普敦年夜學(xué)電子與盤算機(jī)迷信系副傳授和首席研討員。