Strong_AI

**強人工智慧**（Strong AI）或**通用人工智慧**（英語：Artificial General Intelligence）是具備與人類同等智慧型、或超越人類的人工智慧，能表現正常人類所具有的所有智慧型行為。

## 概述

強人工智慧是人工智慧研究的主要目標之一，同時也是科幻小說和未來學家所討論的主要議題。相對的，弱人工智慧（applied AI，narrow AI，weak AI, artificial narrow intelligence, ANI）只處理特定的問題。弱人工智慧不需要具有人類完整的認知能力，甚至是完全不具有人類所擁有的感官認知能力，只要設計得看起來像有智慧型就可以了。由於過去的智慧型程式多是弱人工智慧，發現這個具有領域的侷限性，人們一度覺得強人工智慧是不可能的。而強人工智慧也指**通用人工智慧**（artificial general intelligence，AGI），或具備執行一般智慧型行為的能力。強人工智慧通常把人工智慧和意識、感性、知識和自覺等人類的特徵互相連結。

因而，這樣的具備意識的強人工智慧是否存在？目前類比出簡單的一個生物頭腦已經不是不可能的事，一如化學技術累積發展下，現在許多研發藥品已經使用計算機模型來推演藥物效果，以減少受試動物的痛苦等。從前在使用電腦語言的時代，原先電腦被認為是不可能具備自我解決能力的，電腦只是看起來聰明，實質上還是按照設計好的規則行事，並不能應付突如其來的狀況，仍舊會犯下錯誤，而近年來從電腦在摩爾定律與神經科學研究的協助下，透過在電腦上對生物神經元系統複雜的電位衝動類比上取得了明顯的突破，使人工智慧越過發展中的坎 —— 神經處理機制的發現，因為生物的獨特是在於刺激與反應下會強化其回饋作用，這類能夠透過試錯學習經驗並總結，以回應各種刺激的系統（例如玩多次網球遊戲便能從生疏至熟巧），還能從每種回饋中又觸發其他迴路來升級改進思考結構，做出更複雜的精細反應（例如在對話中選擇誠實、說謊、漠然之後考慮其不同行為的後果等），這樣的仿生領域已經得到長足的進步，使人腦與 AI 的區別逐漸變得模糊；但是，在機器是否存在有自主「思想」上的議題，將還會一直是人們爭辯的物件，特別是在智慧型理性與心理感性部分要如何區別、統合，更需要進一步引導其具有人性，來為人類提供最佳解，目前這些方法都還沒有探索出來。在一些能夠自動推理出最佳解的工具已經出現，如 Google 旗下的深思公司（DeepMind）在此領域進展最多，成功開發出了能解決任意問題的通用思考機器，他們將其類人腦神經程式稱「人工通用智慧型技術」，而「通用」一詞就代表著這是一個可以透過自主「進化發展」的通用智慧型。

## 標準

人們提出過很多人工智慧的定義（例如能夠通過圖靈測試），但是沒有一個定義能夠得到所有人的認同；然而，人工智慧的研究者們普遍同意，以下特質是一個智慧型所必須要擁有的：

* 自動推理，使用一些策略來解決問題，在不確定性的環境中作出決策；
* 知識表示，包括常識知識庫；
* 自動規劃；
* 自主學習、創新；
* 使用自然語言進行溝通；
* 以及，整合以上這些手段來達到同一個的目標；

還有一些重要的能力，包括機器知覺（例如電腦視覺），以及在智慧型行為的世界中行動的能力（例如機器人移動自身和其他物體的能力）。 它可能包括探知與迴避危險的能力。 許多研究智慧型的交叉領域（例如認知科學、機器智慧型和決策）試圖強調一些額外的特徵，例如想像力（不依靠預設而建構精神影像與概念的能力） 以及自主性。
基於電腦的系統中的確已經存在許多這樣的能力，例如計算創造性、自動推理、決策支援系統、機器人、進化計算、智慧型代理，然而並未達到人類的水平。

### 檢驗強人工智慧的操作性手段

一個強人工智慧需要通過什麼樣的測試標準，科學家們有很多不同的想法，他們之中包括阿蘭・圖靈、本・格策爾、尼爾斯・尼爾森，他們提出的測試包括：

