在日常的學(xué)習(xí)、工作、生活中,肯定對(duì)各類范文都很熟悉吧。范文書寫有哪些要求呢?我們?cè)鯓硬拍軐懞靡黄段哪??這里我整理了一些優(yōu)秀的范文,希望對(duì)大家有所幫助,下面我們就來(lái)了解一下吧。
智能學(xué)校字篇一
一、在工作中長(zhǎng)期堅(jiān)持一個(gè)“勤”字
勤是我們搞好工作的前提和基礎(chǔ),尤其是門衛(wèi)工作,離開(kāi)了勤字是無(wú)法完成職責(zé)的,門衛(wèi)工作看似輕松,實(shí)則不然,就拿我們一天的工作來(lái)說(shuō)吧,一要經(jīng)常開(kāi)關(guān)門,二是每天進(jìn)出的車輛近百趟次,三是我們還要隨時(shí)隨地,打掃周邊的環(huán)境衛(wèi)生。四是我們還要堅(jiān)守職責(zé),防止閑雜人等潛入院內(nèi)搞破壞,所以這些都要靠什么來(lái)完成呢?當(dāng)然靠的就是個(gè)“勤”字,此外對(duì)于校領(lǐng)導(dǎo)分配的其它各種任務(wù),我們也是做到隨叫隨到,不折不扣去完成。
二、在工作中,始終圍繞一個(gè)“責(zé)”字
我的工作是為學(xué)生負(fù)責(zé)、為家長(zhǎng)負(fù)責(zé)、更是為學(xué)校的發(fā)展負(fù)責(zé)。所以我堅(jiān)持做到人不離崗,不空崗,勤關(guān)門,對(duì)進(jìn)出的每輛車,我都做到笑進(jìn)迎出,不厭其煩地問(wèn)清來(lái)龍去脈,嚴(yán)格把控,這樣做的好處就是把很多的閑人等和與校內(nèi)無(wú)關(guān)的車輛都攔截在校門外。對(duì)來(lái)訪的家長(zhǎng)和外來(lái)人員出入,我都做到了認(rèn)真盤查、登記和引導(dǎo)。
三、一直以來(lái),我遵遁著一個(gè)“愛(ài)”字
管理學(xué)生,把學(xué)生視同已出一樣去關(guān)心他們、去愛(ài)護(hù)他們,天冷了看到有些穿少的孩子就跟他提醒一句,多加點(diǎn)衣服,對(duì)小孩子們就說(shuō),在放學(xué)和上學(xué)的路上要靠邊走,不要走在路中間去了,要注意來(lái)往的車輛等等。這樣一來(lái),我們也有了回報(bào),是什么呢?是孩子們?cè)谶M(jìn)出校門口時(shí)的微笑和問(wèn)候,說(shuō)實(shí)在的,當(dāng)我聽(tīng)到孩子們的問(wèn)候和看到他們的微笑,我也就心滿意足了。
以上就是我一年來(lái)的工作,不足之去,請(qǐng)校領(lǐng)導(dǎo)和各位老師批評(píng)指正。由于水平限制,還有很多內(nèi)容沒(méi)有表達(dá)出來(lái),同時(shí)以上所述只是我應(yīng)該做的,離學(xué)校領(lǐng)導(dǎo)的要求還不夠,我會(huì)吸取教訓(xùn),總結(jié)經(jīng)驗(yàn),在新的一年里,在保安公司及校領(lǐng)導(dǎo)的正確指導(dǎo)下,進(jìn)一步加強(qiáng)學(xué)校的保衛(wèi)工作使每一項(xiàng)工作落到實(shí)處,做到防患未然,確保安全無(wú)事故。
智能學(xué)校字篇二
自2016年學(xué)校成為南京市智慧校園試點(diǎn)學(xué)校以來(lái),學(xué)校專門成立了以林慧敏校長(zhǎng)為組長(zhǎng),陳健副校長(zhǎng)為副組長(zhǎng),教導(dǎo)處、教科室、人事處、總務(wù)處、德育處及信息中心各個(gè)處室負(fù)責(zé)同志為工作小組組員的工作組。
2016年9月學(xué)校領(lǐng)導(dǎo)赴浙江寧波學(xué)習(xí)智慧校園建設(shè)情況,借鑒學(xué)校智慧校園設(shè)計(jì)經(jīng)驗(yàn),觀摩智慧校園成果演示。歸來(lái)后,學(xué)校立即組織召開(kāi)智慧校園創(chuàng)建動(dòng)員會(huì),發(fā)動(dòng)全體教師投入到創(chuàng)建中來(lái),發(fā)揮全體教師智慧,為智慧校園建設(shè)獻(xiàn)計(jì)獻(xiàn)策。邀請(qǐng)專業(yè)公司對(duì)學(xué)校智慧校園進(jìn)行整體架構(gòu)和設(shè)計(jì)。組織召開(kāi)專題會(huì)議,讓各部門從教學(xué)、管理、應(yīng)用等幾個(gè)環(huán)節(jié)入手,談需求,分析需求,形成學(xué)校智慧校園建設(shè)第一稿規(guī)劃。
2016年12月,全市中小學(xué)首席信息官培訓(xùn)在我校舉行,學(xué)校將梳理出的智慧校園建設(shè)方案進(jìn)行解讀,邀請(qǐng)共探討金陵小學(xué)“智慧校園”建設(shè)方案,針對(duì)這個(gè)方案進(jìn)行討論。各位信息技術(shù)人各抒己見(jiàn),誰(shuí)都不吝嗇自己的智慧分享,為我校智慧校園建設(shè)提出了寶貴建議。
2017年4月15日,學(xué)校在全市智慧校園建設(shè)推進(jìn)會(huì)上分享了學(xué)校修改后的方案,得到專家組認(rèn)可。
2017年6月全市中小學(xué)管理者信息化領(lǐng)導(dǎo)力培訓(xùn)分享了學(xué)校信息化建設(shè)的成果,介紹了學(xué)校智慧校園建設(shè)方案。
2017年6月中旬,學(xué)校再次邀請(qǐng)市電教館專家及曹書成工作室專家對(duì)學(xué)校智慧校園建設(shè)作招標(biāo)前的方案審核。
2017年9月初學(xué)校專門召開(kāi)智慧校園推進(jìn)會(huì),針對(duì)各個(gè)系統(tǒng)平臺(tái)及應(yīng)用學(xué)校形成各種制度,學(xué)校每位校長(zhǎng)負(fù)責(zé)牽頭內(nèi)容,推進(jìn)智慧校園創(chuàng)建工作。學(xué)校信息中心多次組織召開(kāi)培訓(xùn)工作,落實(shí)應(yīng)用和管理。發(fā)動(dòng)家長(zhǎng)、學(xué)生參與智慧校園建設(shè)來(lái)。
(1)智慧教室及云學(xué)寶應(yīng)用
9月一開(kāi)學(xué),十個(gè)國(guó)際班全部迎來(lái)了新的多媒體系統(tǒng),智慧教室的建成讓教學(xué)變的更智慧,云學(xué)寶系統(tǒng)的搭載讓老師們不會(huì)再有忘記帶課件的煩惱。課前備好二維碼,掃一掃即把所有相關(guān)教學(xué)資源都能呈現(xiàn)出來(lái)。
(2)電子班牌及校園電子發(fā)布系統(tǒng)
電子班牌同樣選取了10個(gè)國(guó)際班為試點(diǎn),9月中旬培訓(xùn)班主任發(fā)布方法。目前這10個(gè)班級(jí)的電子班牌正在使用中,每周一次更新,起到了很好的展示及告知作用。此后,還將與一卡通對(duì)接,學(xué)生刷卡即可獲知自己想看的信息。
(3)一卡通系統(tǒng)
目前為所有教師置辦了校園一卡通,實(shí)現(xiàn)考勤及會(huì)議簽到功能,同時(shí)對(duì)接集合了以前的門禁、圖書館等作用,真正做到了在學(xué)校只要一張卡。后期,還將為每個(gè)學(xué)生配備一卡通,并且再擴(kuò)大這張卡的功能。
(4)“金陵小學(xué)微校園”企業(yè)號(hào)辦公
“南京市金陵小學(xué)”的微信企業(yè)號(hào)中的“金陵小學(xué)微校園”版塊集合了很多功能,包括通知公告、報(bào)修、課程表、班級(jí)圈、彈性離校智慧化等,真正實(shí)現(xiàn)了智慧辦公,也方便了家校溝通。后期,將繼續(xù)探索該功能的使用,開(kāi)發(fā)出更便捷實(shí)用的模塊。
智能學(xué)校字篇三
人工智能專業(yè)最好的學(xué)校排名(一覽)
人工智能專業(yè)是目前的熱點(diǎn)專業(yè)!人工智能專業(yè)最好的學(xué)校排名是什么?下面是小編為大家整理的人工智能專業(yè)最好的學(xué)校排名,如果喜歡請(qǐng)收藏分享!
1、南京大學(xué)(a+檔,全國(guó)第1名)
2、西安電子科技大學(xué)(a+檔,全國(guó)第2名)
3、清華大學(xué)(a+檔,全國(guó)第3名)
4、哈爾濱工業(yè)大學(xué)(a+檔,全國(guó)第4名)
5、北京大學(xué)(a+檔,全國(guó)第5名)
6、浙江大學(xué)(a+檔,全國(guó)第6名)
7、上海交通大學(xué)(a+檔,全國(guó)第7名)
8、中國(guó)科學(xué)技術(shù)大學(xué)(a+檔,全國(guó)第8名)
9、電子科技大學(xué)(a檔,全國(guó)第9名)
10、東南大學(xué)(a檔,全國(guó)第10名)
具體評(píng)估排名結(jié)果如下表所示:
注:以上評(píng)估結(jié)果按“分檔”方式呈現(xiàn),共分為6檔,專業(yè)綜合排名位次為前2%或前2名的為a+級(jí),2% - 10%的為a級(jí),10% - 20%的為b+級(jí),20% - 50%的為b級(jí),50% - 70%的為c級(jí)(不發(fā)布), 70%以后的為d級(jí)(不發(fā)布)
人工智能專業(yè)是一個(gè)比較好學(xué)的專業(yè),課程難度不大,同時(shí)該專業(yè)還是一個(gè)很不錯(cuò)的專業(yè),前景很好,中國(guó)正在產(chǎn)業(yè)升級(jí),工業(yè)機(jī)器人和人工智能方面會(huì)是強(qiáng)烈的熱點(diǎn),以后很多東西都是人工智能了。我是桂林電子科技大學(xué)18級(jí)學(xué)生,我有一個(gè)認(rèn)識(shí)的學(xué)弟就是人工智能專業(yè)的,我們學(xué)校是2020年才有人工智能這個(gè)專業(yè)的,下面我來(lái)具體介紹一下這個(gè)專業(yè)吧。
人工智能是研究、開(kāi)發(fā)用于模擬、延伸和擴(kuò)展人智能的理論、方法、技術(shù)及應(yīng)用系統(tǒng)的一門新技術(shù)科學(xué),也是計(jì)算機(jī)科學(xué)的一個(gè)分支。它企圖了解智能的實(shí)質(zhì),可以產(chǎn)出一種新的可以和人類智能相似的方式做出反應(yīng)的智能機(jī)器,該領(lǐng)域的研究主要有機(jī)器人、語(yǔ)言識(shí)別、圖像識(shí)別、自然語(yǔ)言處理和專家系統(tǒng)等。
主修課程人工智能專業(yè)的核心課程有:專業(yè)導(dǎo)論、人工智能數(shù)學(xué)基礎(chǔ)、線性代數(shù) a、概率論與數(shù)理統(tǒng)計(jì)、程序設(shè)計(jì)與問(wèn)題求解、電路與電子技術(shù)基礎(chǔ)、面向?qū)ο缶幊?、算法及?shù)據(jù)結(jié)構(gòu)、人工智能基礎(chǔ)、數(shù)據(jù)科學(xué)導(dǎo)論、計(jì)算機(jī)組成原理、機(jī)器學(xué)習(xí)、信息論、機(jī)器人學(xué)概論、數(shù)字信號(hào)處理、模式識(shí)別、自然語(yǔ)言處理、現(xiàn)代控制理論等。我們?cè)趯W(xué)習(xí)中需要注意的是:要認(rèn)真學(xué)習(xí)智能的基礎(chǔ)理論、基本方法和基本技能,掌握相關(guān)應(yīng)用領(lǐng)域基礎(chǔ)知識(shí)。還需要具有系統(tǒng)的計(jì)算思維和數(shù)據(jù)思維,具有創(chuàng)新創(chuàng)業(yè)意識(shí)和國(guó)際視野,具有良好的社會(huì)人文素養(yǎng)、職業(yè)道德和團(tuán)隊(duì)精神。
就業(yè)前景人工智能專業(yè)就業(yè)方向主要包括科研機(jī)構(gòu)(機(jī)器人研究所等)、軟硬件開(kāi)發(fā)人員、高校講師等。在國(guó)內(nèi)的話就業(yè)前景是比較好的,國(guó)內(nèi)產(chǎn)業(yè)升級(jí),it行業(yè)的轉(zhuǎn)型工業(yè)和機(jī)器人和智能機(jī)器人以及可穿戴設(shè)備的研發(fā)將來(lái)都是強(qiáng)烈的熱點(diǎn)。人工智能目前是一個(gè)快速增長(zhǎng)的領(lǐng)域,人才需求量大,相比于其他技術(shù)崗位,競(jìng)爭(zhēng)度偏低,薪資相對(duì)較高,因此,趁著這個(gè)機(jī)遇,人工智能專業(yè)是一個(gè)很好的選擇。小結(jié)人工智能這個(gè)專業(yè)不難學(xué),但是大家也不能太隨意,不然也會(huì)掛科的喲。并且人工智能專業(yè)相當(dāng)?shù)牟诲e(cuò),未來(lái)必定是一個(gè)人工智能的世界,掌握了人工智能技術(shù),就是一筆不可描述的財(cái)富。人工智能不僅能帶動(dòng)國(guó)家的發(fā)展,還能夠方便世界上所有的人,所以,相信自己的感覺(jué),對(duì)人工智能感興趣的同學(xué),來(lái)選擇這個(gè)專業(yè)肯定沒(méi)錯(cuò)的。
關(guān)于什么是智能,我們目前尚且無(wú)法給出一個(gè)精確的定義。就像在圖靈機(jī)出現(xiàn)之前,我們無(wú)法對(duì)計(jì)算給出一個(gè)嚴(yán)格的定義一樣。在一個(gè)無(wú)法定義的領(lǐng)域里辯論,自然是“公說(shuō)公有理,婆說(shuō)婆有理”。
acm圖靈大會(huì)的主旨演講者之一是哈佛大學(xué)的理論計(jì)算機(jī)科學(xué)家萊斯利·瓦利安特(leslie valiant),他因?yàn)樵诓⑿杏?jì)算理論和機(jī)器學(xué)習(xí)理論方面的貢獻(xiàn)獲得了2010年的圖靈獎(jiǎng)。他演講的題目是“什么是可行計(jì)算的極限?”(what are the limits of feasible computation?),這為論壇將要展開(kāi)的討論提供了理論基礎(chǔ)。首先,瓦利安特把計(jì)算機(jī)科學(xué)問(wèn)題參照物理學(xué)分為三個(gè)層次:超級(jí)普適性(super-generality)、普適性(generality)和數(shù)學(xué)推斷(mathematical consequences)。瓦利安特只是比較了物理學(xué)和計(jì)算機(jī)科學(xué),我們?cè)谒幕A(chǔ)上加入了人工智能的維度,以便得到更多的啟示。物理學(xué)中,超級(jí)普適性的體現(xiàn)就是最廣義的、永恒不變的、可以表達(dá)成數(shù)學(xué)方程的物理學(xué)定律,而在計(jì)算機(jī)科學(xué)中對(duì)應(yīng)的就是計(jì)算的理論模型,圖靈機(jī)就是一種計(jì)算模型,當(dāng)然圖靈機(jī)不是唯一的模型。物理學(xué)的普適層存在著定律,如牛頓第二定律、萬(wàn)有引力定律等;在圖靈機(jī)的框架下,np完全理論就是普適性的。大概在瓦利安特心目中,計(jì)算復(fù)雜性是和牛頓定律一樣的存在。在數(shù)學(xué)推斷層,物理學(xué)有行星橢圓軌道,而理論計(jì)算機(jī)科學(xué)會(huì)有各種具體的np完全的問(wèn)題。當(dāng)超級(jí)普適層發(fā)生變化時(shí),下面的層次也會(huì)依次變化,例如,如果計(jì)算模型變成了量子計(jì)算機(jī),那么類似的復(fù)雜性問(wèn)題就變成了有限錯(cuò)誤量子計(jì)算多項(xiàng)式時(shí)間(bounded error quantum polynomial time, bqp)之類。圖1為物理學(xué)、計(jì)算機(jī)科學(xué)和人工智能的普適性分層。
當(dāng)我們分析不同的問(wèn)題時(shí),會(huì)使用不同的計(jì)算模型。丘奇-圖靈論題(church-turing thesis)是傳統(tǒng)的理論計(jì)算機(jī)科學(xué)的支柱,這個(gè)論題斷言所有的計(jì)算模型都是等價(jià)的,也就是說(shuō),所有足夠強(qiáng)的計(jì)算模型都是可以互相模擬的。另一個(gè)被默認(rèn)的論題是中國(guó)計(jì)算機(jī)理論科學(xué)家洪加威提出的“相似性原則”(similarity principle),即所有足夠強(qiáng)的計(jì)算模型之間的模擬成本都是多項(xiàng)式的。相似性原則也被稱為“強(qiáng)丘奇-圖靈論題”或“擴(kuò)展的丘奇-圖靈論題”(extended church-turing thesis)?!皬?qiáng)丘奇-圖靈論題”不太被提起,甚至被忽視,主要原因大概是這個(gè)原則已經(jīng)變成計(jì)算理論的工作假設(shè),大家已經(jīng)習(xí)以為常。近來(lái)的理論研究提出了和圖靈機(jī)可能不等價(jià)的計(jì)算模型,它們的計(jì)算能力在某種意義上超越了圖靈機(jī),也違背了丘奇-圖靈論題和強(qiáng)丘奇-圖靈論題,有時(shí)也被稱為“超計(jì)算”(hyper-computation)。例如,bs實(shí)數(shù)模型[1]和量子計(jì)算機(jī)等。bss的“b”就是本次大會(huì)的主旨演講嘉賓之一麗諾爾·布盧姆(lenore blum)。在bss模型上,實(shí)數(shù)的四則運(yùn)算可以在單位時(shí)間內(nèi)完成,這類模型可以展現(xiàn)出和圖靈機(jī)不同的性質(zhì),例如,線性規(guī)劃在圖靈機(jī)上有多項(xiàng)式時(shí)間的算法,但在bss上的時(shí)間復(fù)雜性還未知。三層以上神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)問(wèn)題在圖靈機(jī)上是np完全的,而在bss上和線性規(guī)劃等價(jià)[2]。
量子計(jì)算被認(rèn)為可能違背“強(qiáng)丘奇-圖靈論題”。例如,和網(wǎng)絡(luò)安全密切相關(guān)的素?cái)?shù)分解問(wèn)題在圖靈機(jī)上被認(rèn)為是難的,盡管還沒(méi)有明確的證明,但量子計(jì)算機(jī)上整數(shù)分解的秀爾算法(shor’s algorithm)有可能是高效的。bss作為一個(gè)數(shù)值分析的理論模型,應(yīng)該是有價(jià)值的,但可否實(shí)現(xiàn)則存疑;而實(shí)用的量子計(jì)算機(jī)是有可能實(shí)現(xiàn)的。“丘奇-圖靈論題”和“強(qiáng)丘奇-圖靈論題”更像是物理定律而不是數(shù)學(xué)定理。計(jì)算是游走于數(shù)學(xué)和物理學(xué)之間的學(xué)問(wèn),關(guān)于計(jì)算和物理的關(guān)系,可見(jiàn)圖靈研究專家霍奇斯(hodges)的文章[3],以及姚期智為紀(jì)念jacm (journal of the acm)出版50周年寫的文章[4]。
大會(huì)論壇的各位嘉賓雖然都來(lái)自計(jì)算機(jī)科學(xué)或者相關(guān)學(xué)科,和人工智能有著千絲萬(wàn)縷的關(guān)系,但他們對(duì)人工智能的看法卻各有不同,即使我們給完全的外行發(fā)個(gè)調(diào)查問(wèn)卷,恐怕得來(lái)的回答之間的差異與嘉賓們之間的觀點(diǎn)差異也差不多。這是人工智能這個(gè)特定學(xué)科的性質(zhì)決定的,每個(gè)顆粒度足夠大或者足夠抽象的問(wèn)題都像是哲學(xué)問(wèn)題。一個(gè)實(shí)用主義的辦法可以把人工智能定義為相關(guān)從業(yè)者正在進(jìn)行的研究領(lǐng)域,找到他們之間的共同點(diǎn),求同存異。2006年之后由深度學(xué)習(xí)引發(fā)的又一次人工智能熱潮,使得人們把人工智能的關(guān)注點(diǎn)聚焦在機(jī)器學(xué)習(xí),從而忽視了人工智能的其他分支學(xué)科,而深度學(xué)習(xí)對(duì)大數(shù)據(jù)的依賴也自然造成了對(duì)模型的輕視。關(guān)心計(jì)算機(jī)視覺(jué)的人很容易借鑒馬爾(david marr)的分層理論。
任何一個(gè)實(shí)用主義的回答都必須有個(gè)參照物,人工智能的參照物是自然智能,或者更具體地說(shuō)是人類智能。機(jī)器在一個(gè)特定的領(lǐng)域或任務(wù)上已經(jīng)超越人類是大家的共識(shí),此所謂弱人工智能。目前還沒(méi)有可以跨任務(wù)的機(jī)器,當(dāng)下強(qiáng)人工智能還不是現(xiàn)實(shí),這也是共識(shí)。事實(shí)上,人工智能的分類常常是按照任務(wù)來(lái)的,例如計(jì)算機(jī)視覺(jué)(包括模式識(shí)別和圖像處理等)、自然語(yǔ)言理解、認(rèn)知與推理、機(jī)器人學(xué)、博弈論、機(jī)器學(xué)習(xí)等。而美國(guó)計(jì)算機(jī)學(xué)會(huì)(acm)在某些領(lǐng)域里并不活躍,例如機(jī)器學(xué)習(xí)和計(jì)算機(jī)視覺(jué)。如果按照任務(wù)來(lái),智能的定義就變成了自底向上的,這也是人工智能作為一個(gè)工程領(lǐng)域,從業(yè)者對(duì)其很自然的態(tài)度。不同的人會(huì)用不同的術(shù)語(yǔ),一些人稱為模型,另一些人稱為任務(wù)。底層的大數(shù)據(jù)小任務(wù),到了高層就變成了小數(shù)據(jù)大任務(wù)。這里所謂任務(wù)的大小,其實(shí)是指任務(wù)的復(fù)雜度。
智能的任務(wù)按照諾貝爾經(jīng)濟(jì)獎(jiǎng)得主、心理學(xué)家丹尼爾·卡尼曼(daniel kahneman)的說(shuō)法可以分為兩類,一類是能快速反應(yīng)的,例如計(jì)算機(jī)視覺(jué);另一類是需要長(zhǎng)時(shí)間思考的,例如認(rèn)知與推理。有人說(shuō)人類更擅長(zhǎng)前一類任務(wù),而機(jī)器更擅長(zhǎng)后一類任務(wù)。人工智能的歷史曾有符號(hào)主義和連接主義的交替,前一類任務(wù)更有效的解決辦法是連接主義的深度學(xué)習(xí),而后一種任務(wù)更像是符號(hào)主義的使命。但都有例外,例如深度學(xué)習(xí)尚沒(méi)有找到自然語(yǔ)言處理的竅門;符號(hào)主義在機(jī)器定理證明領(lǐng)域,近幾年幾乎處于停滯的狀態(tài)。alphago及其一系列衍生程序所依賴的核心算法——強(qiáng)化學(xué)習(xí)則無(wú)法歸類到這兩派之中,而是自成一派。給人工智能下定義的過(guò)程也是一個(gè)學(xué)習(xí)的過(guò)程,特別是在沒(méi)有理論指導(dǎo)下,這個(gè)過(guò)程尤為艱難,每個(gè)泛化推廣的企圖都會(huì)碰到反例。
其實(shí)不僅僅是對(duì)“人工智能”難以形成共識(shí),即使對(duì)什么是“學(xué)習(xí)”也很難提出都可以接受的定義。有人說(shuō)“機(jī)器學(xué)習(xí)”不是“學(xué)習(xí)”,不過(guò)是曲線擬合而已。但“學(xué)習(xí)”和“擬合”的真正區(qū)別又是什么呢?一個(gè)可以接受的理論是瓦利安特提出的“概率近似正確”(probably approximately correct, pac)模型[5]。由亞里士多德開(kāi)啟的傳統(tǒng)西方哲學(xué)認(rèn)為,演繹和歸納是對(duì)立的,學(xué)習(xí)就是歸納,歸納必然導(dǎo)致犯錯(cuò)。在pac模型中,錯(cuò)誤被控制在一個(gè)范圍內(nèi)。瓦利安特不僅用pac模型解釋學(xué)習(xí),還用它解釋進(jìn)化論。當(dāng)然如果可以解釋進(jìn)化論,pac模型也就可以作為強(qiáng)化學(xué)習(xí)的某種理論基礎(chǔ),強(qiáng)化學(xué)習(xí)可以被當(dāng)作計(jì)算進(jìn)化論。我們從瓦利安特的分層中可以看出,pac模型是包含在確定多項(xiàng)式時(shí)間之內(nèi)的。圖2是計(jì)算模型的能力分層。
首先,我們回到第一個(gè)問(wèn)題:現(xiàn)狀(reality)。所有嘉賓的共識(shí)是:在某些特定的領(lǐng)域,人工智能已經(jīng)超越人類智能,但當(dāng)下人工智能還沒(méi)有全面達(dá)到人類智能。
第二個(gè)問(wèn)題:可能性(possibility)。按照瓦利安特的層次,首先從超級(jí)普適層的計(jì)算模型考慮,如果人腦的計(jì)算能力也可以用圖靈機(jī)刻畫,那么按照丘奇-圖靈論題,用圖靈機(jī)實(shí)現(xiàn)人腦功能自然是可能的。按照相似性原則,圖靈機(jī)實(shí)現(xiàn)人腦的功能的成本甚至是多項(xiàng)式的。數(shù)學(xué)家羅杰·彭羅斯(roger penrose)曾經(jīng)聯(lián)合腦科學(xué)的朋友企圖找到人腦里存在量子效應(yīng)的證明。而麻省理工學(xué)院的物理學(xué)家,暢銷書《生命3.0》(life 3.0)的作者馬克斯·泰格馬克(max tegmark)在與本文作者對(duì)談時(shí)曾提到他的觀點(diǎn):人工智能有圖靈機(jī)就夠了,不需要量子計(jì)算。
假設(shè)人腦是量子計(jì)算機(jī),那么在超級(jí)普適層,仍然可以用圖靈機(jī)等價(jià)的模型實(shí)現(xiàn)人類智能,而在普適層,也可以用量子計(jì)算機(jī)低成本地實(shí)現(xiàn)人類智能。這里倒使我們不由自主地提出一個(gè)有趣的問(wèn)題:量子計(jì)算機(jī)之間是不是存在著相似性原則,換句話說(shuō),任意一臺(tái)量子計(jì)算機(jī)模擬任意一臺(tái)量子計(jì)算機(jī)的成本是不是多項(xiàng)式的?物理學(xué)家理查德·費(fèi)曼(richard feynman)在1982年的文章《利用計(jì)算機(jī)模擬物理學(xué)》(simulating physics with computers)中猜測(cè),不大可能用經(jīng)典計(jì)算機(jī)有效地模擬量子物理,但可能用量子計(jì)算機(jī)有效地模擬[6, 7]。物理學(xué)家的洞見(jiàn)對(duì)數(shù)學(xué)家和計(jì)算機(jī)科學(xué)家是有益的。
如果能夠證明多項(xiàng)式時(shí)間類p是bqp的真子集,那么相似性原則或者擴(kuò)展的丘奇-圖靈論題就被打破了。按照瓦利安特的層次分類,我們不需要量子計(jì)算就可以達(dá)到pac模型學(xué)習(xí)。瓦利安特似乎更傾向支持泰格馬克而不是彭羅斯。理論不僅給工程師們提供解釋,也為他們指明方向。
第三個(gè)問(wèn)題:“幻想”(fantasy),也就是說(shuō)人腦的計(jì)算能力不可能被任何已知或未知的計(jì)算模型所模擬。這個(gè)問(wèn)題和第二個(gè)問(wèn)題密切相關(guān),如果對(duì)第二個(gè)問(wèn)題的回答是否定的,那自然是fantasy。假設(shè)我們用一種進(jìn)步的觀點(diǎn)看待人工智能學(xué)科,我們會(huì)承認(rèn)現(xiàn)在的人工智能比以前更為有力,而未來(lái)的人工智能比當(dāng)下更為有力。隨著時(shí)間的推移,人類智能中沒(méi)有被人工智能所覆蓋的部分就是fantasy。
所以fantasy可以被定義為:fantasy = hi - ain→∞(見(jiàn)圖3)。如果fantasy是空集,那么我們都是樂(lè)觀派,如果它不是空集,那么我們應(yīng)該探索它應(yīng)該包含些什么?我們可以問(wèn)它應(yīng)該有些什么神秘的超計(jì)算的模型,或者有什么優(yōu)良的復(fù)雜性的性質(zhì)不可實(shí)現(xiàn)。
布盧姆夫婦的主旨演講“有意識(shí)的圖靈機(jī)”(conscious turing machine, ctm)很吸引人。曼紐爾·布盧姆說(shuō)這是他們一家三口的聯(lián)合工作(丈夫曼紐爾、太太麗諾爾和兒子阿夫里姆(avrim)都曾是卡耐基梅隆大學(xué)(cmu)計(jì)算機(jī)學(xué)院的教授),但他們還沒(méi)有聯(lián)合寫過(guò)一篇文章。他們企圖為認(rèn)知科學(xué)中飽受爭(zhēng)議的“意識(shí)”問(wèn)題提供一個(gè)計(jì)算模型。這個(gè)模型的目的并非是他們夫婦擅長(zhǎng)的計(jì)算理論,而僅僅是某種心理學(xué)的模型可以得到一個(gè)計(jì)算的實(shí)現(xiàn)或者解釋。
布盧姆夫婦用“痛苦”(pain)和“愉悅”(joy)作為例子來(lái)說(shuō)明意識(shí)[8]。曼紐爾負(fù)責(zé)演講的上半場(chǎng),麗諾爾負(fù)責(zé)下半場(chǎng),曼紐爾開(kāi)玩笑說(shuō)他負(fù)責(zé)“痛苦”而太太麗諾爾負(fù)責(zé)“愉悅”。理解大腦是曼紐爾的終生興趣,他小的時(shí)候,他爸爸就告訴他,要是他能知道大腦是如何工作的,他就會(huì)變得聰明。盡管他在麻省理工學(xué)院的博士生導(dǎo)師是馬文·明斯基(marvin minsky),但他的實(shí)際指導(dǎo)者則是最早提出神經(jīng)網(wǎng)絡(luò)的沃倫·麥卡洛克(warren mcculloch)和沃爾特·皮茨(walter pitts)。布盧姆夫婦像認(rèn)知科學(xué)家一樣,把“模擬”(simulation)稱為“容易”的問(wèn)題,而把“體驗(yàn)”(experience)稱為“困難”的問(wèn)題。他們強(qiáng)調(diào)他們的模型和突破“丘奇-圖靈論題”沒(méi)有關(guān)系,他們的目的是為意識(shí)提供一個(gè)簡(jiǎn)單可用的模型,這樣可以在這個(gè)模型上證明和意識(shí)相關(guān)的數(shù)學(xué)定理。至于說(shuō)“模擬”和“體驗(yàn)”孰難孰易,不好追究,人們也可以說(shuō)“模擬”才是人特有的進(jìn)化而來(lái)的高級(jí)性質(zhì),而“體驗(yàn)”是低級(jí)的東西。
關(guān)于“意識(shí)”的一個(gè)有影響的模型是認(rèn)知科學(xué)家伯尼·巴爾斯(bernie baars)提出的“劇場(chǎng)模型”(theater model),而布盧姆的ctm就是“劇場(chǎng)模型”的一個(gè)計(jì)算實(shí)現(xiàn)。在“劇場(chǎng)模型”里,聚光燈下的舞臺(tái)是短期記憶(short-term memory, stm),而臺(tái)下的觀眾則是無(wú)意識(shí)(unconscious)的長(zhǎng)期記憶(long-term memory, ltm)。沒(méi)有短期記憶,人就變成“僵尸”(zombie),不同的長(zhǎng)期記憶通過(guò)連接構(gòu)成了一部異構(gòu)并行計(jì)算機(jī)。某些對(duì)于計(jì)算理論缺乏基本知識(shí)的哲學(xué)家無(wú)法對(duì)他們認(rèn)為是他們自己領(lǐng)地的“意識(shí)”問(wèn)題給出精確的定義,意識(shí)這個(gè)概念在他們那里是一個(gè)移動(dòng)的目標(biāo),他們辯論的底線就是任何不是自然生長(zhǎng)出來(lái)的物體都沒(méi)法具有意識(shí)。哲學(xué)家們常常分不清楚修辭和科學(xué)。布盧姆的ctm至少向一個(gè)更精確的目標(biāo)走了一步。意識(shí)與心智(mind)的架構(gòu)(architecture)有關(guān),這個(gè)結(jié)論并不驚人,我們可以假設(shè)他們夫婦倆是長(zhǎng)期的樂(lè)觀派。
事實(shí)上,瓦利安特在他的pac模型科普小冊(cè)子里也提到了認(rèn)知結(jié)構(gòu),他也企圖利用短期和長(zhǎng)期記憶的區(qū)別來(lái)理解意識(shí)。我們很好奇瓦利安特的“堅(jiān)實(shí)邏輯”(robust logic)和布盧姆的ctm之間有什么關(guān)系。
不同背景的計(jì)算機(jī)科學(xué)家的論壇會(huì)碰撞出許多火花,縱橫學(xué)科架構(gòu)、基礎(chǔ)理論,乃至工程實(shí)現(xiàn)。反思這些有趣的探討,還有兩個(gè)問(wèn)題值得進(jìn)一步深思:第一,當(dāng)下實(shí)現(xiàn)圖靈機(jī)的物理基礎(chǔ)仍是半導(dǎo)體器件。利用一個(gè)“pn”結(jié)現(xiàn)象,我們得以造出物美價(jià)廉高密度極可靠的數(shù)字電路,打造了輝煌的數(shù)字計(jì)算機(jī)工業(yè),開(kāi)發(fā)出大量的高效應(yīng)用,其中有些顯然已經(jīng)超越人類“智能”(比如超級(jí)計(jì)算機(jī))。但是,我們可以用來(lái)做“計(jì)算”的物理現(xiàn)象,肯定遠(yuǎn)遠(yuǎn)不止半導(dǎo)體。比如,要知道一個(gè)拋物體能落在哪里,我們可以根據(jù)物理定律用數(shù)字計(jì)算機(jī)來(lái)計(jì)算,但是也可以利用物理現(xiàn)象做模擬計(jì)算。另外一個(gè)(正面的)例子是上面提到的彼得·秀爾(peter shor)發(fā)明的整數(shù)分解的量子算法。秀爾算法所利用的物理器件就不是基于半導(dǎo)體“pn”結(jié)現(xiàn)象的。人類智能不一定只依靠半導(dǎo)體的物理現(xiàn)象來(lái)實(shí)現(xiàn)。我們需要探索基于不同物理現(xiàn)象而導(dǎo)致的新的普適性計(jì)算模型。也許,在這些模型中,有些可能會(huì)有效實(shí)現(xiàn)或者接近有效實(shí)現(xiàn)人類智能。
第二,布盧姆提出了“有意識(shí)的圖靈機(jī)”這一課題。顯然,認(rèn)知科學(xué)家認(rèn)為意識(shí)是“智能”行為的重要組成。意識(shí)是一個(gè)智能主體對(duì)客觀感知后的一種認(rèn)識(shí)。所以,和傳統(tǒng)的計(jì)算模型不同,對(duì)客觀感知將必然成為人工智能計(jì)算模型的重要部分。這樣的計(jì)算模型不但要考慮計(jì)算的復(fù)雜性,更要考慮感知數(shù)據(jù)的復(fù)雜性。請(qǐng)注意對(duì)客觀感知所生成的數(shù)據(jù)不會(huì)是隨意的,這是因?yàn)檫@些數(shù)據(jù)是自然界的表示和抽象,應(yīng)當(dāng)遵守某些客觀規(guī)律。計(jì)算的復(fù)雜性和感知數(shù)據(jù)的復(fù)雜性是對(duì)偶的。認(rèn)識(shí)感知數(shù)據(jù)的復(fù)雜性并利用其特有的客觀規(guī)律應(yīng)該可以提高計(jì)算效率,降低計(jì)算的復(fù)雜性。所以,在人工智能學(xué)科建設(shè)過(guò)程中,感知數(shù)據(jù)的內(nèi)在規(guī)律和復(fù)雜性是一個(gè)需要認(rèn)真探討、有待突破的前沿問(wèn)題。圖靈機(jī)的計(jì)算模型是忽略輸入數(shù)據(jù)的復(fù)雜性的,這保證了模型的簡(jiǎn)潔。也許,超計(jì)算模型為我們理解人工智能和人類智能的邊界提供了理論基礎(chǔ)。
智能學(xué)校字篇四
像這樣的事例還有許許多多。瞧瞧!四(5)班正在上課呢!嗯?怎么一黑板的字卻看不到一支粉筆呀?連黑板擦都沒(méi)有。等等,等等!老師頭上戴的天線是什么用的呀?哈哈!告訴你吧!為了老師的健康著想,科學(xué)家們專門發(fā)明了智能化黑板。只要戴上這根天線,老師腦子里想寫什么,黑板上就會(huì)顯示出什么,不想要的了,又會(huì)自動(dòng)消失,老師再也不用吃粉筆灰了。
“叮鈴鈴”放學(xué)鈴聲響了,讓我們一起走出這科技化、智能化學(xué)校吧!說(shuō)實(shí)在話,我還真有點(diǎn)兒依依不舍呢!