在上世紀(jì)80年代人工智能概念就已經(jīng)炒得火熱,但是由于軟硬件兩方面技術(shù)的不成熟,使其一直處于沉寂狀態(tài)。隨著大規(guī)模并行計(jì)算、大數(shù)據(jù)、深度學(xué)習(xí)算法和人腦芯片這四大相關(guān)技術(shù)的進(jìn)步,以及計(jì)算成本的降低,助推人工智能技術(shù)突飛猛進(jìn)。如今,人工智能已經(jīng)成為這個(gè)時(shí)代最激動(dòng)人心、最值得期待的技術(shù),將成為未來10年乃至更長時(shí)間內(nèi)IT產(chǎn)業(yè)發(fā)展的焦點(diǎn)。
11月13至14日,由OFweek中國高科技行業(yè)門戶主辦,OFweek人工智能網(wǎng)承辦的“OFweek2017中國人工智能大會(huì)”在深圳隆重舉辦。香港科技大學(xué)計(jì)算機(jī)科學(xué)系教授林方真在大會(huì)的AI技術(shù)專場作了主題演講——《智能系統(tǒng)的認(rèn)知與推理》,主要介紹了人工智能在認(rèn)知和推理環(huán)節(jié)的研究成果,討論如何讓人工智能系統(tǒng)獲取應(yīng)用常識(shí)、深度知識(shí)以及規(guī)范知識(shí)。
林方真教授一直專注于人工智能在認(rèn)知和推理方面的研究,現(xiàn)任香港科技大學(xué)計(jì)算機(jī)系教授,是美國人工智能協(xié)會(huì)(AAAI) Fellow,獲得了Stanford大學(xué)人工智能博士。曾獲2006香港裘槎基金會(huì)科研者獎(jiǎng),多個(gè)國際人工智能大會(huì)的最佳論文獎(jiǎng)。
完整的智能體需要全方位的AI技術(shù)
首先,林方真教授給大家分享了自己對人工智能的理解。他認(rèn)為,人工智能主要是研究人的智能行為,就是把人的行為人工化、工程化。從AI的發(fā)展史看,其實(shí)專家系統(tǒng)可以說是最早的AI技術(shù),它在工業(yè)領(lǐng)域產(chǎn)生了較大影響。專家系統(tǒng)是一種基于規(guī)則的知識(shí)庫,最出名的是Mycin,能夠幫助診斷疾病。不同領(lǐng)域有不同的專家系統(tǒng),例如采礦系統(tǒng)、計(jì)算機(jī)設(shè)計(jì)系統(tǒng)、銀行的貸款和審批系統(tǒng)。其實(shí),80年代財(cái)富500強(qiáng)企業(yè)中有三分之二已經(jīng)把專家系統(tǒng)應(yīng)用在日常的商業(yè)活動(dòng)中。只是現(xiàn)在很少再聽到 “專家系統(tǒng)”這個(gè)名詞。
由工業(yè)領(lǐng)域的AI技術(shù),林方真教授引出了人的智能行為這一主題,他認(rèn)為要想真正達(dá)到人工智能,需要一個(gè)完整的智能體,這個(gè)完整的智能體需要全方位的AI技術(shù)。例如大家熟知的家庭服務(wù)機(jī)器人,一個(gè)能獨(dú)立工作的機(jī)器人,必須對人類有認(rèn)知、有記憶,而且能根據(jù)人類的喜好進(jìn)行推理。因此,認(rèn)知與推理一直被認(rèn)為是人工智能最集中的體現(xiàn)。
計(jì)算機(jī)的定理證明和發(fā)現(xiàn)是AI的下一個(gè)挑戰(zhàn)
“真正有獨(dú)立性的機(jī)器人,一定要有認(rèn)知,它要知道你知道什么,也要知道你不知道什么。”對此,林方真教授為大家列舉了兩個(gè)關(guān)于邏輯和推理方面的實(shí)例:第一個(gè)是TIMEFUL,專門用來把人的意向系統(tǒng)化,2014年由斯坦福大學(xué)Yoav Shoham和另外兩個(gè)人一起創(chuàng)立,2015年被谷歌收購;另一個(gè)系統(tǒng)更邏輯化,完全產(chǎn)生于數(shù)學(xué)系統(tǒng),叫做INFER,是關(guān)于計(jì)算機(jī)推理程序的,由英國倫敦專門做邏輯推理的教授開發(fā),2013年被Facebook收購。
最后,林方真教授介紹了自己的團(tuán)隊(duì)正在做的認(rèn)知機(jī)器人。他表示:“我們有高層的程序設(shè)計(jì)語言,專門給機(jī)器人做編程,不過是非常模式化的編程,主要設(shè)計(jì)機(jī)器人的動(dòng)作。此外還有對人的常識(shí)進(jìn)行推理的編程,我們把新程序和JAVA放到數(shù)學(xué)中,進(jìn)行分析推理?!?/p>
“實(shí)際上所有的問題都是數(shù)學(xué)問題,基本上都可以做定理證明,但是比較難,需要計(jì)算機(jī)輔助。要做認(rèn)知和深度推理,就離不開數(shù)據(jù)邏輯和經(jīng)典數(shù)學(xué),還有計(jì)算機(jī)的定理證明和發(fā)現(xiàn),這是解決認(rèn)知和推理的關(guān)鍵技術(shù),是AI的下一個(gè)挑戰(zhàn)?!绷址秸娼淌谘a(bǔ)充道。
更多詳細(xì)內(nèi)容,敬請關(guān)注OFweek人工智能網(wǎng)后續(xù)專題報(bào)道!
(免責(zé)聲明:本網(wǎng)站內(nèi)容主要來自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿,凡在本網(wǎng)站出現(xiàn)的信息,均僅供參考。本網(wǎng)站將盡力確保所提供信息的準(zhǔn)確性及可靠性,但不保證有關(guān)資料的準(zhǔn)確性及可靠性,讀者在使用前請進(jìn)一步核實(shí),并對任何自主決定的行為負(fù)責(zé)。本網(wǎng)站對有關(guān)資料所引致的錯(cuò)誤、不確或遺漏,概不負(fù)任何法律責(zé)任。
任何單位或個(gè)人認(rèn)為本網(wǎng)站中的網(wǎng)頁或鏈接內(nèi)容可能涉嫌侵犯其知識(shí)產(chǎn)權(quán)或存在不實(shí)內(nèi)容時(shí),應(yīng)及時(shí)向本網(wǎng)站提出書面權(quán)利通知或不實(shí)情況說明,并提供身份證明、權(quán)屬證明及詳細(xì)侵權(quán)或不實(shí)情況證明。本網(wǎng)站在收到上述法律文件后,將會(huì)依法盡快聯(lián)系相關(guān)文章源頭核實(shí),溝通刪除相關(guān)內(nèi)容或斷開相關(guān)鏈接。 )