1. 圖靈測試（圖靈）

　
: 同人類交流的試驗。

2. 咖啡測試 (沃茲尼亞克)

　
: 生活中空間、操作技能的測試。將一部機器帶到任何一個普通的美國家庭中，讓它在不經刻意設計的條件下，懂得泡好一杯咖啡。它需要主動在陌生空間中認識咖啡機、辨識咖啡和水、找到合適的杯子並放好，然後按正確的鍵和操作以沖泡咖啡。這需要仰賴機器人學、圖像辨識的演算。

3. 機器人學生測試 (格策爾)

　
: 透過機器學習，分析和回答單一問題的測試 。讓一個機器去註冊一所大學，參加和人類學生同樣的考試，然後通過並獲得學位。例如日本的東大 AI 或是 IBM 參加搶答節目的華生。

4. 雇員測試 (尼爾森)

　
: 測試統籌、推斷、發想、規劃解決複雜問題的能力。讓機器處在一個經濟上重要的職位，需要它能夠和同樣職位的人類做得同樣好或者更好。

這些測試檢測了一系列必要的特質，包括推理和學習能力。

## 強人工智慧需要解決的問題

人們將對於電腦來說最困難的問題，非正式地稱為「人工智慧完備」（AI-complete）或者「人工智慧困難」（AI-hard）的，以此說明解決了這些計算性問題就相當於解決了人工智慧的核心問題 —— 讓電腦和人類或者強人工智慧一樣聰明。 將一個問題稱為「人工智慧完備的」，意味著它不能被一個簡單的特定演算法解決。

人們假定人工智慧完備的問題包括電腦視覺、自然語言理解，以及處理真實世界中的意外情況。目前為止，人工智慧完備的問題仍然不能單靠現代電腦技術解決，而是需要人類計算。這一點在某些方面很有用，例如通過驗證碼來判別人類和機器，以及在電腦安全方面用於阻止暴力破解法。

## 人工智慧研究的主流

### 強人工智慧研究的主流歷史

現代人工智慧研究開始於 1950 年代中期。 最早的一批人工智慧研究者相信強人工智慧不僅是可能的，而且將在幾十年內出現。人工智慧先驅司馬賀在 1965 年寫道：「在 20 年之內，機器就能夠做到一個人能做到的任何事。」 啟發這一預言的是斯坦利・庫布里克和亞瑟・查理斯・克拉克創作的角色，HAL 9000。當時的人工智慧研究者確信，能夠在 2001 年製造出這樣的機器。值得一提的是，人工智慧先驅馬文・閔斯基，在創作 HAL 9000 的工作中， 他擔任了儘量將其製作得與當時主流研究界預言一致的專案顧問；根據 Crevier 所參照他在 1967 年所說的話：「在一代人之內... 製造『人工智慧』的問題就將被基本解決」。

然而，到了 1970 年代早期，研究者們意識到他們遠遠低估了其中的困難。資助 AI 專案的機構開始對強人工智慧產生懷疑，向研究者們施壓要求他們轉向更有用的技術，所謂的「應用 AI」。 在 1980 年代初，日本的第五代電腦開始重新對強人工智慧恢復興趣，制定的十年計劃中包括一些強人工智慧的目標，比如「進行日常對話」。 同時，專家系統的成功和它一起促成了工業界和政府的資金重新開始注入這個領域。 然而，人工智慧的市場在 1980 年代晚期發生劇烈崩塌，而第五代電腦的目標從未實現。 再一次，人工智慧研究者們對於強人工智慧即將到來的預言在 20 年之內被證明超出了他們的能力。結果到了 1990 年代，人工智慧研究者背上了無法實現自己承諾的名聲，他們拒絕再作出任何預言。 並且避免提到任何「人類水平」的人工智慧，以免被貼上「白日夢」的標籤。

### 今日的人工智慧研究主流

在 1990 年代和 21 世紀初，主流的人工智慧在商業成果和學術地位上已經達到了一個新高度，依靠的是專注於細分的專門問題的解決。他們可以提供許多方案和商業應用，例如人工神經網路、機器視覺以及資料探勘。 這些「應用人工智慧」今天已經在工業技術和研究中得到廣泛和深入應用，在學術和產業方面都得到了許多資助。

