西蒙是誰?
回答這個問題之前,思考下,西蒙是誰?
不知道的可以去了解下,這是一位人生全程開掛的奇才!
西蒙,全名:赫伯特·西蒙(HerbertA.Simon,中文名司馬賀),AI界的大佬。西蒙的“亮點”是,年輕時是一個撩妹水平一等的富二代。不過,就是這么一個花花公子,1916年,西蒙出生在美國一個錢多得掉渣的家庭。身為富二代,財大氣粗、生活奢靡、好逸惡勞的習慣西蒙一樣沒少。
上大學后,他與芝加哥大學政治系秘書多蘿西婭·派伊相遇,從此,他的后半生發生了天翻地覆的化。沒過幾個月,風流成性的西蒙便與大自己3歲的派伊結婚了!
西蒙先是花了4年時間完成了關于管理決策制定的博士論文,并取得了芝加哥大學政治學博士學位,該論文后來成了他的經典著作《管理行為》。
之后,西蒙又陸續自學多門課程,于1942年起在伊利諾伊理工學院執教,此時26歲的西蒙便已能講授憲法學、城市規劃、地緣政治學、合同法、統計學、勞動經濟學、運籌學、美國史等眾多課程,幾乎涵蓋所有社會科學……
1939年,西蒙被派遣到卡內基梅隆大學,這是一所當時全美排名100名開外的大學,然而,西蒙一生中最輝煌的成就卻是在這里創造出來的。
在這里,他就開發了一個叫
41歲時,他又開發出了人類歷史上第一個人工智能程序設計語言——IPL語言。
之后,他提出了“物理符號系統假說”PSSH,可以用來模擬人類大腦的各種思考過程,這個假說直接推動了之后幾十年人們對人工智能的偉大探索。
AI軟件成功開發之后,西蒙回歸家庭,和妻子一起做了一個心理學實驗,證明人類解決問題的過程其實是一個搜索的過程。一不小心,
隨后,西蒙又開始搗鼓住宅的自動空間組合,在CAD的基礎上,
1978年,
西蒙一生獲得過9個博士頭銜,獲頂級獎項無數,橫跨多個學科。簡直是學霸中的霸霸!
如何證明計算機有智能?
如何證明計算機有智能是計算機界的另外一位大佬
A.M.Turing在論文Computingmachineryandintelligence中,在回答“機器是否可以思考這一問題”時,發現“思考”一詞難以給出一個準確的描述。他認為試圖準確描述“思考”的行為是危險的,因此他沒有嘗試給出一個定義,而是從另一個角度提出一個能夠準確描述的問題,可以看作機器是否可以思考這一問題的近似或替代。這一問題被稱為:
問題的簡要描述如下:
一個男人和一個女人會躲在不同的房間里。兩個房間外的人都會向隱藏的人提問。隱藏的男人會試圖回應,好像他是那個女人一樣,女人會像男人那樣回應。任務是隱藏人們欺騙人群,誰在誰的門后面。在圖靈測試中,考官坐在分隔符后面,并向未觀察到的實體輸入問題。實體(計算機或人類)在文本中響應,就好像它是人類一樣。如果檢查者無法將人類響應與像人類一樣響應的計算機區分開,那么計算機就會通過圖靈測試。
從圖靈所處的時代角度考慮,當時的計算設備并不強,因此他給出了一些限制,測試者與被測試者不能接觸,通過房間分隔,交流靠的是文本而不是用聲音。
后續又衍生出
新的圖靈測試的原理:讓機器A和人B待在兩個房間,詢問者C在門外與二者進行交流,除了不能直接接觸和看見對方,詢問者可以選取任何交流的方式,比如聲音,打印字體等,如果詢問者C不能分辨出人和機器,那么就認為機器具有智能。
這個新的圖靈測試很大程度是根據現有的科技水平來設置的,如果未來的科技發展到能制作近乎人類的皮膚,或是更厲害的生物計算機,圖靈測試的標準還可以變一下。
最終的圖靈測試可能會變成如下:
讓詢問者C和機器人A和B直接接觸,做出正常人類之間的交流,包括聲音,動作,觀察等,如果詢問者不能取分A和B,那么就認為機器具有智能。