在上世紀(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)行分析推理。”

“實(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)。”林方真教授補(bǔ)充道。

更多詳細(xì)內(nèi)容，敬請關(guān)注OFweek人工智能網(wǎng)后續(xù)專題報(bào)道！