大多數主流的人工智慧研究者希望，能夠通過將解決局部問題的方法組合起來實現強人工智慧，例如將智慧型體架構、認知架構或者包容式架構整合起來。漢斯・莫拉維克在 1988 年寫道： 

> "我相信，有一天人工智慧的自下而上的研究路線，會與傳統的自上而下的路線半途相遇，從而獲得真實世界中的能力，以及對於推理程式來說極其困難的常識知識庫。這兩種方向結合在一起的時刻，會成為了產生真正智慧型機器的所謂「金釘子」。"
> 
> 

 然而，在人工智慧研究者之間也存在一些爭論，甚至涉及這個領域的哲學基礎；例如，普林斯頓大學的 S.Harnad 在 1990 年關於符號基礎假設的論文中這樣寫道： 

> "人們期待，模型認知的「自上而下的」（符號的）研究會在某個點上遇到「自下而上」（感覺的）研究。但是如果這篇文章有關落地的考慮是正確的，那麼這個希望不會實現，只有一個可行從感覺到符號的路線，就是自下而上。一個獨立的符號層面，就像電腦的軟體層面，從不需要這樣的路徑來到達（反之亦然）—— 也不清楚我們為何要努力達到這樣的層面，因為這個過程反而將我們的符號從原生的意義中連根拔起（於是僅僅是將我們化簡為與可程式化電腦功能上等價的東西）。"
> 
> 

### 現代通用人工智慧研究

「通用人工智慧」這一術語於 1997 年被馬克・古布魯德在一次關於全自動軍事生產於操作的研討會中使用。大約在 2002 年，該術語被沙恩萊格和本・格策爾重新提及和推廣。那些研究目標非常古老，例如如道格拉斯・萊納特的 CYC 專案（始於 1984 年），以及艾倫・紐厄爾的 Soar 專案也被認為屬於 AGI 的範疇。王培和本・格策爾將 2006 年的 AGI 研究活動描述為「創作出版物和早期的結果」。第一次 AGI 暑期學校於 2009 年，在中國廈門，廈門大學的人工大腦實驗室和 OpenCog 所舉辦。在 2010 和 2011 年，保加利亞的普羅夫迪夫大學，托多爾・阿納多夫開設了相關課程。MIT 在 2018 年開設了 AGI 的課程，由萊克斯・弗里德曼組織，以眾多客座講師為特色。但是，在當下，伴隨著「智慧型」過於複雜以至於無法在短期內被完全複製的警告，大多數 AI 研究者僅在 AGI 投入少量精力。不過，仍然有一小批電腦科學家活躍在 AGI 研究以及 AGI 會議中，他們的研究形形色色並富有開拓性。格策爾在他書中的介紹中說到，實現真正靈活的 AGI 所需要的時間從 10 年到一個世紀不等，但是，看起來 AGI 社群中的共識是，雷蒙德・庫茨魏爾在奇點迫近中討論的時間表是可信的。

## 理論

「強人工智慧」引發起一連串哲學爭論，例如如果一台機器能完全理解語言並回答問題的機器是不是有思維。哲學家希爾勒認為不可能。

關於強人工智慧的爭論，不同於更廣義的一元論和二元論的爭論。其爭論要點是：如果一台機器的唯一工作原理就是轉換編碼資料，那麼這台機器是不是有思維的？希爾勒認為這是不可能的。他舉了著名的中文房間的例子來說明，如果機器僅僅是轉換資料，而資料本身是對某些事情的一種編碼表現，那麼在不理解這一編碼和這實際事情之間的對應關係的前提下，機器不可能對其處理的資料有任何理解。基於這一論點，希爾勒認為即使有機器通過了圖靈測試，也不一定說明機器就真的像人一樣有思維和意識。

也有哲學家持不同的觀點。丹尼爾・丹尼特（Daniel C. Dennett）在其著作《意識的闡釋》（Consciousness Explained）里認為，人也不過是一台有靈魂的機器而已，為什麼我們認為：「人可以有智慧型，而普通機器就不能」呢？他認為像上述的資料轉換機器是有可能有思維和意識的。

## 參見

## 參考資料