前言:一篇好文章的誕生,需要你不斷地搜集資料、整理思路,本站小編為你收集了豐富的人工智能論文主題范文,僅供參考,歡迎閱讀并收藏。
第一,植物的規(guī)格要確定好,要結(jié)合植物所適應(yīng)的地質(zhì)條件來(lái)對(duì)各種規(guī)格的植物進(jìn)行協(xié)調(diào)搭配。一般來(lái)說(shuō),中型及其以上規(guī)格的喬木作為園林的架構(gòu)之一,會(huì)對(duì)整個(gè)園林所呈現(xiàn)出來(lái)的景觀效果起著重要作用,應(yīng)當(dāng)先進(jìn)行安放,然后才是小型規(guī)格的植物的安放,保證在園林景觀的細(xì)節(jié)處做好處理;第二,要合理組合植物的品種類型,落葉植物和針葉常綠植物之間在園林中所占的比例應(yīng)當(dāng)保持一定的平衡關(guān)系,對(duì)于植物如花卉、葉叢的顏色要協(xié)調(diào)好,一般以夏東兩季的植物色彩為主色調(diào),其他色調(diào)為輔,以保證視覺(jué)上能起到互相補(bǔ)充的效果。
2園林設(shè)計(jì)中人工智能應(yīng)用現(xiàn)狀
2.1系統(tǒng)操作方面
由于園林設(shè)計(jì)既涉及藝術(shù)方法也涉及到技術(shù)手段,因此,對(duì)操作人員的綜合能力要求就比較高,也就是說(shuō),操作人員應(yīng)當(dāng)對(duì)建筑理論、園林綠植知識(shí)和計(jì)算機(jī)基礎(chǔ)三方面綜合掌握,而事實(shí)上,很多參與園林設(shè)計(jì)的人員并沒(méi)有很強(qiáng)的工程操作能力,要求太高,難以實(shí)現(xiàn)。
2.2園林可重復(fù)使用性方面
目前來(lái)說(shuō),園林的重復(fù)使用性還是太低,因?yàn)槊總€(gè)地方的氣候條件和地理環(huán)境都不相同,所以,針對(duì)一個(gè)地方所制作的園林設(shè)計(jì)并不能簡(jiǎn)單地復(fù)制到另一個(gè)地方,如蘇州園林的設(shè)計(jì)不能直接用在遼寧的園林設(shè)計(jì),原因在于北方相對(duì)南方來(lái)說(shuō),園林供水相對(duì)困難,山石種類不同,綠植花卉種類也不如南方園林的豐富,而且南北審美觀不同,北方園林設(shè)計(jì)多采用渾厚石材,綠植多為松、柏、楊、柳、榆、槐,加上三季更迭的花灌木,呈現(xiàn)剛健雄渾的特點(diǎn),而南方則因?yàn)榛痉N類豐富,布局特別,注重山石與水的搭配,獨(dú)具精致淡雅的特點(diǎn),由此可見(jiàn),園林的可重復(fù)使用性不高。
2.3計(jì)算機(jī)輔助設(shè)計(jì)方面
計(jì)算機(jī)輔助設(shè)計(jì)即常說(shuō)的CAD。目前來(lái)說(shuō),CAD并不能完全對(duì)口符合園林設(shè)計(jì)的需求,因?yàn)镃AD只能呈現(xiàn)出單一的圖形畫(huà)面,既不利于設(shè)計(jì)者進(jìn)行設(shè)計(jì),也不利于客戶對(duì)設(shè)計(jì)者的設(shè)計(jì)的理解,導(dǎo)致客戶與設(shè)計(jì)者之間難免信息不對(duì)稱,造成一定的信息偏差,影響之后園林設(shè)計(jì)出來(lái)的成果。
3加強(qiáng)人工智能在園林設(shè)計(jì)中應(yīng)用的辦法
3.1園林子系統(tǒng)的設(shè)計(jì)
作為整個(gè)園林系統(tǒng)的組成部分,園林子系統(tǒng)的設(shè)定概要應(yīng)通過(guò)計(jì)算機(jī)實(shí)施建模,來(lái)對(duì)項(xiàng)目實(shí)施進(jìn)行基本設(shè)定,在獲得項(xiàng)目系統(tǒng)的自動(dòng)生成規(guī)則之后,在對(duì)所收集到的園林基本數(shù)進(jìn)行存檔,來(lái)作為全局的運(yùn)行參數(shù),在一定程度上影響了計(jì)算機(jī)的運(yùn)行結(jié)果。一般來(lái)說(shuō),存檔信息有園林的設(shè)計(jì)規(guī)模、投資情況、發(fā)展需求以及相關(guān)的環(huán)境因素等,存檔后,可能會(huì)對(duì)建筑的規(guī)模大小、選址、風(fēng)格特點(diǎn)以及植物的搭配等造成影響。
3.2地形子系統(tǒng)的設(shè)計(jì)
地形子系統(tǒng)的設(shè)計(jì)應(yīng)當(dāng)是通過(guò)計(jì)算機(jī)對(duì)采集到的地質(zhì)數(shù)據(jù)進(jìn)行推理而后才進(jìn)行的。一般來(lái)說(shuō),會(huì)采用規(guī)則引擎最為計(jì)算機(jī)的推理機(jī),是基于專家系統(tǒng)的模式下進(jìn)行推理的,工作原理是由機(jī)器來(lái)仿造人類在對(duì)事件進(jìn)行考慮的思維和方法,通過(guò)進(jìn)行試探性的方法來(lái)進(jìn)行推理,并不斷地對(duì)推理所得出來(lái)的結(jié)果進(jìn)行解釋和驗(yàn)證。對(duì)地質(zhì)情況進(jìn)行實(shí)時(shí)實(shí)地勘查是保證園林設(shè)計(jì)圖紙正常輸出的要求,這是不能單純地依靠計(jì)算機(jī)來(lái)實(shí)現(xiàn)的,因?yàn)榈刭|(zhì)勘查涉及到很多復(fù)雜地形的勘查,只能依靠人工的方式。地質(zhì)勘查可以分為前期階段和后期階段。前期階段主要是設(shè)定園林工程的初稿,因此,只要對(duì)地質(zhì)情況進(jìn)行系統(tǒng)的粗略勘察即可。后期階段主要是完成圖紙?jiān)O(shè)計(jì)要求,因此,對(duì)數(shù)據(jù)準(zhǔn)確性要求更高,并勘查人員對(duì)此進(jìn)行較為細(xì)致的處理。這以后才是通過(guò)對(duì)計(jì)算機(jī)智能系統(tǒng)軟件的使用來(lái)將前期階段和后期階段所獲得的數(shù)據(jù)進(jìn)行智能化處理,完成相關(guān)數(shù)據(jù)的細(xì)化以及修正,然后通過(guò)系統(tǒng)推理得到一個(gè)初步的園林模型。
3.3主干道路子系統(tǒng)的設(shè)計(jì)
對(duì)地形子系統(tǒng)進(jìn)行地形數(shù)據(jù)的輸出即可得到主干道路設(shè)計(jì),因?yàn)槲覀兪紫韧瓿闪说匦蔚脑O(shè)計(jì),因此,在接下來(lái)對(duì)道路進(jìn)行設(shè)計(jì)的過(guò)程中就可以有效地避免其他的建筑和設(shè)施的干擾,這之后的設(shè)計(jì)才能按部就班地開(kāi)展。推理的總體規(guī)則為:首先,由園林的建設(shè)規(guī)模、投資情況等來(lái)對(duì)道路的類型和所需費(fèi)用等進(jìn)行計(jì)算,得到相關(guān)數(shù)據(jù);然后,結(jié)合之前的輸出地形圖來(lái)生成推薦道路圖,并檢查道路的密度是否符合園林的設(shè)計(jì)規(guī)范,接著根據(jù)道路建設(shè)定額表來(lái)對(duì)工程造價(jià)進(jìn)行計(jì)算,看是否符合預(yù)期投資情況;最后,對(duì)道路圖進(jìn)行人工的調(diào)整,并反復(fù)驗(yàn)算。
3.4圖紙和圖表輸出子系統(tǒng)的設(shè)計(jì)
【關(guān)鍵詞】法理學(xué)/法律推理/人工智能
【正文】
一、人工智能法律系統(tǒng)的歷史
計(jì)算機(jī)先驅(qū)思想家萊布尼茲曾這樣不無(wú)浪漫地談到推理與計(jì)算的關(guān)系:“我們要造成這樣一個(gè)結(jié)果,使所有推理的錯(cuò)誤都只成為計(jì)算的錯(cuò)誤,這樣,當(dāng)爭(zhēng)論發(fā)生的時(shí)候,兩個(gè)哲學(xué)家同兩個(gè)計(jì)算家一樣,用不著辯論,只要把筆拿在手里,并且在算盤(pán)面前坐下,兩個(gè)人面對(duì)面地說(shuō):讓我們來(lái)計(jì)算一下吧!”(注:轉(zhuǎn)引自肖爾茲著:《簡(jiǎn)明邏輯史》,張家龍譯,商務(wù)印書(shū)館1977年版,第54頁(yè)。)
如果連抽象的哲學(xué)推理都能轉(zhuǎn)變?yōu)橛?jì)算問(wèn)題來(lái)解決,法律推理的定量化也許還要相對(duì)簡(jiǎn)單一些。盡管理論上的可能性與技術(shù)可行性之間依然存在著巨大的鴻溝,但是,人工智能技術(shù)的發(fā)展速度確實(shí)令人驚嘆。從誕生至今的短短45年內(nèi),人工智能從一般問(wèn)題的研究向特殊領(lǐng)域不斷深入。1956年紐厄爾和西蒙教授的“邏輯理論家”程序,證明了羅素《數(shù)學(xué)原理》第二章52個(gè)定理中的38個(gè)定理。塞繆爾的課題組利用對(duì)策論和啟發(fā)式探索技術(shù)開(kāi)發(fā)的具有自學(xué)習(xí)能力的跳棋程序,在1959年擊敗了其設(shè)計(jì)者,1962年擊敗了州跳棋冠軍,1997年超級(jí)計(jì)算機(jī)“深藍(lán)”使世界頭號(hào)國(guó)際象棋大師卡斯帕羅夫俯首稱臣。
20世紀(jì)60年代,人工智能研究的主要課題是博弈、難題求解和智能機(jī)器人;70年代開(kāi)始研究自然語(yǔ)言理解和專家系統(tǒng)。1971年費(fèi)根鮑姆教授等人研制出“化學(xué)家系統(tǒng)”之后,“計(jì)算機(jī)數(shù)學(xué)家”、“計(jì)算機(jī)醫(yī)生”等系統(tǒng)相繼誕生。在其他領(lǐng)域?qū)<蚁到y(tǒng)研究取得突出成就的鼓舞下,一些律師提出了研制“法律診斷”系統(tǒng)和律師系統(tǒng)的可能性。(注:SimonChalton,LegalDiagnostics,ComputersandLaw,No.25,August1980.pp.13-15.BryanNiblett,ExpertSystemsforLawyers,ComputersandLaw,No.29,August1981.p.2.)
1970年Buchanan&Headrick發(fā)表了《關(guān)于人工智能和法律推理若干問(wèn)題的考察》,一文,拉開(kāi)了對(duì)法律推理進(jìn)行人工智能研究的序幕。文章認(rèn)為,理解、模擬法律論證或法律推理,需要在許多知識(shí)領(lǐng)域進(jìn)行艱難的研究。首先要了解如何描述案件、規(guī)則和論證等幾種知識(shí)類型,即如何描述法律知識(shí),其中處理開(kāi)放結(jié)構(gòu)的法律概念是主要難題。其次,要了解如何運(yùn)用各種知識(shí)進(jìn)行推理,包括分別運(yùn)用規(guī)則、判例和假設(shè)的推理,以及混合運(yùn)用規(guī)則和判例的推理。再次,要了解審判實(shí)踐中法律推理運(yùn)用的實(shí)際過(guò)程,如審判程序的運(yùn)行,規(guī)則的適用,事實(shí)的辯論等等。最后,如何將它們最終運(yùn)用于編制能執(zhí)行法律推理和辯論任務(wù)的計(jì)算機(jī)程序,區(qū)別和分析不同的案件,預(yù)測(cè)并規(guī)避對(duì)手的辯護(hù)策略,建立巧妙的假設(shè)等等。(注:Buchanan&Headrick,SomeSpeculationAboutArtificialIntelligenceandLegalReasoning,23StanfordLawReview(1970).pp.40-62.)法律推理的人工智能研究在這一時(shí)期主要沿著兩條途徑前進(jìn):一是基于規(guī)則模擬歸納推理,70年代初由WalterG.Popp和BernhardSchlink開(kāi)發(fā)了JUDITH律師推理系統(tǒng)。二是模擬法律分析,尋求在模型與以前貯存的基礎(chǔ)數(shù)據(jù)之間建立實(shí)際聯(lián)系,并僅依這種關(guān)聯(lián)的相似性而得出結(jié)論。JeffreyMeld-man1977年開(kāi)發(fā)了計(jì)算機(jī)輔助法律分析系統(tǒng),它以律師推理為模擬對(duì)象,試圖識(shí)別與案件事實(shí)模型相似的其他案件。考慮到律師分析案件既用歸納推理又用演繹推理,程序?qū)烧叨冀o予了必要的關(guān)注,并且包括了各種水平的分析推理方法。
專家系統(tǒng)在法律中的第一次實(shí)際應(yīng)用,是D.沃特曼和M.皮特森1981年開(kāi)發(fā)的法律判決輔助系統(tǒng)(LDS)。研究者探索將其當(dāng)作法律適用的實(shí)踐工具,對(duì)美國(guó)民法制度的某個(gè)方面進(jìn)行檢測(cè),運(yùn)用嚴(yán)格責(zé)任、相對(duì)疏忽和損害賠償?shù)饶P?,?jì)算出責(zé)任案件的賠償價(jià)值,并論證了如何模擬法律專家意見(jiàn)的方法論問(wèn)題。(注:''''ModelsofLegalDecisionmakingReport'''',R-2717-ICJ(1981).)
我國(guó)法律專家系統(tǒng)的研制于20世紀(jì)80年代中期起步。(注:錢學(xué)森教授:《論法治系統(tǒng)工程的任務(wù)與方法》(《科技管理研究》1981年第4期)、《社會(huì)主義和法治學(xué)與現(xiàn)代科學(xué)技術(shù)》(《法制建設(shè)》1984年第3期)、《現(xiàn)代科學(xué)技術(shù)與法和法制建設(shè)》(《政法論壇》)1985年第3期)等文章,為我國(guó)法律專家系統(tǒng)的研發(fā)起了思想解放和理論奠基作用。)1986年由朱華榮、肖開(kāi)權(quán)主持的《量刑綜合平衡與電腦輔助量刑專家系統(tǒng)研究》被確定為國(guó)家社科“七五”研究課題,它在建立盜竊罪量刑數(shù)學(xué)模型方面取得了成果。在法律數(shù)據(jù)庫(kù)開(kāi)發(fā)方面,1993年中山大學(xué)學(xué)生胡釗、周宗毅、汪宏杰等人合作研制了《LOA律師辦公自動(dòng)化系統(tǒng)》。(注:楊建廣、駱梅芬編著:《法治系統(tǒng)工程》,中山大學(xué)出版社1996年版,第344-349頁(yè)。)1993年武漢大學(xué)法學(xué)院趙廷光教授主持開(kāi)發(fā)了《實(shí)用刑法專家系統(tǒng)》。(注:趙廷光等著:《實(shí)用刑法專家系統(tǒng)用戶手冊(cè)》,北京新概念軟件研究所1993年版。)它由咨詢檢索系統(tǒng)、輔助定性系統(tǒng)和輔助量刑系統(tǒng)組成,具有檢索刑法知識(shí)和對(duì)刑事個(gè)案進(jìn)行推理判斷的功能。
專家系統(tǒng)與以往的“通用難題求解”相比具有以下特點(diǎn):(1)它要解決復(fù)雜的實(shí)際問(wèn)題,而不是規(guī)則簡(jiǎn)單的游戲或數(shù)學(xué)定理證明問(wèn)題;(2)它面向更加專門(mén)的應(yīng)用領(lǐng)域,而不是單純的原理性探索;(3)它主要根據(jù)具體的問(wèn)題域,選擇合理的方法來(lái)表達(dá)和運(yùn)用特殊的知識(shí),而不強(qiáng)調(diào)與問(wèn)題的特殊性無(wú)關(guān)的普適性推理和搜索策略。
法律專家系統(tǒng)在法規(guī)和判例的輔助檢索方面確實(shí)發(fā)揮了重要作用,解放了律師一部分腦力勞動(dòng)。但絕大多數(shù)專家系統(tǒng)目前只能做法律數(shù)據(jù)的檢索工作,缺乏應(yīng)有的推理功能。20世紀(jì)90年代以后,人工智能法律系統(tǒng)進(jìn)入了以知識(shí)工程為主要技術(shù)手段的開(kāi)發(fā)時(shí)期。知識(shí)工程是指以知識(shí)為處理對(duì)象,以能在計(jì)算機(jī)上表達(dá)和運(yùn)用知識(shí)的技術(shù)為主要手段,研究知識(shí)型系統(tǒng)的設(shè)計(jì)、構(gòu)造和維護(hù)的一門(mén)更加高級(jí)的人工智能技術(shù)。(注:《中國(guó)大百科全書(shū)·自動(dòng)控制與系統(tǒng)工程》,中國(guó)大百科全書(shū)出版社1991年版,第579頁(yè)。)知識(shí)工程概念的提出,改變了以往人們認(rèn)為幾個(gè)推理定律再加上強(qiáng)大的計(jì)算機(jī)就會(huì)產(chǎn)生專家功能的信念。以知識(shí)工程為技術(shù)手段的法律系統(tǒng)研制,如果能在法律知識(shí)的獲得、表達(dá)和應(yīng)用等方面獲得突破,將會(huì)使人工智能法律系統(tǒng)的研制產(chǎn)生一個(gè)質(zhì)的飛躍。
人工智能法律系統(tǒng)的發(fā)展源于兩種動(dòng)力。其一是法律實(shí)踐自身的要求。隨著社會(huì)生活和法律關(guān)系的復(fù)雜化,法律實(shí)踐需要新的思維工具,否則,法律家(律師、檢察官和法官)將無(wú)法承受法律文獻(xiàn)日積月累和法律案件不斷增多的重負(fù)。其二是人工智能發(fā)展的需要。人工智能以模擬人的全部思維活動(dòng)為目標(biāo),但又必須以具體思維活動(dòng)一城一池的攻克為過(guò)程。它需要通過(guò)對(duì)不同思維領(lǐng)域的征服,來(lái)證明知識(shí)的每個(gè)領(lǐng)域都可以精確描述并制造出類似人類智能的機(jī)器。此外,人工智能選擇法律領(lǐng)域?qū)で笸黄疲€有下述原因:(1)盡管法律推理十分復(fù)雜,但它有相對(duì)穩(wěn)定的對(duì)象(案件)、相對(duì)明確的前提(法律規(guī)則、法律事實(shí))及嚴(yán)格的程序規(guī)則,且須得出確定的判決結(jié)論。這為人工智能模擬提供了極為有利的條件。(2)法律推理特別是抗辯制審判中的司法推理,以明確的規(guī)則、理性的標(biāo)準(zhǔn)、充分的辯論,為觀察思維活動(dòng)的軌跡提供了可以記錄和回放的樣本。(3)法律知識(shí)長(zhǎng)期的積累、完備的檔案,為模擬法律知識(shí)的獲得、表達(dá)和應(yīng)用提供了豐富、準(zhǔn)確的資料。(4)法律活動(dòng)所特有的自我意識(shí)、自我批評(píng)精神,對(duì)法律程序和假設(shè)進(jìn)行檢驗(yàn)的傳統(tǒng),為模擬法律推理提供了良好的反思條件。
二、人工智能法律系統(tǒng)的價(jià)值
人工智能法律系統(tǒng)的研制對(duì)法學(xué)理論和法律實(shí)踐的價(jià)值和意義,可以概括為以下幾點(diǎn):
一是方法論啟示。P.Wahlgren說(shuō):“人工智能方法的研究可以支持和深化在創(chuàng)造性方法上的法理學(xué)反思。這個(gè)信仰反映了法理學(xué)可以被視為旨在于開(kāi)發(fā)法律分析和法律推理之方法的活動(dòng)。從法理學(xué)的觀點(diǎn)看,這種研究的最終目標(biāo)是揭示方法論的潛在作用,從而有助于開(kāi)展從法理學(xué)觀點(diǎn)所提出的解決方法的討論,而不僅僅是探討與計(jì)算機(jī)科學(xué)和人工智能有關(guān)的非常細(xì)致的技術(shù)方面?!保ㄗⅲ篜.Wahlgren,AutomationofLegalReasoning:AStudyonArtificialIntelligenceandLaw,ComputerLawSeries11.KluwerLawandTaxationPublishers.DeventerBoston1992.Chapter7.)在模擬法律推理的過(guò)程中,法學(xué)家通過(guò)與工人智能專家的密切合作,可以從其對(duì)法律推理的獨(dú)特理解中獲得有關(guān)方法論方面的啟示。例如,由于很少有兩個(gè)案件完全相似,在判例法實(shí)踐中,總有某些不相似的方面需要法律家運(yùn)用假設(shè)來(lái)分析已有判例與現(xiàn)實(shí)案件的相關(guān)性程度。但法學(xué)家們?cè)诩僭O(shè)的性質(zhì)問(wèn)題上常常莫衷一是。然而HYPO的設(shè)計(jì)者,在無(wú)真實(shí)判例或真實(shí)判例不能充分解釋現(xiàn)實(shí)案件的情況下,以假設(shè)的反例來(lái)反駁對(duì)方的觀點(diǎn),用補(bǔ)充、刪減和改變事實(shí)的機(jī)械論方法來(lái)生成假設(shè)。這種用人工智能方法來(lái)處理假設(shè)的辦法,就使復(fù)雜問(wèn)題變得十分簡(jiǎn)單:假設(shè)實(shí)際上是一個(gè)新的論證產(chǎn)生于一個(gè)經(jīng)過(guò)修正的老的論證的過(guò)程??傊?,人工智能方法可以幫助法學(xué)家跳出法理學(xué)方法的思維定勢(shì),用其他學(xué)科的方法來(lái)重新審視法學(xué)問(wèn)題,從而為法律問(wèn)題的解決提供了新的途徑。
二是提供了思想實(shí)驗(yàn)手段。西蒙認(rèn)為,盡管我們還不知道思維在頭腦中是怎樣由生理作用完成的,“但我們知道這些處理在數(shù)字電子計(jì)算機(jī)中是由電子作用完成的。給計(jì)算機(jī)編程序使之思維,已經(jīng)證明有可能為思維提供機(jī)械論解釋”。(注:轉(zhuǎn)引自童天湘:《人工智能與第N代計(jì)算機(jī)》,載《哲學(xué)研究》1985年第5期。)童天湘先生認(rèn)為:“通過(guò)編制有關(guān)思維活動(dòng)的程序,就會(huì)加深對(duì)思維活動(dòng)具體細(xì)節(jié)的了解,并將這種程序送進(jìn)計(jì)算機(jī)運(yùn)行,檢驗(yàn)其正確性。這是一種思想實(shí)驗(yàn),有助于我們研究人腦思維的機(jī)理。”(注:轉(zhuǎn)引自童天湘:《人工智能與第N代計(jì)算機(jī)》,載《哲學(xué)研究》1985年第5期。)人工智能法律系統(tǒng)研究的直接目標(biāo)是使計(jì)算機(jī)能夠獲取、表達(dá)和應(yīng)用法律知識(shí),軟件工程師為模擬法律推理而編制程序,必須先對(duì)人的推理過(guò)程作出基于人工智能理論和方法的獨(dú)特解釋。人工智能以功能模擬開(kāi)路,在未搞清法律家的推理結(jié)構(gòu)之前,首先從功能上對(duì)法律證成、法律檢索、法律解釋、法律適用等法律推理的要素和活動(dòng)進(jìn)行數(shù)理分析,將法理學(xué)、訴訟法學(xué)關(guān)于法律推理的研究成果模型化,以實(shí)現(xiàn)法律推理知識(shí)的機(jī)器表達(dá)或再現(xiàn),從而為認(rèn)識(shí)法律推理的過(guò)程和規(guī)律提供了一種實(shí)驗(yàn)手段。法學(xué)家則可以將人工智能法律系統(tǒng)的推理過(guò)程、方法和結(jié)論與人類法律推理活動(dòng)相對(duì)照,為法律推理的法理學(xué)研究所借鑒。因此,用人工智能方法模擬法律推理,深化了人們對(duì)法律推理性質(zhì)、要素和過(guò)程的認(rèn)識(shí),使法學(xué)家得以借助人工智能科學(xué)的敏銳透鏡去考察法律推理的微觀機(jī)制。正是在這個(gè)意義上,BryanNiblett教授說(shuō):“一個(gè)成功的專家系統(tǒng)很可能比其他的途徑對(duì)法理學(xué)作出更多的(理論)貢獻(xiàn)?!保ㄗⅲ築ryanNiblett,ExpertSystemsforLawyers,ComputersandLaw,No.29,August1981.note14,p.3.)
三是輔助司法審判。按照格雷的觀點(diǎn),法律專家系統(tǒng)首先在英美判例法國(guó)家出現(xiàn)的直接原因在于,浩如煙海的判例案卷如果沒(méi)有計(jì)算機(jī)編纂、分類、查詢,這種法律制度簡(jiǎn)直就無(wú)法運(yùn)轉(zhuǎn)了。(注:PamelaN.GrayBrookfield,ArtificialLegalIntelligence,VT:DartmouthPublishingCo.,1997.p.402.)其實(shí)不僅是判例法,制定法制度下的律師和法官往往也要為檢索有關(guān)的法律、法規(guī)和司法解釋耗費(fèi)大量的精力和時(shí)間,而且由于人腦的知識(shí)和記憶能力有限,還存在著檢索不全面、記憶不準(zhǔn)確的問(wèn)題。人工智能法律系統(tǒng)強(qiáng)大的記憶和檢索功能,可以彌補(bǔ)人類智能的某些局限性,幫助律師和法官?gòu)氖孪鄬?duì)簡(jiǎn)單的法律檢索工作,從而極大地解放律師和法官的腦力勞動(dòng),使其能夠集中精力從事更加復(fù)雜的法律推理活動(dòng)。
四是促進(jìn)司法公正。司法推理雖有統(tǒng)一的法律標(biāo)準(zhǔn),但法官是具有主觀能動(dòng)性的差異個(gè)體,所以在執(zhí)行統(tǒng)一標(biāo)準(zhǔn)時(shí)會(huì)產(chǎn)生一些差異的結(jié)果。司法解釋所具有的建構(gòu)性、辯證性和創(chuàng)造性的特點(diǎn),進(jìn)一步加劇了這種差異。如果換了鋼鐵之軀的機(jī)器,這種由主觀原因所造成的差異性就有可能加以避免。這當(dāng)然不是說(shuō)讓計(jì)算機(jī)完全取代法官,而是說(shuō),由于人工智能法律系統(tǒng)為司法審判提供了相對(duì)統(tǒng)一的推理標(biāo)準(zhǔn)和評(píng)價(jià)標(biāo)準(zhǔn),從而可以輔助法官取得具有一貫性的判決。無(wú)論如何,我們必須承認(rèn),鋼鐵之軀的機(jī)器沒(méi)有物質(zhì)欲望和感情生活,可以比人更少地受到外界因素的干擾。正像計(jì)算機(jī)錄取增強(qiáng)了高考招生的公正性、電子監(jiān)視器提高了糾正行車違章的公正性一樣,智能法律系統(tǒng)在庭審中的運(yùn)用有可能減少某些現(xiàn)象。
五是輔助法律教育和培訓(xùn)。人工智能法律系統(tǒng)凝聚了法律家的專門(mén)知識(shí)和法官群體的審判經(jīng)驗(yàn),如果通過(guò)軟件系統(tǒng)或計(jì)算機(jī)網(wǎng)絡(luò)實(shí)現(xiàn)專家經(jīng)驗(yàn)和知識(shí)的共享,便可在法律教育和培訓(xùn)中發(fā)揮多方面的作用。例如,(1)在法學(xué)院教學(xué)中發(fā)揮模擬法庭的作用,可以幫助法律專業(yè)學(xué)生鞏固自己所學(xué)知識(shí),并將法律知識(shí)應(yīng)用于模擬的審判實(shí)踐,從而較快地提高解決法律實(shí)踐問(wèn)題的能力。(2)幫助新律師和新法官全面掌握法律知識(shí),迅速獲得判案經(jīng)驗(yàn),在審判過(guò)程的跟蹤檢測(cè)和判決結(jié)論的動(dòng)態(tài)校正中增長(zhǎng)知識(shí)和才干,較快地接近或達(dá)到專家水平。(3)可使不同地區(qū)、不同層次的律師和法官及時(shí)獲得有關(guān)法律問(wèn)題的咨詢建議,彌補(bǔ)因知識(shí)結(jié)構(gòu)差異和判案經(jīng)驗(yàn)多寡而可能出現(xiàn)的失誤。(4)可以為大眾提供及時(shí)的法律咨詢,提高廣大人民群眾的法律素質(zhì),增強(qiáng)法律意識(shí)。
六是輔助立法活動(dòng)。人工智能法律系統(tǒng)不僅對(duì)輔助司法審判有重要的意義,而且對(duì)完善立法也具有實(shí)用價(jià)值。(注:EdwinaL.Rissland,ArtificialIntelligenceandLaw:SteppingStonestoaModelofLegalReasoning,TheYaleLawJournal.(Vol.99:1957-1981).)例如,倫敦大學(xué)Imperial學(xué)院的邏輯程序組將1981年英國(guó)國(guó)籍法的內(nèi)容形式化,幫助立法者發(fā)現(xiàn)了該法在預(yù)見(jiàn)性上存在的一些缺陷和法律漏洞。(注:EdwinaL.Rissland,ArtificialIntelligenceandLaw:SteppingStonestoaModelofLegalReasoning,TheYaleLawJournal.(Vol.99:1957-1981).)立法輔助系統(tǒng)如能應(yīng)用于法律起草和法律草案的審議過(guò)程,有可能事先發(fā)現(xiàn)一些立法漏洞,避免一個(gè)法律內(nèi)部各種規(guī)則之間以及新法律與現(xiàn)有法律制度之間的相互沖突。
三、法理學(xué)在人工智能法律系統(tǒng)研究中的作用
1.人工智能法律系統(tǒng)的法理學(xué)思想來(lái)源
關(guān)于人工智能法律系統(tǒng)之法理學(xué)思想來(lái)源的追蹤,不是對(duì)法理學(xué)與人工智能的聯(lián)系作面面俱到的考察,而旨在揭示法理學(xué)對(duì)人工智能法律系統(tǒng)的發(fā)展所產(chǎn)生的一些直接影響。
第一,法律形式主義為人工智能法律系統(tǒng)的產(chǎn)生奠定了理論基礎(chǔ)。18-19世紀(jì)的法律形式主義強(qiáng)調(diào)法律推理的形式方面,認(rèn)為將法律化成簡(jiǎn)單的幾何公式是完全可能的。這種以J·奧斯汀為代表的英國(guó)分析法學(xué)的傳統(tǒng),主張“法律推理應(yīng)該依據(jù)客觀事實(shí)、明確的規(guī)則以及邏輯去解決一切為法律所要求的具體行為。假如法律能如此運(yùn)作,那么無(wú)論誰(shuí)作裁決,法律推理都會(huì)導(dǎo)向同樣的裁決。”(注:(美)史蒂文·J·伯頓著:《法律和法律推理導(dǎo)論》,張志銘、解興權(quán)譯,中國(guó)政法大學(xué)出版社1998年9月版,第3頁(yè)。)換言之,機(jī)器只要遵守法律推理的邏輯,也可以得出和法官一樣的判決結(jié)果。在分析法學(xué)家看來(lái),“所謂‘法治’就是要求結(jié)論必須是大前提與小前提邏輯必然結(jié)果?!保ㄗⅲ褐炀拔闹骶帲骸秾?duì)西方法律傳統(tǒng)的挑戰(zhàn)》,中國(guó)檢察出版社1996年2月版,第292頁(yè)。)如果法官違反三段論推理的邏輯,就會(huì)破壞法治。這種機(jī)械論的法律推理觀,反映了分析法學(xué)要求法官不以個(gè)人價(jià)值觀干擾法律推理活動(dòng)的主張。但是,它同時(shí)具有忽視法官主觀能動(dòng)性和法律推理靈活性的僵化的缺陷。所以,自由法學(xué)家比埃利希將法律形式主義的邏輯推理說(shuō)稱為“自動(dòng)售貨機(jī)”理論。然而,從人工智能就是為思維提供機(jī)械論解釋的意義上說(shuō),法律形式主義對(duì)法律推理所作的機(jī)械論解釋,恰恰為人工智能法律系統(tǒng)的開(kāi)發(fā)提供了可能的前提。從人工智能法律系統(tǒng)研制的實(shí)際過(guò)程來(lái)看,在其起步階段,人工智能專家正是根據(jù)法律形式主義所提供的理論前提,首先選擇三段論演繹推理進(jìn)行模擬,由WalterG.Popp和BernhardSchlink在20世紀(jì)70年代初開(kāi)發(fā)了JUDITH律師推理系統(tǒng)。在這個(gè)系統(tǒng)中,作為推理大小前提的法律和事實(shí)之間的邏輯關(guān)系,被計(jì)算機(jī)以“如果A和B,那么C”的方式加以描述,使機(jī)器法律推理第一次從理論變?yōu)楝F(xiàn)實(shí)。
第二,法律現(xiàn)實(shí)主義推動(dòng)智能模擬深入到主體的思維結(jié)構(gòu)領(lǐng)域。法律形式主義忽視了推理主體的社會(huì)性。法官是生活在現(xiàn)實(shí)社會(huì)中的人,其所從事的法律活動(dòng)不可能不受到其社會(huì)體驗(yàn)和思維結(jié)構(gòu)的影響。法官在實(shí)際的審判實(shí)踐中,并不是機(jī)械地遵循規(guī)則,特別是在遇到復(fù)雜案件時(shí),往往需要作出某種價(jià)值選擇。而一旦面對(duì)價(jià)值問(wèn)題,法律形式主義的邏輯決定論便立刻陷入困境,顯出其僵化性的致命弱點(diǎn)。法律現(xiàn)實(shí)主義對(duì)其僵化性進(jìn)行了深刻的批判?;裟匪狗ü倜鞔_提出“法律的生命并不在于邏輯而在于經(jīng)驗(yàn)”(注:(美)博登海默著:《法理學(xué)——法哲學(xué)及其方法》,鄧正來(lái)、姬敬武譯,華夏出版社1987年12月版,第478頁(yè)。)的格言。這里所謂邏輯,就是指法律形式主義的三段論演繹邏輯;所謂經(jīng)驗(yàn),則包括一定的道德和政治理論、公共政策及直覺(jué)知識(shí),甚至法官的偏見(jiàn)。法律現(xiàn)實(shí)主義對(duì)法官主觀能動(dòng)性和法律推理靈活性的強(qiáng)調(diào),促使人工智能研究從模擬法律推理的外在邏輯形式進(jìn)一步轉(zhuǎn)向探求法官的內(nèi)在思維結(jié)構(gòu)。人們開(kāi)始考慮,如果思維結(jié)構(gòu)對(duì)法官的推理活動(dòng)具有定向作用,那么,人工智能法律系統(tǒng)若要達(dá)到法官水平,就應(yīng)該通過(guò)建立思維結(jié)構(gòu)模型來(lái)設(shè)計(jì)機(jī)器的運(yùn)行結(jié)構(gòu)。TAXMAN的設(shè)計(jì)就借鑒了這一思想,法律知識(shí)被計(jì)算機(jī)結(jié)構(gòu)語(yǔ)言以語(yǔ)義網(wǎng)絡(luò)的方式組成不同的規(guī)則系統(tǒng),解釋程序、協(xié)調(diào)程序、說(shuō)明程序分別對(duì)網(wǎng)絡(luò)結(jié)構(gòu)中的輸入和輸出信息進(jìn)行動(dòng)態(tài)結(jié)構(gòu)調(diào)整,從而適應(yīng)了知識(shí)整合的需要。大規(guī)模知識(shí)系統(tǒng)的KBS(KnowledgeBasedSystem)開(kāi)發(fā)也注意了思維結(jié)構(gòu)的整合作用,許多具有內(nèi)在聯(lián)系的小規(guī)模KBS子系統(tǒng),在分別模擬法律推理要素功能(證成、法律查詢、法律解釋、法律適用、法律評(píng)價(jià)、理由闡述)的基礎(chǔ)上,又通過(guò)聯(lián)想程序被有機(jī)聯(lián)系起來(lái),構(gòu)成了具有法律推理整體功能的概念模型。(注:P.Wahlgren,AutomationofLegalReasoning:AStudyonArtificialIntelligenceandLaw,ComputerLawSeries11.KluwerLawandTaxationPublishers.DeventerBoston1992.Chapter7.)
第三,“開(kāi)放結(jié)構(gòu)”的法律概念打開(kāi)了疑難案件法律推理模擬的思路。法律形式主義忽視了疑難案件的存在。疑難案件的特征表現(xiàn)為法律規(guī)則和案件之間不存在單一的邏輯對(duì)應(yīng)關(guān)系。有時(shí)候從一個(gè)法律規(guī)則可以推出幾種不同的結(jié)論,它們往往沒(méi)有明顯的對(duì)錯(cuò)之分;有時(shí)一個(gè)案件面對(duì)著幾個(gè)相似的法律規(guī)則。在這些情況下,形式主義推理說(shuō)都一籌莫展。但是,法律現(xiàn)實(shí)主義在批判法律形式主義時(shí)又走向另一個(gè)極端,它否認(rèn)具有普遍性的一般法律規(guī)則的存在,試圖用“行動(dòng)中的法律”完全代替分析法學(xué)“本本中的法律”。這種矯枉過(guò)正的做法雖然是使法律推理擺脫機(jī)械論束縛所走出的必要一步,然而,法律如果真像現(xiàn)實(shí)主義法學(xué)所說(shuō)的那樣僅僅存在于具體判決之中,法律推理如果可以不遵循任何標(biāo)準(zhǔn)或因人而異,那么,受到挑戰(zhàn)的就不僅是法律形式主義,而且還會(huì)殃及法治要求實(shí)現(xiàn)規(guī)則統(tǒng)治之根本原則,并動(dòng)搖人工智能法律系統(tǒng)存在的基礎(chǔ)。哈特在法律形式主義和法律現(xiàn)實(shí)主義的爭(zhēng)論中采取了一種折中立場(chǎng),他既承認(rèn)邏輯的局限性又強(qiáng)調(diào)其重要性;既拒斥法官完全按自己的預(yù)感來(lái)隨意判案的見(jiàn)解,又承認(rèn)直覺(jué)的存在。這種折中立場(chǎng)在哈特“開(kāi)放結(jié)構(gòu)”的法律概念中得到了充分體現(xiàn)。法律概念既有“意義核心”又有“開(kāi)放結(jié)構(gòu)”,邏輯推理可以幫助法官發(fā)現(xiàn)問(wèn)題的陽(yáng)面,而根據(jù)社會(huì)政策、價(jià)值和后果對(duì)規(guī)則進(jìn)行解釋則有助于發(fā)現(xiàn)問(wèn)題的陰面。開(kāi)放結(jié)構(gòu)的法律概念,使基于規(guī)則的法律推理模擬在受到概念封閉性的限制而對(duì)疑難案件無(wú)能為力時(shí),找到了新的立足點(diǎn)。在此基礎(chǔ)上,運(yùn)用開(kāi)放結(jié)構(gòu)概念的疑難案件法律推理模型,通過(guò)邏輯程序工具和聯(lián)想技術(shù)而建立起來(lái)。Gardner博士就疑難案件提出兩種解決策略:一是將簡(jiǎn)易問(wèn)題從疑難問(wèn)題中篩選出來(lái),運(yùn)用基于規(guī)則的技術(shù)來(lái)解決;二是將疑難問(wèn)題同“開(kāi)放結(jié)構(gòu)”的法律概念聯(lián)系在一起,先用非范例知識(shí)如規(guī)則、控辯雙方的陳述、常識(shí)來(lái)獲得初步答案,再運(yùn)用范例來(lái)澄清案件、檢查答案的正確性。
第四,目的法學(xué)促進(jìn)了價(jià)值推理的人工智能研究。目的法學(xué)是指一種所謂直接實(shí)現(xiàn)目的之“后法治”理想。美國(guó)法學(xué)家諾內(nèi)特和塞爾茲尼克把法律分為三種類型。他們認(rèn)為,以法治為標(biāo)志的自治型法,過(guò)分強(qiáng)調(diào)手段或程序的正當(dāng)性,有把手段當(dāng)作目的的傾向。這說(shuō)明法治社會(huì)并沒(méi)有反映人類關(guān)于美好社會(huì)的最高理想,因?yàn)閷?shí)質(zhì)正義不是經(jīng)過(guò)人們直接追求而實(shí)現(xiàn)的,而是通過(guò)追求形式正義而間接獲得的。因此他們提出以回應(yīng)型法取代自治型法的主張。在回應(yīng)型法中,“目的為評(píng)判既定的做法設(shè)立了標(biāo)準(zhǔn),從而也就開(kāi)辟了變化的途徑。同時(shí),如果認(rèn)真地對(duì)待目的,它們就能控制行政自由裁量權(quán),從而減輕制度屈從的危險(xiǎn)。反之,缺少目的既是僵硬的根源,又是機(jī)會(huì)主義的根源?!保ㄗⅲ海溃┲Z內(nèi)特、塞爾茲尼克著:《轉(zhuǎn)變中的法律與社會(huì)》,張志銘譯,中國(guó)政法大學(xué)出版社1994年版,第60頁(yè)。)美國(guó)批判法學(xué)家昂格爾對(duì)形式主義法律推理和目的型法律推理的特點(diǎn)進(jìn)行了比較,他認(rèn)為,前者要求使用內(nèi)容明確、固定的規(guī)則,無(wú)視社會(huì)現(xiàn)實(shí)生活中不同價(jià)值觀念的沖突,不能適應(yīng)復(fù)雜情況和變化,追求形式正義;后者則要求放松對(duì)法律推理標(biāo)準(zhǔn)的嚴(yán)格限制,允許使用無(wú)固定內(nèi)容的抽象標(biāo)準(zhǔn),迫使人們?cè)诓煌膬r(jià)值觀念之間做出選擇,追求實(shí)質(zhì)正義。與此相應(yīng),佩雷爾曼提出了新修辭學(xué)(NewRhetoric)的法律理論。他認(rèn)為,形式邏輯只是根據(jù)演繹法或歸納法對(duì)問(wèn)題加以說(shuō)明或論證的技術(shù),屬于手段的邏輯;新修辭學(xué)要填補(bǔ)形式邏輯的不足,是關(guān)于目的的辯證邏輯,可以幫助法官論證其決定和選擇,因而是進(jìn)行價(jià)值判斷的邏輯。他認(rèn)為,在司法三段論思想支配下,法學(xué)的任務(wù)是將全部法律系統(tǒng)化并作為闡釋法律的大前提,“明確性、一致性和完備性”就成為對(duì)法律的三個(gè)要求。而新修辭學(xué)的基本思想是價(jià)值判斷的多元論,法官必須在某種價(jià)值判斷的指示下履行義務(wù),必須考慮哪些價(jià)值是“合理的、可接受的、社會(huì)上有效的公平的”。這些價(jià)值構(gòu)成了判決的正當(dāng)理由。(注:沈宗靈著:《現(xiàn)代西方法理學(xué)》,北京大學(xué)出版社1992年版,第443-446頁(yè)。)制造人工智能法律系統(tǒng)最終需要解決價(jià)值推理的模擬問(wèn)題,否則,就難以實(shí)現(xiàn)為判決提供正當(dāng)理由的要求。為此,P.Wahlgren提出的與人工智能相關(guān)的5種知識(shí)表達(dá)途徑中,明確地包括了以道義為基礎(chǔ)的法律推理模型。(注:P.Wahlgren,AutomationofLegalReasoning:AStudyonArtificialIntelligenceandLaw,ComputerLawSeries11.KluwerLawandTaxationPublishers.DeventerBoston1992.Chapter7.)引入道義邏輯,或者說(shuō)在機(jī)器中采用基于某種道義邏輯的推理程序,強(qiáng)調(diào)目的價(jià)值,也許是制造智能法律系統(tǒng)的關(guān)鍵。不過(guò),即使把道義邏輯硬塞給計(jì)算機(jī),鋼鐵之軀的機(jī)器沒(méi)有生理需要,也很難產(chǎn)生價(jià)值觀念和主觀體驗(yàn),沒(méi)辦法解決主觀選擇的問(wèn)題。在這個(gè)問(wèn)題上,波斯納曾以法律家有七情六欲為由對(duì)法律家對(duì)法律的機(jī)械忠誠(chéng)表示了強(qiáng)烈懷疑,并辯證地將其視為法律發(fā)展的動(dòng)力之一。只有人才能夠平衡相互沖突的利益,能夠發(fā)現(xiàn)對(duì)人類生存和發(fā)展至關(guān)重要的價(jià)值。因此,關(guān)于價(jià)值推理的人工智能模擬究竟能取得什么成果,恐怕還是個(gè)未知數(shù)。
2.法理學(xué)對(duì)人工智能法律系統(tǒng)研制的理論指導(dǎo)作用
GoldandSusskind指出:“不爭(zhēng)的事實(shí)是,所有的專家系統(tǒng)必須適應(yīng)一些法理學(xué)理論,因?yàn)橐磺蟹蓪<蚁到y(tǒng)都需要提出關(guān)于法律和法律推理性質(zhì)的假設(shè)。從更嚴(yán)格的意義上說(shuō),一切專家系統(tǒng)都必須體現(xiàn)一種結(jié)構(gòu)理論和法律的個(gè)性,一種法律規(guī)范理論,一種描述法律科學(xué)的理論,一種法律推理理論”。(注:GoldandSusskind,ExpertSystemsinLaw:AJurisprudentialandFormalSpecificationApproach,pp.307-309.)人工智能法律系統(tǒng)的研究,不僅需要以法理學(xué)關(guān)于法律的一般理論為知識(shí)基礎(chǔ),還需要從法理學(xué)獲得關(guān)于法律推理的完整理論,如法律推理實(shí)踐和理論的發(fā)展歷史,法律推理的標(biāo)準(zhǔn)、主體、過(guò)程、方法等等。人工智能對(duì)法律推理的模擬,主要是對(duì)法理學(xué)關(guān)于法律推理的知識(shí)進(jìn)行人工智能方法的描述,建立數(shù)學(xué)模型并編制計(jì)算機(jī)應(yīng)用程序,從而在智能機(jī)器上再現(xiàn)人類法律推理功能的過(guò)程。在這個(gè)過(guò)程中,人工智能專家的主要任務(wù)是研究如何吸收法理學(xué)關(guān)于法律推理的研究成果,包括法理學(xué)關(guān)于人工智能法律系統(tǒng)的研究成果。
隨著人工智能法律系統(tǒng)研究從低級(jí)向高級(jí)目標(biāo)的推進(jìn),人們?cè)絹?lái)越意識(shí)到,對(duì)法律推理的微觀機(jī)制認(rèn)識(shí)不足已成為人工智能模擬的嚴(yán)重障礙。P.Wahlgren指出,“許多人工智能技術(shù)在法律領(lǐng)域的開(kāi)發(fā)項(xiàng)目之所以失敗,就是因?yàn)樵S多潛在的法理學(xué)原則沒(méi)有在系統(tǒng)開(kāi)發(fā)的開(kāi)始階段被遵守或給予有效的注意?!薄胺ɡ韺W(xué)對(duì)法律推理和方法論問(wèn)題的關(guān)注已經(jīng)有幾百年,而人工智能的誕生只是本世紀(jì)50年代中期的事情,這個(gè)事實(shí)是人工智能通過(guò)考察法理學(xué)知識(shí)來(lái)豐富自己的一個(gè)有效動(dòng)機(jī)。”(注:P.Wahlgren,AutomationofLegalReasoning:AStudyonArtificialIntelligenceandLaw,ComputerLawSeries11.KluwerLawandTaxationPublishers.DeventerBoston1992.Chapter7.)因此,研究法律推理自動(dòng)化的目標(biāo),“一方面是用人工智能(通過(guò)把計(jì)算機(jī)的應(yīng)用與分析模型相結(jié)合)來(lái)支撐法律推理的可能性;另一方面是應(yīng)用法理學(xué)理論來(lái)解決作為法律推理支撐系統(tǒng)的以及一般的人工智能問(wèn)題?!保ㄗⅲ篜.Wahlgren,AutomationofLegalReasoning:AStudyonArtificialIntelligenceandLaw,ComputerLawSeries11.KluwerLawandTaxationPublishers.DeventerBoston1992.Chapter7.)在前一方面,是人工智能法律系統(tǒng)充當(dāng)法律推理研究的思想實(shí)驗(yàn)手段以及輔助司法審判的問(wèn)題。后一方面,則是法律推理的法律學(xué)研究成果直接為人工智能法律系統(tǒng)的研制所應(yīng)用的問(wèn)題。例如,20世紀(jì)70年代法理學(xué)在真實(shí)和假設(shè)案例的推理和分析方面所取得的成果,已為幾種人工智能法律裝置借鑒而成為其設(shè)計(jì)工作的理論基礎(chǔ)。在運(yùn)用模糊或開(kāi)放結(jié)構(gòu)概念的法律推理研究方面,以及在法庭辯論和法律解釋的形式化等問(wèn)題上,法理學(xué)的研究成果也已為人工智能法律系統(tǒng)的研究所借鑒。
四、人工智能法律系統(tǒng)研究的難點(diǎn)
人工智能法律系統(tǒng)的研究盡管在很短的時(shí)間內(nèi)取得了許多令人振奮的成果,但它的發(fā)展也面臨著許多困難。這些困難構(gòu)成了研究工作需要進(jìn)一步努力奮斗的目標(biāo)。
第一,關(guān)于法律解釋的模擬。在法理學(xué)的諸多研究成果中,法律解釋的研究對(duì)人工智能法律系統(tǒng)的研制起著關(guān)鍵作用。法律知識(shí)表達(dá)的核心問(wèn)題是法律解釋。法律規(guī)范在一個(gè)法律論點(diǎn)上的效力,是由法律家按忠實(shí)原意和適合當(dāng)時(shí)案件的原則通過(guò)法律解釋予以確認(rèn)的,其中包含著人類特有的價(jià)值和目的考慮,反映了法律家的知識(shí)表達(dá)具有主觀能動(dòng)性。所以,德沃金將解釋過(guò)程看作是一種結(jié)合了法律知識(shí)、時(shí)代信息和思維方法而形成的,能夠應(yīng)變的思維策略。(注:Dworkin,TakingRightsSeriously,HarvardUniversityPressCambridge,Massachusetts1977.p.75.)目前的法律專家系統(tǒng)并未以知識(shí)表達(dá)為目的來(lái)解釋法律,而是將法律整齊地“碼放”在計(jì)算機(jī)記憶系統(tǒng)中僅供一般檢索之用。然而,在法律知識(shí)工程系統(tǒng)中,法律知識(shí)必須被解釋,以滿足自動(dòng)推理對(duì)法律知識(shí)進(jìn)行重新建構(gòu)的需要。麥卡錫說(shuō):“在開(kāi)發(fā)智能信息系統(tǒng)的過(guò)程中,最關(guān)鍵的任務(wù)既不是文件的重建也不是專家意見(jiàn)的重建,而是建立有關(guān)法律領(lǐng)域的概念模型。”(注:McCarty,Intelligentlegalinformationsystems:problemsandprospects,op.cit.supra,note25,p.126.)建立法律概念模型必須以法律家對(duì)某一法律概念的共識(shí)為基礎(chǔ),但不同的法律家對(duì)同一法律概念往往有不同的解釋策略。凱爾森甚至說(shuō):即使在國(guó)內(nèi)法領(lǐng)域也難以形成一個(gè)“能夠用來(lái)敘述一定法律共同體的實(shí)在法的基本概念”。(注:(奧)凱爾森著:《法與國(guó)家的一般理論》,沈宗靈譯,中國(guó)大百科全書(shū)出版社1996年版,第1頁(yè)。)盡管如此,法理學(xué)還是為法律概念模型的重建提供了一些方法。例如,德沃金認(rèn)為,法官在“解釋”階段,要通過(guò)推理論證,為自己在“前解釋”階段所確定的大多數(shù)法官對(duì)模糊法律規(guī)范的“一致看法”提供“一些總的理由”。獲取這些總的理由的過(guò)程分為兩個(gè)步驟:首先,從現(xiàn)存的明確法律制度中抽象出一般的法律原則,用自我建立的一般法律理論來(lái)證明這種法律原則是其中的一部分,證明現(xiàn)存的明確法律制度是正當(dāng)?shù)?。其次,再以法律原則為依據(jù)反向推出具體的法律結(jié)論,即用一般法律理論來(lái)證明某一法律原則存在的合理性,再用該法律原則來(lái)解釋某一法律概念。TAXMAN等系統(tǒng)裝置已吸收了這種方法,法律知識(shí)被計(jì)算機(jī)結(jié)構(gòu)語(yǔ)言以語(yǔ)義網(wǎng)絡(luò)的方式組成不同的規(guī)則系統(tǒng),解釋程序使計(jì)算機(jī)根據(jù)案件事實(shí)來(lái)執(zhí)行某條法律規(guī)則,并在新案件事實(shí)輸入時(shí)對(duì)法律規(guī)則作出新的解釋后才加以調(diào)用。不過(guò),法律知識(shí)表達(dá)的進(jìn)展還依賴于法律解釋研究取得更多的突破。
第二,關(guān)于啟發(fā)式程序。目前的法律專家系統(tǒng)如果不能與啟發(fā)式程序接口,不能運(yùn)用判斷性知識(shí)進(jìn)行推理,只通過(guò)規(guī)則反饋來(lái)提供簡(jiǎn)單解釋,就談不上真正的智能性。啟發(fā)式程序要解決智能機(jī)器如何模擬法律家推理的直覺(jué)性、經(jīng)驗(yàn)性以及推理結(jié)果的不確定性等問(wèn)題,即人可以有效地處理錯(cuò)誤的或不完全的數(shù)據(jù),在必要時(shí)作出猜測(cè)和假設(shè),從而使問(wèn)題的解決具有靈活性。在這方面,Gardner的混合推理模型,EdwinaL.Rissland運(yùn)用聯(lián)想程序?qū)σ?guī)則和判例推理的結(jié)果作集合處理的思路,以及Massachusetts大學(xué)研制的CABARET(基于判例的推理工具),在將啟發(fā)式程序應(yīng)用于系統(tǒng)開(kāi)發(fā)方面都進(jìn)行了有益的嘗試。但是,法律問(wèn)題往往沒(méi)有唯一正確的答案,這是人工智能模擬法律推理的一個(gè)難題。選擇哪一個(gè)答案,往往取決于法律推理的目的標(biāo)準(zhǔn)和推理主體的立場(chǎng)和價(jià)值觀念。但智能機(jī)器沒(méi)有自己的目的、利益和立場(chǎng)。這似乎從某種程度上劃定了機(jī)器法律推理所能解決問(wèn)題的范圍。
第三,關(guān)于法律自然語(yǔ)言理解。在設(shè)計(jì)基于規(guī)則的程序時(shí),設(shè)計(jì)者必須假定整套規(guī)則沒(méi)有意義不明和沖突,程序必須消滅這些問(wèn)題而使規(guī)則呈現(xiàn)出更多的一致性。就是說(shuō),盡管人們對(duì)法律概念的含義可以爭(zhēng)論不休,但輸入機(jī)器的法律語(yǔ)言卻不能互相矛盾。機(jī)器語(yǔ)言具有很大的局限性,例如,LDS基于規(guī)則來(lái)模擬嚴(yán)格責(zé)任并計(jì)算實(shí)際損害時(shí),表現(xiàn)出的最大弱點(diǎn)就是不能使用不精確的自然語(yǔ)言進(jìn)行推理。然而,在實(shí)際的法律推理過(guò)程中,法律家對(duì)某個(gè)問(wèn)題的任何一種回答都可根據(jù)上下文關(guān)系作多種解釋,而且辯論雙方總是尋求得出不同的結(jié)論。因此,智能法律專家系統(tǒng)的成功在很大程度上還依賴于自然語(yǔ)言理解研究工作的突破。牛津大學(xué)的一個(gè)程序組正在研究法律自然語(yǔ)言的理解問(wèn)題,但是遇到了重重困難。原因是連法學(xué)家們自己目前也還沒(méi)有建立起一套大家一致同意的專業(yè)術(shù)語(yǔ)規(guī)范。所以EdwinaL.Rissland認(rèn)為,常識(shí)知識(shí)、意圖和信仰類知識(shí)的模擬化,以及自然語(yǔ)言理解的模擬問(wèn)題,迄今為止可能是人工智能面臨的最困難的任務(wù)。對(duì)于語(yǔ)言模擬來(lái)說(shuō),像交際短語(yǔ)和短語(yǔ)概括的有限能力可能會(huì)在較窄的語(yǔ)境條件下取得成果,完全的功能模擬、一般“解決問(wèn)題”能力的模擬則距離非常遙遠(yuǎn),而像書(shū)面上訴意見(jiàn)的理解則是永遠(yuǎn)的終極幻想。(注:EdwinaL.Rissland,ArtificialIntelligenceandLaw:SteppingStonestoaModelofLegalReasoning,TheYaleLawJournal.(Vol.99:1957-1981).)
五、人工智能法律系統(tǒng)的開(kāi)發(fā)策略和應(yīng)用前景
我們能夠制造出一臺(tái)什么樣的機(jī)器,可以證明它是人工智能法律系統(tǒng)?從檢驗(yàn)標(biāo)準(zhǔn)上看,這主要是法律知識(shí)在機(jī)器中再現(xiàn)的判定問(wèn)題。根據(jù)“圖靈試驗(yàn)”原理,我們可將該檢驗(yàn)標(biāo)準(zhǔn)概括如下:設(shè)兩間隔開(kāi)的屋子,一間坐著一位法律家,另一間“坐著”一臺(tái)智能機(jī)器。一個(gè)人(也是法律家)向法律家和機(jī)器提出同樣的法律問(wèn)題,如果提問(wèn)者不能從二者的回答中區(qū)分出誰(shuí)是法律家、誰(shuí)是機(jī)器,就不能懷疑機(jī)器具有法律知識(shí)表達(dá)的能力。
依“圖靈試驗(yàn)”制定的智能法律系統(tǒng)檢驗(yàn)標(biāo)準(zhǔn),所看重的是功能。只要機(jī)器和法律家解決同樣法律問(wèn)題時(shí)所表現(xiàn)出來(lái)的功能相同,就不再苛求哪個(gè)是鋼鐵結(jié)構(gòu)、哪個(gè)是血肉之軀。人工智能立足的基礎(chǔ),就是相同的功能可以通過(guò)不同的結(jié)構(gòu)來(lái)實(shí)現(xiàn)之功能模擬理論。
從功能模擬的觀點(diǎn)來(lái)確定人工智能法律系統(tǒng)的研究與開(kāi)發(fā)策略,可作以下考慮:
第一,擴(kuò)大人工智能法律系統(tǒng)的研發(fā)主體?,F(xiàn)有人工法律系統(tǒng)的幼稚,暴露了僅僅依靠計(jì)算機(jī)和知識(shí)工程專家從事系統(tǒng)研發(fā)工作的局限性。因此,應(yīng)該確立以法律家、邏輯學(xué)家和計(jì)算機(jī)專家三結(jié)合的研發(fā)群體。在系統(tǒng)研發(fā)初期,可組成由法學(xué)家、邏輯與認(rèn)知專家、計(jì)算機(jī)和知識(shí)工程專家為主體的課題組,制定系統(tǒng)研發(fā)的整體戰(zhàn)略和分階段實(shí)施的研發(fā)規(guī)劃。在系統(tǒng)研發(fā)中期,應(yīng)通過(guò)網(wǎng)絡(luò)等手段充分吸收初級(jí)產(chǎn)品用戶(律師、檢察官、法官)的意見(jiàn),使研發(fā)工作在理論研究與實(shí)際應(yīng)用之間形成反饋,將開(kāi)發(fā)精英與廣大用戶的智慧結(jié)合起來(lái),互相啟發(fā)、群策群力,推動(dòng)系統(tǒng)迅速升級(jí)。
第二,確定研究與應(yīng)用相結(jié)合、以應(yīng)用為主導(dǎo)的研發(fā)策略。目前國(guó)外人工智能法律系統(tǒng)的研究大多停留在實(shí)驗(yàn)室領(lǐng)域,還沒(méi)有在司法實(shí)踐中加以應(yīng)用。但是,任何智能系統(tǒng)包括相對(duì)簡(jiǎn)單的軟件系統(tǒng),如果不經(jīng)過(guò)用戶的長(zhǎng)期使用和反饋,是永遠(yuǎn)也不可能走向成熟的。從我國(guó)的實(shí)際情況看,如果不能將初期研究成果盡快地轉(zhuǎn)化為產(chǎn)品,我們也難以為后續(xù)研究工作提供雄厚的資金支持。因此,人工智能法律系統(tǒng)的研究必須走產(chǎn)研結(jié)合的道路,堅(jiān)持以應(yīng)用開(kāi)路,使智能法律系統(tǒng)盡快走出實(shí)驗(yàn)室,同時(shí)以研究為先導(dǎo),促進(jìn)不斷更新升級(jí)。
第三,系統(tǒng)研發(fā)目標(biāo)與初級(jí)產(chǎn)品功能定位。人工智能法律系統(tǒng)的研發(fā)目標(biāo)是制造出能夠滿足多用戶(律師、檢察官、法官、立法者、法學(xué)家)多種需要的機(jī)型。初級(jí)產(chǎn)品的定位應(yīng)考慮到,人的推理功能特別是價(jià)值推理的功能遠(yuǎn)遠(yuǎn)超過(guò)機(jī)器,但人的記憶功能、檢索速度和準(zhǔn)確性又遠(yuǎn)不如機(jī)器。同時(shí)還應(yīng)該考慮到,我國(guó)目前有12萬(wàn)律師,23萬(wàn)檢察官和21萬(wàn)法官,每年1.2萬(wàn)法學(xué)院本科畢業(yè)生,他們對(duì)法律知識(shí)的獲取、表達(dá)和應(yīng)用能力參差不齊。因此,初級(jí)產(chǎn)品的標(biāo)準(zhǔn)可適當(dāng)降低,先研制推理功能薄弱、檢索功能強(qiáng)大的法律專家系統(tǒng)??膳c計(jì)算機(jī)廠商合作生產(chǎn)具有強(qiáng)大數(shù)據(jù)庫(kù)功能的硬件,并確保最新法律、法規(guī)、司法解釋和判例的網(wǎng)上及時(shí)更新;同時(shí)編制以案件為引導(dǎo)的高速檢索軟件。系統(tǒng)開(kāi)發(fā)的先期目標(biāo)應(yīng)確定為:(1)替律師起草僅供參考的書(shū)和辯護(hù)詞;(2)替法官起草僅供參考的判決書(shū);(3)為法學(xué)院學(xué)生提供模擬法庭審判的通用系統(tǒng)軟件,以輔助學(xué)生在、辯護(hù)和審判等訴訟的不同階段鞏固所學(xué)知識(shí)、獲得審判經(jīng)驗(yàn)。上述軟件旨在提供一個(gè)初級(jí)平臺(tái),先解決有無(wú)和急需,再不斷收集用戶反饋意見(jiàn),逐步改進(jìn)完善。
第四,實(shí)驗(yàn)室研發(fā)應(yīng)確定較高的起點(diǎn)或跟蹤戰(zhàn)略。國(guó)外以知識(shí)工程為主要技術(shù)手段的人工智能法律系統(tǒng)開(kāi)發(fā)已經(jīng)歷了如下發(fā)展階段:(1)主要適用于簡(jiǎn)單案件的規(guī)則推理;(2)運(yùn)用開(kāi)放結(jié)構(gòu)概念的推理;(3)運(yùn)用判例和假設(shè)的推理;(4)運(yùn)用規(guī)則和判例的混合推理。我們?nèi)绱_定以簡(jiǎn)單案件的規(guī)則推理為初級(jí)市場(chǎng)產(chǎn)品,那么,實(shí)驗(yàn)室中第二代產(chǎn)品開(kāi)發(fā)就應(yīng)瞄準(zhǔn)運(yùn)用開(kāi)放結(jié)構(gòu)概念的推理。同時(shí),跟蹤運(yùn)用假設(shè)的推理及混合推理,吸收國(guó)外先進(jìn)的KBS和HYPO的設(shè)計(jì)思想,將功能子系統(tǒng)開(kāi)發(fā)與聯(lián)想式控制系統(tǒng)結(jié)合。HYPO判例法推理智能裝置具有如下功能:(1)評(píng)價(jià)相關(guān)判例;(2)判定何方使用判例更加貼切;(3)分析并區(qū)分判例;(4)建立假設(shè)并用假設(shè)來(lái)推理;(5)為一種主張引用各種類型的反例;(6)建立判例的引證概要。HYPO以商業(yè)秘密法的判例推理為模擬對(duì)象,假設(shè)了完全自動(dòng)化的法律推理過(guò)程中全部要素被建立起來(lái)的途徑。值得注意的是,HYPO忽略了許多要素的存在,如商業(yè)秘密法背后的政策考慮,法律概念應(yīng)用于實(shí)際情況時(shí)固有的模糊性,信息是否已被公開(kāi),被告是否使用了對(duì)方設(shè)計(jì)的產(chǎn)品,是否簽署了讓與協(xié)議,等等。一個(gè)系統(tǒng)設(shè)計(jì)的要素列表無(wú)論多長(zhǎng),好律師也總能再多想出一些。同樣,律師對(duì)案件的分析,不可能僅限于商業(yè)秘密法判例,還可能援引侵權(quán)法或?qū)@ǖ呐欣?,這決定了緣由的多種可能性。Ashley還討論了判例法推理模擬的其他困難:判例并不是概念的肯定的或否定的樣本,因此,要通過(guò)要素等簡(jiǎn)單的法律術(shù)語(yǔ)使模糊的法律規(guī)則得到澄清十分困難,法律原則和類推推理之間的關(guān)系還不能以令人滿意的方式加以描述。(注:EdwinaL.Rissland,ArtificialIntelligenceandLaw:SteppingStonestoaModelofLegalReasoning,TheYaleLawJournal.(Vol.99:1957-1981).)這說(shuō)明,即使具有較高起點(diǎn)的實(shí)驗(yàn)室基礎(chǔ)研究,也不宜確定過(guò)高的目標(biāo)。因?yàn)椋悄芊上到y(tǒng)的研究不能脫離人工智能的整體發(fā)展水平。
第五,人-機(jī)系統(tǒng)解決方案。人和機(jī)器在解決法律問(wèn)題時(shí)各有所長(zhǎng)。人的優(yōu)點(diǎn)是能作價(jià)值推理,使法律問(wèn)題的解決適應(yīng)社會(huì)的變化發(fā)展,從而具有靈活性。機(jī)器的長(zhǎng)處是記憶和檢索功能強(qiáng),可以使法律問(wèn)題的解決具有一貫性。人-機(jī)系統(tǒng)解決方案立足于人與機(jī)器的功能互補(bǔ),目的是解放人的腦力勞動(dòng),服務(wù)于國(guó)家的法治建設(shè)。該方案的實(shí)施可以分為兩個(gè)階段:第一階段以人為主,機(jī)器為人收集信息并作初步分析,提供決策參考。律師受理案件后,可以先用機(jī)器處理大批數(shù)據(jù),并參考機(jī)器的和辯護(hù)方案,再做更加高級(jí)的推理論證工作。法官接觸一個(gè)新案件,或新法官剛接觸審判工作,也可以先看看“機(jī)器法官”的判決建議或者審判思路,作為參考。法院的監(jiān)督部門(mén)可參照機(jī)器法官的判決,對(duì)法官的審判活動(dòng)進(jìn)行某種監(jiān)督,如二者的判決結(jié)果差別太大,可以審查一下法官的判決理由。這也許可以在一定程度上制約司法腐敗。在人-機(jī)系統(tǒng)開(kāi)發(fā)的第二階段,會(huì)有越來(lái)越多的簡(jiǎn)單案件的判決與電腦推理結(jié)果完全相同,因此,某些簡(jiǎn)單案件可以機(jī)器為主進(jìn)行審判,例如,美國(guó)小額法庭的一些案件,我國(guó)法庭可用簡(jiǎn)易程序來(lái)審理的一些案件。法官可以作為“產(chǎn)品檢驗(yàn)員”監(jiān)督和修訂機(jī)器的判決結(jié)果。這樣,法官的判案效率將大大提高,法官隊(duì)伍也可借此“消腫”,有可能大幅度提高法官薪水,吸引高素質(zhì)法律人才進(jìn)入法官隊(duì)伍。
未來(lái)的計(jì)算機(jī)不會(huì)完全取代律師和法官,然而,律師和法官與智能機(jī)器統(tǒng)一體的出現(xiàn)則可能具有無(wú)限光明的前景。(注:Smith,J.C,MachineIntelligenceandLegalReasoning,Chicago-KentLawReview,1998,Vol.73,No.1,p277.)可以預(yù)見(jiàn),人工智能將為法律工作的自動(dòng)化提供越來(lái)越強(qiáng)有力的外腦支持。電腦律師或法官將在網(wǎng)絡(luò)所及的范圍內(nèi)承擔(dān)起諸如收債、稅務(wù)、小額犯罪訴訟等職能。自動(dòng)法律推理系統(tǒng)將對(duì)訴訟活動(dòng)發(fā)揮越來(lái)越多的輔助作用,例如,通過(guò)嚴(yán)密的演繹邏輯使用戶確信全部法律結(jié)論得出的正當(dāng)性;在解決相互沖突的規(guī)則、判例和政策問(wèn)題時(shí)提示可能出現(xiàn)的判決預(yù)測(cè);等等。正如網(wǎng)絡(luò)的出現(xiàn)打破了少數(shù)人對(duì)信息的壟斷一樣,電腦法律顧問(wèn)的問(wèn)世,將打破法官、律師對(duì)法律知識(shí)的壟斷,極大地推動(dòng)法律知識(shí)的普及,迅速提高廣大人民群眾的法律素質(zhì),使法律真正變?yōu)槿罕娛种械匿J利武器。
[關(guān)鍵詞]人工智能,常識(shí)推理,歸納邏輯,廣義內(nèi)涵邏輯,認(rèn)知邏輯,自然語(yǔ)言邏輯
現(xiàn)代邏輯創(chuàng)始于19世紀(jì)末葉和20世紀(jì)早期,其發(fā)展動(dòng)力主要來(lái)自于數(shù)學(xué)中的公理化運(yùn)動(dòng)。當(dāng)時(shí)的數(shù)學(xué)家們?cè)噲D即從少數(shù)公理根據(jù)明確給出的演繹規(guī)則推導(dǎo)出其他的數(shù)學(xué)定理,從而把整個(gè)數(shù)學(xué)構(gòu)造成為一個(gè)嚴(yán)格的演繹大廈,然后用某種程序和方法一勞永逸地證明數(shù)學(xué)體系的可靠性。為此需要發(fā)明和鍛造嚴(yán)格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要?jiǎng)恿?。由此造成的后果就?0世紀(jì)邏輯研究的嚴(yán)重?cái)?shù)學(xué)化,其表現(xiàn)在于:一是邏輯專注于在數(shù)學(xué)的形式化過(guò)程中提出的問(wèn)題;二是邏輯采納了數(shù)學(xué)的方法論,從事邏輯研究就意味著象數(shù)學(xué)那樣用嚴(yán)格的形式證明去解決問(wèn)題。由此發(fā)展出來(lái)的邏輯被恰當(dāng)?shù)胤Q為“數(shù)理邏輯”,它增強(qiáng)了邏輯研究的深度,使邏輯學(xué)的發(fā)展繼古希臘邏輯、歐洲中世紀(jì)邏輯之后進(jìn)入第三個(gè)高峰期,并且對(duì)整個(gè)現(xiàn)代科學(xué)特別是數(shù)學(xué)、哲學(xué)、語(yǔ)言學(xué)和計(jì)算機(jī)科學(xué)產(chǎn)生了非常重要的影響。
本文所要探討的問(wèn)題是:21世紀(jì)邏輯發(fā)展的主要?jiǎng)恿?lái)自何處?大致說(shuō)來(lái)將如何發(fā)展?我個(gè)人的看法是:計(jì)算機(jī)科學(xué)和人工智能將至少是21世紀(jì)早期邏輯學(xué)發(fā)展的主要?jiǎng)恿υ慈⒂纱藳Q定21世紀(jì)邏輯學(xué)的另一幅面貌。由于人工智能要模擬人的智能,它的難點(diǎn)不在于人腦所進(jìn)行的各種必然性推理(這一點(diǎn)在20世紀(jì)基本上已經(jīng)做到了,如用計(jì)算機(jī)去進(jìn)行高難度和高強(qiáng)度的數(shù)學(xué)證明,“深藍(lán)”通過(guò)高速、大量的計(jì)算去與世界冠軍下棋),而是最能體現(xiàn)人的智能特征的能動(dòng)性、創(chuàng)造性思維,這種思維活動(dòng)中包括學(xué)習(xí)、抉擇、嘗試、修正、推理諸因素,例如選擇性地搜集相關(guān)的經(jīng)驗(yàn)證據(jù),在不充分信息的基礎(chǔ)上作出嘗試性的判斷或抉擇,不斷根據(jù)環(huán)境反饋調(diào)整、修正自己的行為,……由此達(dá)到實(shí)踐的成功。于是,邏輯學(xué)將不得不比較全面地研究人的思維活動(dòng),并著重研究人的思維中最能體現(xiàn)其能動(dòng)性特征的各種不確定性推理,由此發(fā)展出的邏輯理論也將具有更強(qiáng)的可應(yīng)用性。
實(shí)際上,在20世紀(jì)中后期,就已經(jīng)開(kāi)始了現(xiàn)代邏輯與人工智能(記為AI)之間的相互融合和滲透。例如,哲學(xué)邏輯所研究的許多課題在理論計(jì)算機(jī)和人工智能中具有重要的應(yīng)用價(jià)值。AI從認(rèn)知心理學(xué)、社會(huì)科學(xué)以及決策科學(xué)中獲得了許多資源,但邏輯(包括哲學(xué)邏輯)在AI中發(fā)揮了特別突出的作用。某些原因促使哲學(xué)邏輯家去發(fā)展關(guān)于非數(shù)學(xué)推理的理論;基于幾乎同樣的理由,AI研究者也在進(jìn)行類似的探索,這兩方面的研究正在相互接近、相互借鑒,甚至在逐漸融合在一起。例如,AI特別關(guān)心下述課題:
·效率和資源有限的推理;
·感知;
·做計(jì)劃和計(jì)劃再認(rèn);
·關(guān)于他人的知識(shí)和信念的推理;
·各認(rèn)知主體之間相互的知識(shí);
·自然語(yǔ)言理解;
·知識(shí)表示;
·常識(shí)的精確處理;
·對(duì)不確定性的處理,容錯(cuò)推理;
·關(guān)于時(shí)間和因果性的推理;
·解釋或說(shuō)明;
·對(duì)歸納概括以及概念的學(xué)習(xí)。[①]
21世紀(jì)的邏輯學(xué)也應(yīng)該關(guān)注這些問(wèn)題,并對(duì)之進(jìn)行研究。為了做到這一點(diǎn),邏輯學(xué)家們有必要熟悉AI的要求及其相關(guān)進(jìn)展,使其研究成果在AI中具有可應(yīng)用性。
我認(rèn)為,至少是21世紀(jì)早期,邏輯學(xué)將會(huì)重點(diǎn)關(guān)注下述幾個(gè)領(lǐng)域,并且有可能在這些領(lǐng)域出現(xiàn)具有重大意義的成果:(1)如何在邏輯中處理常識(shí)推理中的弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素?(2)如何使機(jī)器人具有人的創(chuàng)造性智能,如從經(jīng)驗(yàn)證據(jù)中建立用于指導(dǎo)以后行動(dòng)的歸納判斷?(3)如何進(jìn)行知識(shí)表示和知識(shí)推理,特別是基于已有的知識(shí)庫(kù)以及各認(rèn)知主體相互之間的知識(shí)而進(jìn)行的推理?(4)如何結(jié)合各種語(yǔ)境因素進(jìn)行自然語(yǔ)言理解和推理,使智能機(jī)器人能夠用人的自然語(yǔ)言與人進(jìn)行成功的交際?等等。
1.常識(shí)推理中的某些弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素
AI研究的一個(gè)目標(biāo)就是用機(jī)器智能模擬人的智能,它選擇各種能反映人的智能特征的問(wèn)題進(jìn)行實(shí)踐,希望能做出各種具有智能特征的軟件系統(tǒng)。AI研究基于計(jì)算途徑,因此要建立具有可操作性的符號(hào)模型。一般而言,AI關(guān)于智能系統(tǒng)的符號(hào)模型可描述為:由一個(gè)知識(shí)載體(稱為知識(shí)庫(kù)KB)和一組加載在KB上的足以產(chǎn)生智能行為的過(guò)程(稱為問(wèn)題求解器PS)構(gòu)成。經(jīng)過(guò)20世紀(jì)70年代包括專家系統(tǒng)的發(fā)展,AI研究者逐步取得共識(shí),認(rèn)識(shí)到知識(shí)在智能系統(tǒng)中力量,即一般的智能系統(tǒng)事實(shí)上是一種基于知識(shí)的系統(tǒng),而知識(shí)包括專門(mén)性知識(shí)和常識(shí)性知識(shí),前者亦可看做是某一領(lǐng)域內(nèi)專家的常識(shí)。于是,常識(shí)問(wèn)題就成為AI研究的一個(gè)核心問(wèn)題,它包括兩個(gè)方面:常識(shí)表示和常識(shí)推理,即如何在人工智能中清晰地表示人類的常識(shí),并運(yùn)用這些常識(shí)去進(jìn)行符合人類行為的推理。顯然,如此建立的常識(shí)知識(shí)庫(kù)可能包含矛盾,是不協(xié)調(diào)的,但這種矛盾或不協(xié)調(diào)應(yīng)不至于影響到進(jìn)行合理的推理行為;常識(shí)推理還是一種非單調(diào)推理,即人們基于不完全的信息推出某些結(jié)論,當(dāng)人們得到更完全的信息后,可以改變甚至收回原來(lái)的結(jié)論;常識(shí)推理也是一種可能出錯(cuò)的不精確的推理模式,是在容許有錯(cuò)誤知識(shí)的情況下進(jìn)行的推理,簡(jiǎn)稱容錯(cuò)推理。而經(jīng)典邏輯拒斥任何矛盾,容許從矛盾推出一切命題;并且它是單調(diào)的,即承認(rèn)如下的推理模式:如果p?r,則pùq?r;或者說(shuō),任一理論的定理屬于該理論之任一擴(kuò)張的定理集。因此,在處理常識(shí)表示和常識(shí)推理時(shí),經(jīng)典邏輯應(yīng)該受到限制和修正,并發(fā)展出某些非經(jīng)典的邏輯,如次協(xié)調(diào)邏輯、非單調(diào)邏輯、容錯(cuò)推理等。有人指出,常識(shí)推理的邏輯是次協(xié)調(diào)邏輯和非單調(diào)邏輯的某種結(jié)合物,而后者又可看做是對(duì)容錯(cuò)推理的簡(jiǎn)單且基本的情形的一種形式化。[②]
“次協(xié)調(diào)邏輯”(ParaconsistentLogic)是由普里斯特、達(dá)·科斯塔等人在對(duì)悖論的研究中發(fā)展出來(lái)的,其基本想法是:當(dāng)在一個(gè)理論中發(fā)現(xiàn)難以克服的矛盾或悖論時(shí),與其徒勞地想盡各種辦法去排除或防范它們,不如干脆讓它們留在理論體系內(nèi),但把它們“圈禁”起來(lái),不讓它們?nèi)我鈹U(kuò)散,以免使我們所創(chuàng)立或研究的理論成為“不足道”的。于是,在次協(xié)調(diào)邏輯中,能夠容納有意義、有價(jià)值的“真矛盾”,但這些矛盾并不能使系統(tǒng)推出一切,導(dǎo)致自毀。因此,這一新邏輯具有一種次于經(jīng)典邏輯但又遠(yuǎn)遠(yuǎn)高于完全不協(xié)調(diào)系統(tǒng)的協(xié)調(diào)性。次協(xié)調(diào)邏輯家們認(rèn)為,如果在一理論T中,一語(yǔ)句A及其否定?A都是定理,則T是不協(xié)調(diào)的;否則,稱T是協(xié)調(diào)的。如果T所使用的邏輯含有從互相否定的兩公式可推出一切公式的規(guī)則或推理,則不協(xié)調(diào)的T也是不足道的(trivial)。因此,通常以經(jīng)典邏輯為基礎(chǔ)的理論,如果它是不協(xié)調(diào)的,那它一定也是不足道的。這一現(xiàn)象表明,經(jīng)典邏輯雖可用于研究協(xié)調(diào)的理論,但不適用于研究不協(xié)調(diào)但又足道的理論。達(dá)·科斯塔在20世紀(jì)60年代構(gòu)造了一系列次協(xié)調(diào)邏輯系統(tǒng)Cn(1≤n≤w),以用作不協(xié)調(diào)而又足道的理論的邏輯工具。對(duì)次協(xié)調(diào)邏輯系統(tǒng)Cn的特征性描述包括下述命題:(i)矛盾律?(Aù?A)不普遍有效;(ii)從兩個(gè)相互否定的公式A和?A推不出任意公式;即是說(shuō),矛盾不會(huì)在系統(tǒng)中任意擴(kuò)散,矛盾不等于災(zāi)難。(iii)應(yīng)當(dāng)容納與(i)和(ii)相容的大多數(shù)經(jīng)典邏輯的推理模式和規(guī)則。這里,(i)和(ii)表明了對(duì)矛盾的一種相對(duì)寬容的態(tài)度,(iii)則表明次協(xié)調(diào)邏輯對(duì)于經(jīng)典邏輯仍有一定的繼承性。
在任一次協(xié)調(diào)邏輯系統(tǒng)Cn(1≤n≤w)中,下述經(jīng)典邏輯的定理或推理模式都不成立:
?(Aù?A)
Aù?AB
A(?AB)
(A??A)B
(A??A)?B
A??A
(?Aù(AúB))B
(AB)(?B?A)
若以C0為經(jīng)典邏輯,則系列C0,C1,C2,…Cn,…Cw使得對(duì)任正整數(shù)i有Ci弱于Ci-1,Cw是這系列中最弱的演算。已經(jīng)為Cn設(shè)計(jì)出了合適的語(yǔ)義學(xué),并已經(jīng)證明Cn相對(duì)于此種語(yǔ)義是可靠的和完全的,并且次協(xié)調(diào)命題邏輯系統(tǒng)Cn還是可判定的。現(xiàn)在,已經(jīng)有人把次協(xié)調(diào)邏輯擴(kuò)展到模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯、多值邏輯、集合論等領(lǐng)域的研究中,發(fā)展了這些領(lǐng)域內(nèi)的次協(xié)調(diào)理論。顯然,次協(xié)調(diào)邏輯將會(huì)得到更進(jìn)一步的發(fā)展。[③]
非單調(diào)邏輯是關(guān)于非單調(diào)推理的邏輯,它的研究開(kāi)始于20世紀(jì)80年代。1980年,D·麥克多莫特和J·多伊爾初步嘗試著系統(tǒng)發(fā)展一種關(guān)于非單調(diào)推理的邏輯。他們?cè)诮?jīng)典謂詞演算中引入一個(gè)算子M,表示某種“一致性”斷言,并將其看做是模態(tài)概念,通過(guò)一定程序把模態(tài)邏輯系統(tǒng)T、S4和S5翻譯成非單調(diào)邏輯。B·摩爾的論文《非單調(diào)邏輯的語(yǔ)義思考》(1983)據(jù)認(rèn)為在非單調(diào)邏輯方面作出了令人注目的貢獻(xiàn)。他在“缺省推理”和“自動(dòng)認(rèn)知推理”之間做了區(qū)分,并把前者看作是在沒(méi)有任何相反信息和缺少證據(jù)的條件下進(jìn)行推理的過(guò)程,這種推理的特征是試探性的:根據(jù)新信息,它們很可能會(huì)被撤消。自動(dòng)認(rèn)知推理則不是這種類型,它是與人們自身的信念或知識(shí)相關(guān)的推理,可用它模擬一個(gè)理想的具有信念的有理性的人的推理。對(duì)于在計(jì)算機(jī)和人工智能中獲得成功的應(yīng)用而言,非單調(diào)邏輯尚需進(jìn)一步發(fā)展。
2.歸納以及其他不確定性推理
人類智能的本質(zhì)特征和最高表現(xiàn)是創(chuàng)造。在人類創(chuàng)造的過(guò)程中,具有必然性的演繹推理固然起重要作用,但更為重要的是具有某種不確定性的歸納、類比推理以及模糊推理等。因此,計(jì)算機(jī)要成功地模擬人的智能,真正體現(xiàn)出人的智能品質(zhì),就必須對(duì)各種具有不確定性的推理模式進(jìn)行研究。
首先是對(duì)歸納推理和歸納邏輯的研究。這里所說(shuō)的“歸納推理”是廣義的,指一切擴(kuò)展性推理,它們的結(jié)論所斷定的超出了其前提所斷定的范圍,因而前提的真無(wú)法保證結(jié)論的真,整個(gè)推理因此缺乏必然性。具體說(shuō)來(lái),這種意義的“歸納”包括下述內(nèi)容:簡(jiǎn)單枚舉法;排除歸納法,指這樣一些操作:預(yù)先通過(guò)觀察或?qū)嶒?yàn)列出被研究現(xiàn)象的可能的原因,然后有選擇地安排某些事例或?qū)嶒?yàn),根據(jù)某些標(biāo)準(zhǔn)排除不相干假設(shè),最后得到比較可靠的結(jié)論;統(tǒng)計(jì)概括:從關(guān)于有窮數(shù)目樣本的構(gòu)成的知識(shí)到關(guān)于未知總體分布構(gòu)成的結(jié)論的推理;類比論證和假說(shuō)演繹法,等等。盡管休謨提出著名的“歸納問(wèn)題”,對(duì)歸納推理的合理性和歸納邏輯的可能性提出了深刻的質(zhì)疑,但我認(rèn)為,(1)歸納是在茫茫宇宙中生存的人類必須采取也只能采取的認(rèn)知策略,對(duì)于人類來(lái)說(shuō)具有實(shí)踐的必然性。(2)人類有理由從經(jīng)驗(yàn)的重復(fù)中建立某種確實(shí)性和規(guī)律性,其依據(jù)就是確信宇宙中存在某種類似于自然齊一律和客觀因果律之類的東西。這一確信是合理的,而用純邏輯的理由去懷疑一個(gè)關(guān)于世界的事實(shí)性斷言則是不合理的,除非這個(gè)斷言是邏輯矛盾。(3)人類有可能建立起局部合理的歸納邏輯和歸納方法論。并且,歸納邏輯的這種可能性正在計(jì)算機(jī)科學(xué)和人工智能的研究推動(dòng)下慢慢地演變成現(xiàn)實(shí)。恩格斯早就指出,“社會(huì)一旦有技術(shù)上的需要,則這種需要比十所大學(xué)更能把科學(xué)推向前進(jìn)。”[④]有人通過(guò)指責(zé)現(xiàn)有的歸納邏輯不成熟,得出“歸納邏輯不可能”的結(jié)論,他們的推理本身與歸納推理一樣,不具有演繹的必然性。(4)人類實(shí)踐的成功在一定程度上證明了相應(yīng)的經(jīng)驗(yàn)知識(shí)的真理性,也就在一定程度上證明了歸納邏輯和歸納方法論的力量。毋庸否認(rèn),歸納邏輯目前還很不成熟。有的學(xué)者指出,為了在機(jī)器的智能模擬中克服對(duì)歸納模擬的困難而有所突破,應(yīng)該將歸納邏輯等有關(guān)的基礎(chǔ)理論研究與機(jī)器學(xué)習(xí)、不確定推理和神經(jīng)網(wǎng)絡(luò)學(xué)習(xí)模型與歸納學(xué)習(xí)中已有的成果結(jié)合起來(lái)。只有這樣,才能在已有的歸納學(xué)習(xí)成果上,在機(jī)器歸納和機(jī)器發(fā)現(xiàn)上取得新的突破和進(jìn)展。[⑤]這是一個(gè)極有價(jià)值且極富挑戰(zhàn)性的課題,無(wú)疑在21世紀(jì)將得到重視并取得進(jìn)展。
再談模糊邏輯。現(xiàn)實(shí)世界中充滿了模糊現(xiàn)象,這些現(xiàn)象反映到人的思維中形成了模糊概念和模糊命題,如“矮個(gè)子”、“美人”、“甲地在乙地附近”、“他很年輕”等。研究模糊概念、模糊命題和模糊推理的邏輯理論叫做“模糊邏輯”。對(duì)它的研究始于20世紀(jì)20年代,其代表性人物是L·A·查德和P·N·馬林諾斯。模糊邏輯為精確邏輯(二值邏輯)解決不了的問(wèn)題提供了解決的可能,它目前在醫(yī)療診斷、故障檢測(cè)、氣象預(yù)報(bào)、自動(dòng)控制以及人工智能研究中獲得重要應(yīng)用。顯然,它在21世紀(jì)將繼續(xù)得到更大的發(fā)展。
3.廣義內(nèi)涵邏輯
經(jīng)典邏輯只是對(duì)命題聯(lián)結(jié)詞、個(gè)體詞、謂詞、量詞和等詞進(jìn)行了研究,但在自然語(yǔ)言中,除了這些語(yǔ)言成分之外,顯然還存在許多其他的語(yǔ)言成分,如各種各樣的副詞,包括模態(tài)詞“必然”、“可能”和“不可能”、時(shí)態(tài)詞“過(guò)去”、“現(xiàn)在”和“未來(lái)”、道義詞“應(yīng)該”、“允許”、“禁止”等等,以及各種認(rèn)知?jiǎng)釉~,如“思考”、“希望”、“相信”、“判斷”、“猜測(cè)”、“考慮”、“懷疑”,這些認(rèn)知?jiǎng)釉~在邏輯和哲學(xué)文獻(xiàn)中被叫做“命題態(tài)度詞”。對(duì)這些副詞以及命題態(tài)度詞的邏輯研究可以歸類為“廣義內(nèi)涵邏輯”。
大多數(shù)副詞以及幾乎所有命題態(tài)度詞都是內(nèi)涵性的,造成內(nèi)涵語(yǔ)境,后者與外延語(yǔ)境構(gòu)成對(duì)照。外延語(yǔ)境又叫透明語(yǔ)境,是經(jīng)典邏輯的組合性原則、等值置換規(guī)則、同一性替換規(guī)則在其中適用的語(yǔ)境;內(nèi)涵語(yǔ)境又稱晦暗語(yǔ)境,是上述規(guī)則在其中不適用的語(yǔ)境。相應(yīng)于外延語(yǔ)境和內(nèi)涵語(yǔ)境的區(qū)別,一切語(yǔ)言表達(dá)式(包括自然語(yǔ)言的名詞、動(dòng)詞、形容詞直至語(yǔ)句)都可以區(qū)分為外延性的和內(nèi)涵性的,前者是提供外延語(yǔ)境的表達(dá)式,后者是提供內(nèi)涵性語(yǔ)境的表達(dá)式。例如,殺死、見(jiàn)到、擁抱、吻、砍、踢、打、與…下棋等都是外延性表達(dá)式,而知道、相信、認(rèn)識(shí)、必然、可能、允許、禁止、過(guò)去、現(xiàn)在、未來(lái)等都是內(nèi)涵性表達(dá)式。在內(nèi)涵語(yǔ)境中會(huì)出現(xiàn)一些復(fù)雜的情況。首先,對(duì)于個(gè)體詞項(xiàng)來(lái)說(shuō),關(guān)鍵性的東西是我們不僅必須考慮它們?cè)诂F(xiàn)實(shí)世界中的外延,而且要考慮它們?cè)谄渌赡苁澜缰械耐庋?。例如,由于“必然”是?nèi)涵性表達(dá)式,它提供內(nèi)涵語(yǔ)境,因而下述推理是非有效的:
晨星必然是晨星,
晨星就是暮星,
所以,晨星必然是暮星。
這是因?yàn)椋哼@個(gè)推理只考慮到“晨星”和“暮星”在現(xiàn)實(shí)世界中的外延,并沒(méi)有考慮到它們?cè)诿恳粋€(gè)可能世界中的外延,我們完全可以設(shè)想一個(gè)可能世界,在其中“晨星”的外延不同于“暮星”的外延。因此,我們就不能利用同一性替換規(guī)則,由該推理的前提得出它的結(jié)論:“晨星必然是暮星”。其次,在內(nèi)涵語(yǔ)境中,語(yǔ)言表達(dá)式不再以通常是它們的外延的東西作為外延,而以通常是它們的內(nèi)涵的東西作為外延。以“達(dá)爾文相信人是從猿猴進(jìn)化而來(lái)的”這個(gè)語(yǔ)句為例。這里,達(dá)爾文所相信的是“人是從猿猴進(jìn)化而來(lái)的”所表達(dá)的思想,而不是它所指稱的真值,于是在這種情況下,“人是從猿猴進(jìn)化而來(lái)的”所表達(dá)的思想(命題)就構(gòu)成它的外延。再次,在內(nèi)涵語(yǔ)境中,雖然適用于外延的函項(xiàng)性原則不再成立,但并不是非要拋棄不可,可以把它改述為新的形式:一復(fù)合表達(dá)式的外延是它出現(xiàn)于外延語(yǔ)境中的部分表達(dá)式的外延加上出現(xiàn)于內(nèi)涵語(yǔ)境中的部分表達(dá)式的內(nèi)涵的函項(xiàng)。這個(gè)新的組合性或函項(xiàng)性原則在內(nèi)涵邏輯中成立。
一般而言,一個(gè)好的內(nèi)涵邏輯至少應(yīng)滿足兩個(gè)條件:(i)它必須能夠處理外延邏輯所能處理的問(wèn)題;(ii)它還必須能夠處理外延邏輯所不能處理的難題。這就是說(shuō),它既不能與外延邏輯相矛盾,又要克服外延邏輯的局限。這樣的內(nèi)涵邏輯目前正在發(fā)展中,并且已有初步輪廓。從術(shù)語(yǔ)上說(shuō),內(nèi)涵邏輯除需要真、假、語(yǔ)句真值的同一和不同、集合或類、謂詞的同范圍或不同范圍等外延邏輯的術(shù)語(yǔ)之外,還需要同義、內(nèi)涵的同一和差異、命題、屬性或概念這樣一些術(shù)語(yǔ)。廣而言之,可以把內(nèi)涵邏輯看作是關(guān)于象“必然”、“可能”、“知道”、“相信”,“允許”、“禁止”等提供內(nèi)涵語(yǔ)境的語(yǔ)句算子的一般邏輯。在這種廣義之下,模態(tài)邏輯、時(shí)態(tài)邏輯、道義邏輯、認(rèn)知邏輯、問(wèn)題邏輯等都是內(nèi)涵邏輯。不過(guò),還有一種狹義的內(nèi)涵邏輯,它可以粗略定義如下:一個(gè)內(nèi)涵邏輯是一個(gè)形式語(yǔ)言,其中包括(1)謂詞邏輯的算子、量詞和變?cè)@里的謂詞邏輯不必局限于一階謂詞邏輯,也可以是高階謂詞邏輯;(2)合式的λ—表達(dá)式,例如(λx)A,這里A是任一類型的表達(dá)式,x是任一類型的變?cè)?λx)A本身是一函項(xiàng),它把變?cè)獂在其中取值的那種類型的對(duì)象映射到A所屬的那種類型上;(3)其他需要的模態(tài)的或內(nèi)涵的算子,例如€,ù、ú。而一個(gè)內(nèi)涵邏輯的解釋,則由下列要素組成:(1)一個(gè)可能世界的非空集W;(2)一個(gè)可能個(gè)體的非空集D;(3)一個(gè)賦值,它給系統(tǒng)內(nèi)的表達(dá)式指派它們?cè)诿縲∈W中的外延。對(duì)于任一的解釋Q和任一的世界w∈W,判定內(nèi)涵邏輯系統(tǒng)中的任一表達(dá)式X相對(duì)于解釋Q在w∈W中的外延總是可能的。這樣的內(nèi)涵邏輯系統(tǒng)有丘奇的LSD系統(tǒng),R·蒙塔古的IL系統(tǒng),以及E·N·扎爾塔的FIL系統(tǒng)等。[⑥]
在各種內(nèi)涵邏輯中,認(rèn)識(shí)論邏輯(epistemiclogic)具有重要意義。它有廣義和狹義之分。廣義的認(rèn)識(shí)論邏輯研究與感知(perception)、知道、相信、斷定、理解、懷疑、問(wèn)題和回答等相關(guān)的邏輯問(wèn)題,包括問(wèn)題邏輯、知道邏輯、相信邏輯、斷定邏輯等;狹義的認(rèn)識(shí)論邏輯僅指知道和相信的邏輯,簡(jiǎn)稱“認(rèn)知邏輯”。馮·賴特在1951年提出了對(duì)“認(rèn)知模態(tài)”的邏輯分析,這對(duì)建立認(rèn)知邏輯具有極大的啟發(fā)作用。J·麥金西首先給出了一個(gè)關(guān)于“知道”的模態(tài)邏輯。A·帕普于1957年建立了一個(gè)基于6條規(guī)則的相信邏輯系統(tǒng)。J·亨迪卡于60年代出版的《知識(shí)和信念》一書(shū)是認(rèn)知邏輯史上的重要著作,其中提出了一些認(rèn)知邏輯的系統(tǒng),并為其建立了基于“模型集”的語(yǔ)義學(xué),后者是可能世界語(yǔ)義學(xué)的先導(dǎo)之一。當(dāng)今的認(rèn)知邏輯紛繁復(fù)雜,既不成熟也面臨許多難題。由于認(rèn)知邏輯涉及認(rèn)識(shí)論、心理學(xué)、語(yǔ)言學(xué)、計(jì)算機(jī)科學(xué)和人工智能等諸多領(lǐng)域,并且認(rèn)知邏輯的應(yīng)用技術(shù),又稱關(guān)于知識(shí)的推理技術(shù),正在成為計(jì)算機(jī)科學(xué)和人工智能的重要分支之一,因此認(rèn)知邏輯在20世紀(jì)中后期成為國(guó)際邏輯學(xué)界的一個(gè)熱門(mén)研究方向。這一狀況在21世紀(jì)將得到繼續(xù)并進(jìn)一步強(qiáng)化,在這方面有可能出現(xiàn)突破性的重要結(jié)果。
4.對(duì)自然語(yǔ)言的邏輯研究
對(duì)自然語(yǔ)言的邏輯研究有來(lái)自幾個(gè)不同領(lǐng)域的推動(dòng)力。首先是計(jì)算機(jī)和人工智能的研究,人機(jī)對(duì)話和通訊、計(jì)算機(jī)的自然語(yǔ)言理解、知識(shí)表示和知識(shí)推理等課題,都需要對(duì)自然語(yǔ)言進(jìn)行精細(xì)的邏輯分析,并且這種分析不能僅停留在句法層面,而且要深入到語(yǔ)義層面。其次是哲學(xué)特別是語(yǔ)言哲學(xué),在20世紀(jì)哲學(xué)家們對(duì)語(yǔ)言表達(dá)式的意義問(wèn)題傾注了異乎尋常的精力,發(fā)展了各種各樣的意義理論,如觀念論、指稱論、使用論、言語(yǔ)行為理論、真值條件論等等,以致有人說(shuō),關(guān)注意義成了20世紀(jì)哲學(xué)家的職業(yè)病。再次是語(yǔ)言學(xué)自身發(fā)展的需要,例如在研究自然語(yǔ)言的意義問(wèn)題時(shí),不能僅僅停留在脫離語(yǔ)境的抽象研究上面,而要結(jié)合使用語(yǔ)言的特定環(huán)境去研究,這導(dǎo)致了語(yǔ)義學(xué)、語(yǔ)用學(xué)、新修辭學(xué)等等發(fā)展。各個(gè)方面發(fā)展的成果可以總稱為“自然語(yǔ)言邏輯”,它力圖綜合后期維特根斯坦提倡的使用論,J·L·奧斯汀、J·L·塞爾等人發(fā)展的言語(yǔ)行為理論,以及P·格賴斯所創(chuàng)立的會(huì)話含義學(xué)說(shuō)等成果,透過(guò)自然語(yǔ)言的指謂性和交際性去研究自然語(yǔ)言中的推理。
自然語(yǔ)言具有表達(dá)和交際兩種職能,其中交際職能是自然語(yǔ)言最重要的職能,是它的生命力之所在。而言語(yǔ)交際總是在一定的語(yǔ)言環(huán)境(簡(jiǎn)稱語(yǔ)境)中進(jìn)行的,語(yǔ)境有廣義和狹義之分。狹義的語(yǔ)境僅指一個(gè)語(yǔ)詞、一個(gè)句子出現(xiàn)的上下文。廣義的語(yǔ)境除了上下文之外,還包括該語(yǔ)詞或語(yǔ)句出現(xiàn)的整個(gè)社會(huì)歷史條件,如該語(yǔ)詞或語(yǔ)句出現(xiàn)的時(shí)間、地點(diǎn)、條件、講話的人(作者)、聽(tīng)話的人(讀者)以及交際雙方所共同具有的背景知識(shí),這里的背景知識(shí)包括交際雙方共同的信念和心理習(xí)慣,以及共同的知識(shí)和假定等等。這些語(yǔ)境因素對(duì)于自然語(yǔ)言的表達(dá)式(語(yǔ)詞、語(yǔ)句)的意義有著極其重要的影響,這具體表現(xiàn)在:(i)語(yǔ)境具有消除自然語(yǔ)言語(yǔ)詞的多義性、歧義性和模糊性的能力,具有嚴(yán)格規(guī)定語(yǔ)言表達(dá)式意義的能力。(ii)自然語(yǔ)言的句子常常包含指示代詞、人稱代詞、時(shí)間副詞等,要弄清楚這些句子的意義和內(nèi)容,就要弄清楚這句話是誰(shuí)說(shuō)的、對(duì)誰(shuí)說(shuō)的、什么時(shí)候說(shuō)的、什么地點(diǎn)說(shuō)的、針對(duì)什么說(shuō)的,等等,這只有在一定的語(yǔ)境中才能進(jìn)行。依賴語(yǔ)境的其他類型的語(yǔ)句還有:包含著象“有些”和“每一個(gè)”這類量化表達(dá)式的句子的意義取決于依語(yǔ)境而定的論域,包含著象“大的”、“冷的”這類形容詞的句子的意義取決于依語(yǔ)境而定的相比較的對(duì)象類;模態(tài)語(yǔ)句和條件語(yǔ)句的意義取決于因語(yǔ)境而變化的語(yǔ)義決定因素,如此等等。(iii)語(yǔ)言表達(dá)式的意義在語(yǔ)境中會(huì)出現(xiàn)一些重要的變化,以至偏離它通常所具有的意義(抽象意義),而產(chǎn)生一種新的意義即語(yǔ)用涵義。有人認(rèn)為,一個(gè)語(yǔ)言表達(dá)式在它的具體語(yǔ)境中的意義,才是它的完全的真正的意義,一旦脫離開(kāi)語(yǔ)境,它就只具有抽象的意義。語(yǔ)言的抽象意義和它的具體意義的關(guān)系,正象解剖了的死人肢體與活人肢體的關(guān)系一樣。邏輯應(yīng)該去研究、理解、把握自然語(yǔ)言的具體意義,當(dāng)然不是去研究某一個(gè)(或一組)特定的語(yǔ)句在某個(gè)特定語(yǔ)境中唯一無(wú)二的意義,而是專門(mén)研究確定自然語(yǔ)言具體意義的普遍原則。超級(jí)秘書(shū)網(wǎng)
美國(guó)語(yǔ)言學(xué)家保羅·格賴斯把語(yǔ)言表達(dá)式在一定的交際語(yǔ)境中產(chǎn)生的一種不同于字面意義的特殊涵義,叫做“語(yǔ)用涵義”、“會(huì)話涵義”或“隱涵”(implicature),并于1975年提出了一組“交際合作原則”,包括一個(gè)總則和四組準(zhǔn)則。總則的內(nèi)容是:在你參與會(huì)話時(shí),你要依據(jù)你所參與的談話交流的公認(rèn)目的或方向,使你的會(huì)話貢獻(xiàn)符合這種需要。仿照康德把范疇區(qū)分為量、質(zhì)、關(guān)系和方式四類,格賴斯提出了如下四組準(zhǔn)則:
(1)數(shù)量準(zhǔn)則:在交際過(guò)程中給出的信息量要適中。
a.給出所要求的信息量;
b.給出的信息量不要多于所要求的信息量。
(2)質(zhì)量準(zhǔn)則:力求講真話。
a.不說(shuō)你認(rèn)為假的東西,。
b.不說(shuō)你缺少適當(dāng)證據(jù)的東西。
(3)關(guān)聯(lián)準(zhǔn)則:說(shuō)話要與已定的交際目的相關(guān)聯(lián)。
(4)方式準(zhǔn)則:說(shuō)話要意思明確,表達(dá)清晰。
a.避免晦澀生僻的表達(dá)方式;
b.避免有歧義的表達(dá)方式;
c.說(shuō)話要簡(jiǎn)潔;
d.說(shuō)話要有順序性。[⑧]
后來(lái)對(duì)這些原則提出了不和補(bǔ)充,例如有人還提出了交際過(guò)程中所要遵守的“禮貌原則”。只要把交際雙方遵守交際合作原則之類的語(yǔ)用規(guī)則作為基本前提,這些原則就可以用來(lái)確定和把握自然語(yǔ)言的具體意義(語(yǔ)用涵義)。實(shí)際上,一個(gè)語(yǔ)句p的語(yǔ)用涵義,就是聽(tīng)話人在具體語(yǔ)境中根據(jù)語(yǔ)用規(guī)則由p得到的那個(gè)或那些語(yǔ)句。更具體地說(shuō),從說(shuō)話人S說(shuō)的話語(yǔ)p推出語(yǔ)用涵義q的一般過(guò)程是:
(i)S說(shuō)了p;
(ii)沒(méi)有理由認(rèn)為S不遵守準(zhǔn)則,或至少S會(huì)遵守總的合作原則;
(iii)S說(shuō)了p而又要遵守準(zhǔn)則或總的合作原則,S必定想表達(dá)q;
(iv)S必然知道,談話雙方都清楚:如果S是合作的,必須假設(shè)q;
(v)S無(wú)法阻止聽(tīng)話人H考慮q;
(vi)因此,S意圖讓H考慮q,并在說(shuō)p時(shí)意味著q。
試舉二例:
(1)a站在熄火的汽車旁,b向a走來(lái)。a說(shuō):“我沒(méi)有汽油了?!眀說(shuō):“前面拐角處有一個(gè)修車鋪?!边@里a與b談話的目的是:a想得到汽油。根據(jù)關(guān)系準(zhǔn)則,b說(shuō)這句話是與a想得到汽油相關(guān)的,由此可知:b說(shuō)這句話時(shí)隱涵著:“前面的修車鋪還在營(yíng)業(yè)并且賣汽油?!?/p>
摘要:人工智能是在計(jì)算機(jī)科學(xué)、控制論、信息論、心理學(xué)、語(yǔ)言學(xué)等多種學(xué)科相互滲透的基礎(chǔ)發(fā)展起來(lái)的一門(mén)新興邊緣學(xué)科,主要研究用用機(jī)器(主要是計(jì)算機(jī))來(lái)模仿和實(shí)現(xiàn)人類的智能行為,經(jīng)過(guò)幾十年的發(fā)展,人工智能應(yīng)用在不少領(lǐng)域得到發(fā)展,在我們的日常生活和學(xué)習(xí)當(dāng)中也有許多地方得到應(yīng)用本文就符號(hào)計(jì)算、模式識(shí)別、專家系統(tǒng)、機(jī)器翻譯等方面的應(yīng)用作簡(jiǎn)單介紹,籍此使讀者對(duì)我們身邊的人工智能應(yīng)用有一個(gè)感性的認(rèn)識(shí)。
一、符號(hào)計(jì)算
計(jì)算機(jī)最主要的用途之一就是科學(xué)計(jì)算,科學(xué)計(jì)算可分為兩類:一類是純數(shù)值的計(jì)算,例如求函數(shù)的值,方程的數(shù)值解,比如天氣預(yù)報(bào)、油藏模擬、航天等領(lǐng)域;另一類是符號(hào)計(jì)算,又稱代數(shù)運(yùn)算,這是一種智能化的計(jì)算,處理的是符號(hào)符號(hào)可以代表整數(shù)、有理數(shù)、實(shí)數(shù)和復(fù)數(shù),也可以代表多項(xiàng)式,函數(shù),集合等長(zhǎng)期以來(lái),人們一直盼望有一個(gè)可以進(jìn)行符號(hào)計(jì)算的計(jì)算機(jī)軟件系統(tǒng)早在50年代末,人們就開(kāi)始對(duì)此研究進(jìn)入80年代后,隨著計(jì)算機(jī)的普及和人工智能的發(fā)展,相繼出現(xiàn)了多種功能齊全的計(jì)算機(jī)代數(shù)系統(tǒng)軟件,其中Mathematica和Maple是它們的代表,由于它們都是用C語(yǔ)言寫(xiě)成的,所以可以在絕大多數(shù)計(jì)算機(jī)上使用Mathematica是第一個(gè)將符號(hào)運(yùn)算,數(shù)值計(jì)算和圖形顯示很好地結(jié)合在一起的數(shù)學(xué)軟件,用戶能夠方便地用它進(jìn)行多種形式的數(shù)學(xué)處理。
計(jì)算機(jī)代數(shù)系統(tǒng)的優(yōu)越性主要在于它能夠進(jìn)行大規(guī)模的代數(shù)運(yùn)算通常我們用筆和紙進(jìn)行代數(shù)運(yùn)算只能處理符號(hào)較少的算式,當(dāng)算式的符號(hào)上升到百位數(shù)后,手工計(jì)算就很困難了,這時(shí)用計(jì)算機(jī)代數(shù)系統(tǒng)進(jìn)行運(yùn)算就可以做到準(zhǔn)確,快捷,有效現(xiàn)在符號(hào)計(jì)算軟件有一些共同的特點(diǎn)就是在可以進(jìn)行符號(hào)運(yùn)算、數(shù)值計(jì)算和圖形顯示等同時(shí),還具有高效的可編程功能在操作界面上一般都支持交互式處理,人們通過(guò)鍵盤(pán)輸入命令,計(jì)算機(jī)處理后即顯示結(jié)果并且人機(jī)界面友好,命令輸入方便靈活,很容易尋求幫助。
盡管計(jì)算機(jī)代數(shù)系統(tǒng)在代替人繁瑣的符號(hào)運(yùn)算上有著無(wú)比的優(yōu)越性,但是,計(jì)算機(jī)畢竟是機(jī)器,它只能執(zhí)行人們給它的指令,有一定的局限性首先,多數(shù)計(jì)算機(jī)代數(shù)系統(tǒng)對(duì)計(jì)算機(jī)硬件有較高的要求,在進(jìn)行符號(hào)運(yùn)算時(shí),通常需要很大的內(nèi)存和較長(zhǎng)的計(jì)算時(shí)間,而精確的代數(shù)運(yùn)算以時(shí)間和空間為代價(jià)的第二個(gè)問(wèn)題是用計(jì)算機(jī)代數(shù)系統(tǒng)進(jìn)行數(shù)值計(jì)算,雖然計(jì)算精度可以到任意位,但由于計(jì)算機(jī)代數(shù)系統(tǒng)是用軟件本身浮點(diǎn)運(yùn)算代替硬件算術(shù)運(yùn)算,所以在速度要比用Fortran語(yǔ)言算同樣的問(wèn)題慢百倍甚至千倍另外,雖然計(jì)算機(jī)代數(shù)系統(tǒng)包含大量的數(shù)學(xué)知識(shí),但這僅僅是數(shù)學(xué)中的一小部分,目前仍有許多數(shù)學(xué)領(lǐng)域未能被計(jì)算機(jī)代數(shù)系統(tǒng)涉及計(jì)算機(jī)代數(shù)系統(tǒng)仍在不斷地發(fā)展、完善之中。
二、模式識(shí)別
模式識(shí)別就是通過(guò)計(jì)算機(jī)用數(shù)學(xué)技術(shù)方法來(lái)研究模式的自動(dòng)處理和判讀這里,我們把環(huán)境與客體統(tǒng)稱為“模式”,隨著計(jì)算機(jī)技術(shù)的發(fā)展,人類有可能研究復(fù)雜的信息處理過(guò)程用計(jì)算機(jī)實(shí)現(xiàn)模式(文字、聲音、人物、物體等)的自動(dòng)識(shí)別,是開(kāi)發(fā)智能機(jī)器的一個(gè)最關(guān)鍵的突破口,也為人類認(rèn)識(shí)自身智能提供線索信息處理過(guò)程的一個(gè)重要形式是生命體對(duì)環(huán)境及客體的識(shí)別對(duì)人類來(lái)說(shuō),特別重要的是對(duì)光學(xué)信息(通過(guò)視覺(jué)器官來(lái)獲得)和聲學(xué)信息(通過(guò)聽(tīng)覺(jué)器官來(lái)獲得)的識(shí)別這是模式識(shí)別的兩個(gè)重要方面市場(chǎng)上可見(jiàn)到的代表性產(chǎn)品有光學(xué)字符識(shí)別系統(tǒng)(OpticalCharacterRecognition,OCR)、語(yǔ)音識(shí)別系統(tǒng)等計(jì)算機(jī)識(shí)別的顯著特點(diǎn)是速度快、準(zhǔn)確性和效率高識(shí)別過(guò)程與人類的學(xué)習(xí)過(guò)程相似以“漢字識(shí)別”為例:首先將漢字圖象進(jìn)行處理,抽取主要表達(dá)特征并將其特征與漢字的代碼存在計(jì)算機(jī)中就象把老師教我們這個(gè)字叫什么、如何寫(xiě)的知識(shí)記憶在大腦中這一過(guò)程叫做“訓(xùn)練”識(shí)別過(guò)程就是將輸入的漢字圖像經(jīng)處理后與計(jì)算機(jī)中所保存的全部漢字進(jìn)行比較,找出最相近的字作為識(shí)別結(jié)果,這一過(guò)程叫做“匹配”。
語(yǔ)音識(shí)別就是讓計(jì)算機(jī)能聽(tīng)懂人說(shuō)的話,一個(gè)重要的例子就是七國(guó)語(yǔ)言(英、日、意、韓、法、德、中)口語(yǔ)自動(dòng)翻譯系統(tǒng)其中,中文部分的實(shí)驗(yàn)平臺(tái)設(shè)立在中國(guó)科學(xué)院自動(dòng)化所的模式識(shí)別國(guó)家重點(diǎn)實(shí)驗(yàn)室,這是口語(yǔ)翻譯研究跨入世界領(lǐng)先水平的標(biāo)志該系統(tǒng)實(shí)現(xiàn)后,人們出國(guó)預(yù)定旅館、購(gòu)買機(jī)票、在餐館對(duì)話和兌換外幣時(shí),只要利用電話網(wǎng)絡(luò)和國(guó)際互聯(lián)網(wǎng),就可用手機(jī)、電話等與“老外”通話。
指紋是人體的一個(gè)重要特征,具有唯一性北京大學(xué)有關(guān)專家對(duì)數(shù)字圖像的離散幾何性質(zhì)進(jìn)行了深入研究,建立了從指紋灰度圖像精確計(jì)算紋線局部方向、進(jìn)而提取指紋特征信息的理論與算法,隨后研究成功了適于民用身份鑒定的全自動(dòng)指紋鑒定系統(tǒng),以及適于公安刑事偵破的指紋鑒定系統(tǒng)從而開(kāi)創(chuàng)了我國(guó)指紋自動(dòng)識(shí)別系統(tǒng)應(yīng)用的先河北大指紋自動(dòng)識(shí)別系統(tǒng)的推出,使我國(guó)公安干警從指紋查對(duì)的繁重人工處理中解放出來(lái)浙江省從1997年開(kāi)始使用北大指紋自動(dòng)識(shí)別系統(tǒng),采取省地(市)二級(jí)建庫(kù)、省地(市)縣三級(jí)查詢的方式,形成了獨(dú)特的“浙江模式”省公安廳現(xiàn)已建立了100多萬(wàn)人的指紋庫(kù),是目前國(guó)內(nèi)的第二大庫(kù)在100多萬(wàn)人的指紋庫(kù)中,檢索一枚現(xiàn)場(chǎng)指紋僅需4分鐘左右2000年浙江省用指紋自動(dòng)識(shí)別系統(tǒng)直接破案3063起,連帶破案12000多起破案率為全國(guó)第一,并遙遙領(lǐng)先于國(guó)內(nèi)其它指紋識(shí)別系統(tǒng),被公安部樹(shù)為指紋系統(tǒng)建設(shè)應(yīng)用樣板。
這里介紹一個(gè)綜合應(yīng)用的例子,一汽集團(tuán)公司與國(guó)防科技大學(xué)最近合作研制成功“紅旗轎車自主駕駛系統(tǒng)”(即無(wú)人駕駛系統(tǒng)),它標(biāo)志著我國(guó)研制高速智能汽車的能力已達(dá)到當(dāng)今世界先進(jìn)水平汽車自主駕駛技術(shù)是集模式識(shí)別、智能控制、計(jì)算機(jī)學(xué)和汽車操縱動(dòng)力學(xué)等多門(mén)學(xué)科于一體的綜合性技術(shù),代表著一個(gè)國(guó)家控制技術(shù)的水平紅旗車自主駕駛系統(tǒng)采用計(jì)算機(jī)視覺(jué)導(dǎo)航方式,并采用仿人控制,實(shí)現(xiàn)了對(duì)紅旗車的操縱控制首先,攝像機(jī)將車前方的道路和車輛行駛情況輸入到圖像處理和圖像識(shí)別系統(tǒng)該系統(tǒng)識(shí)別出道路狀況、前方車輛的相對(duì)距離和相對(duì)車速接著,路徑規(guī)劃系統(tǒng)根據(jù)這些信息規(guī)劃出一條合適路徑,即決定如何開(kāi)車然后,路徑跟蹤系統(tǒng)根據(jù)需跟蹤的路徑,結(jié)合車輛行駛狀態(tài)參數(shù)和車輛駕駛動(dòng)力學(xué)約束,形成控制命令,控制方向盤(pán)和油門(mén)開(kāi)啟機(jī)構(gòu)產(chǎn)生相應(yīng)動(dòng)作,使汽車按照規(guī)劃好的路徑前進(jìn),即按自主駕駛系統(tǒng)的規(guī)劃路徑前進(jìn)。
三、專家系統(tǒng)
專家系統(tǒng)是一種模擬人類專家解決領(lǐng)域問(wèn)題的計(jì)算機(jī)程序系統(tǒng)專家系統(tǒng)內(nèi)部含有大量的某個(gè)領(lǐng)域的專家水平的知識(shí)與經(jīng)驗(yàn),能夠運(yùn)用人類專家的知識(shí)和解決問(wèn)題的方法進(jìn)行推理和判斷,模擬人類專家的決策過(guò)程,來(lái)解決該領(lǐng)域的復(fù)雜問(wèn)題專家系統(tǒng)是人工智能應(yīng)用研究最活躍和最廣泛的應(yīng)用領(lǐng)域之一,涉及到社會(huì)各個(gè)方面,各種專家系統(tǒng)已遍布各個(gè)專業(yè)領(lǐng)域,取得很大的成功根據(jù)專家系統(tǒng)處理的問(wèn)題的類型,把專家系統(tǒng)分為解釋型、診斷型、調(diào)試型、維修型、教育型、預(yù)測(cè)型、規(guī)劃型、設(shè)計(jì)型和控制型等10種類型具體應(yīng)用就很多了,例如血液凝結(jié)疾病診斷系統(tǒng)、電話電纜維護(hù)專家系統(tǒng)、花布圖案設(shè)計(jì)和花布印染專家系統(tǒng)等等。
為了實(shí)現(xiàn)專家系統(tǒng),必須要存儲(chǔ)有該專門(mén)領(lǐng)域中經(jīng)過(guò)事先總結(jié)、分析并按某種模式表示的專家知識(shí)(組成知識(shí)庫(kù)),以及擁有類似于領(lǐng)域?qū)<医鉀Q實(shí)際問(wèn)題的推理機(jī)制(構(gòu)成推理機(jī))系統(tǒng)能對(duì)輸入信息進(jìn)行處理,并運(yùn)用知識(shí)進(jìn)行推理,做出決策和判斷,其解決問(wèn)題的水平達(dá)到或接近專家的水平,因此能起到專家或?qū)<抑值淖饔谩?/p>
開(kāi)發(fā)專家系統(tǒng)的關(guān)鍵是表示和運(yùn)用專家知識(shí),即來(lái)自領(lǐng)域?qū)<业募罕蛔C明對(duì)解決有關(guān)領(lǐng)域內(nèi)的典型問(wèn)題有用的事實(shí)和過(guò)程目前,專家系統(tǒng)主要采用基于規(guī)則的知識(shí)表示和推理技術(shù)由于領(lǐng)域的知識(shí)更多是不精確或不確定的,因此,不確定的知識(shí)表示與知識(shí)推理是專家系統(tǒng)開(kāi)發(fā)與研究的重要課題此外,專家系統(tǒng)開(kāi)發(fā)工具的研制發(fā)展也很迅速,這對(duì)擴(kuò)大專家系統(tǒng)的應(yīng)用范圍,加快專家系統(tǒng)的開(kāi)發(fā)過(guò)程,將起到積極地促進(jìn)作用隨著計(jì)算機(jī)科學(xué)技術(shù)整體水平的提高,分布式專家系統(tǒng)、協(xié)同式專家系統(tǒng)等新一代專家系統(tǒng)的研究也發(fā)展很快在新一代專家系統(tǒng)中,不但采用基于規(guī)則的推理方法,而且采用了諸如人工神經(jīng)網(wǎng)絡(luò)的方法與技術(shù)。
四、機(jī)器翻譯
機(jī)器翻譯是利用計(jì)算機(jī)把一種自然語(yǔ)言轉(zhuǎn)變成另一種自然語(yǔ)言的過(guò)程,用以完成這一過(guò)程的軟件系統(tǒng)叫做機(jī)器翻譯系統(tǒng)幾十年來(lái),國(guó)內(nèi)外許多專家、學(xué)者為機(jī)器翻譯的研究付出了大量的心血和汗水雖然至今還沒(méi)有一個(gè)實(shí)用、全面、高質(zhì)量的自動(dòng)翻譯系統(tǒng)出現(xiàn),不過(guò)也取得了很大的進(jìn)展,特別是作為人們的輔助翻譯工具,機(jī)器翻譯已經(jīng)得到大多數(shù)人的認(rèn)可目前,國(guó)內(nèi)的機(jī)器翻譯軟件不下百種,根據(jù)這些軟件的翻譯特點(diǎn),大致可以分為三大類:詞典翻譯類、漢化翻譯類和專業(yè)翻譯類詞典類翻譯軟件代表是“金山詞霸”了,堪稱是多快好省的電子詞典,它可以迅速查詢英文單詞或詞組的詞義,并提供單詞的發(fā)音,為用戶了解單詞或詞組含義提供了極大的便利漢化翻譯軟件的典型代表是“東方快車2000”,它首先提出了“智能漢化”的概念,使翻譯軟件的輔助翻譯作用更加明顯以“譯星”、“雅信譯霸”為代表的專業(yè)翻譯系統(tǒng),是面對(duì)專業(yè)或行業(yè)用戶的翻譯軟件,但其專業(yè)翻譯的質(zhì)量與人們的實(shí)用性還有不少差距,有人評(píng)價(jià)說(shuō)“滿篇英文難不住,滿篇中文看不懂”,該說(shuō)法雖然比較極端,但機(jī)譯譯文的質(zhì)量確實(shí)卻一直是個(gè)老大難問(wèn)題這里,我們不妨對(duì)現(xiàn)有的機(jī)譯和人譯過(guò)程作一比較,從中可以看出一些原因:
機(jī)器翻譯:
1.一句一句處理,上下文缺乏聯(lián)系;
2.對(duì)源語(yǔ)言的分析只是求解句法關(guān)系,完全不是意義上的理解;
3.缺乏領(lǐng)域知識(shí),從計(jì)算機(jī)到醫(yī)學(xué),從化工到法律都通用,就換專業(yè)詞典;
4.譯文轉(zhuǎn)換是基于源語(yǔ)言的句法結(jié)構(gòu)的,受源語(yǔ)言的句法結(jié)構(gòu)的束縛;
5.翻譯只是句法結(jié)構(gòu)的和詞匯的機(jī)械對(duì)應(yīng)
人工翻譯:
1.一般會(huì)先通讀全文,會(huì)前后照應(yīng);
2.對(duì)源語(yǔ)言是求得意義上的理解;
3.只有專業(yè)翻譯人員,而沒(méi)有萬(wàn)能翻譯人員;
4.譯文是基于他對(duì)源語(yǔ)言的理解,不受源語(yǔ)言的句法結(jié)構(gòu)的束縛;
5.翻譯是一個(gè)再創(chuàng)造的過(guò)程
在目前的情況下,計(jì)算機(jī)輔助翻譯應(yīng)該是一個(gè)比較好的實(shí)際選擇事實(shí)上,在很多領(lǐng)域中,計(jì)算機(jī)輔助人類工作的方式已經(jīng)得到了廣泛的應(yīng)用,例如CAD軟件如果計(jì)算機(jī)輔助技術(shù)用于語(yǔ)言的翻譯研究,應(yīng)該同樣可以起到很大的輔助作用,這就是所謂的“計(jì)算機(jī)輔助翻譯”它集機(jī)器記憶式翻譯、語(yǔ)法分析式翻譯和人際交互式翻譯為一體,把翻譯過(guò)程中機(jī)械、重復(fù)、瑣碎的工作交給計(jì)算機(jī)來(lái)完成這樣,翻譯者只需將精力集中在創(chuàng)造性的思考上,有利于工作效率的提高。
機(jī)器翻譯研究歸根結(jié)底是一個(gè)知識(shí)處理問(wèn)題,它涉及到有關(guān)語(yǔ)言內(nèi)的知識(shí)、語(yǔ)言間的知識(shí)、以及語(yǔ)言外的世界知識(shí),其中包括常識(shí)和相關(guān)領(lǐng)域的專門(mén)知識(shí)隨著因特網(wǎng)的普及與發(fā)展,機(jī)器翻譯的應(yīng)用前景十分廣闊作為人類探索自己智能和操作知識(shí)的機(jī)制的窗口,機(jī)器翻譯的研究與應(yīng)用將更加誘人國(guó)際上有關(guān)專家分析認(rèn)為機(jī)器翻譯要想達(dá)到類似人工翻譯一樣的流暢程度,至少還要經(jīng)歷15年時(shí)間的持續(xù)研究,但在人類對(duì)語(yǔ)言研究還沒(méi)有清楚“人腦是如何進(jìn)行語(yǔ)言的模糊識(shí)別和判斷”的情況下,機(jī)器翻譯要想達(dá)到100%的準(zhǔn)確率是不可能的。
五、人工智能思想的應(yīng)用:在家里尋找外星人
人工智能的基本思想已經(jīng)在許多領(lǐng)域中得到了應(yīng)用,“在家里尋找外星人”(SETI@home)項(xiàng)目就是利用人工智能的神經(jīng)網(wǎng)絡(luò)和網(wǎng)格計(jì)算思想的一個(gè)成功案例SETI@home是SearchforExtraTerrestrialIntelligenceatHome的縮寫(xiě),意為:在家里尋找外星文明該項(xiàng)目由美國(guó)行星學(xué)會(huì)和美國(guó)加州大學(xué)伯克利分校于1999年5月17日開(kāi)始啟動(dòng),它利用特定的PC機(jī)屏幕保護(hù)程序,來(lái)調(diào)用全球上網(wǎng)的個(gè)人計(jì)算機(jī)的閑置能力,分析世界上最大的射電望遠(yuǎn)鏡獲得的數(shù)據(jù),幫助科學(xué)家探索外星生物其計(jì)算模式的實(shí)質(zhì)就是網(wǎng)格計(jì)算:
SETI@home項(xiàng)目的大致流程是這樣的:
1.政府或者研究部門(mén)將一項(xiàng)需要巨大運(yùn)算量的任務(wù)以程序和數(shù)據(jù)的形式提交給服務(wù)器
2.服務(wù)器將數(shù)據(jù)和程序代碼分成更小的部分,也稱“子任務(wù)”
3.在志愿者的PC機(jī)上安裝一種特殊的客戶程序(事實(shí)上是一個(gè)屏幕保護(hù)程序),它能自動(dòng)同服務(wù)器聯(lián)絡(luò),自動(dòng)下載和處理子任務(wù)
4.子任務(wù)處理完后的結(jié)果被送回服務(wù)器然后,客戶程序下載新的子任務(wù),繼續(xù)處理
5.一旦所有的子任務(wù)處理完畢,服務(wù)器就將各種結(jié)果匯總,生成最后的報(bào)告,并把最終結(jié)果發(fā)回提交人
關(guān)鍵詞:人工智能;理論傳授;實(shí)驗(yàn)訓(xùn)練;科研訓(xùn)練
人工智能(Artificial Intelligence,AI)是計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)的一門(mén)重要專業(yè)課程,是一門(mén)研究運(yùn)用計(jì)算機(jī)模擬和延伸人腦功能的綜合性學(xué)科。它研究如何用計(jì)算機(jī)模仿人腦所從事的推理、證明、識(shí)別、理解、設(shè)計(jì)、學(xué)習(xí)、思考、規(guī)劃以及問(wèn)題求解等思維活動(dòng),并以此解決需要人類專家才能處理的復(fù)雜問(wèn)題,例如咨詢、診斷、預(yù)測(cè)、規(guī)劃等決策性問(wèn)題[1]。人工智能是一門(mén)涉及數(shù)學(xué)、計(jì)算機(jī)、控制論、信息學(xué)、心理學(xué)、哲學(xué)等學(xué)科的交叉和綜合學(xué)科。目前,人工智能很多研究領(lǐng)域,如自然語(yǔ)言處理、模式識(shí)別、機(jī)器學(xué)習(xí)、數(shù)據(jù)挖掘、智能檢索、機(jī)器人技術(shù)、智能計(jì)算等都走在了信息技術(shù)的前沿,有許多研究成果已經(jīng)進(jìn)入并影響了人們的生活。
2003年12月5日,國(guó)內(nèi)第一個(gè)“智能科學(xué)與技術(shù)”本科專業(yè)在北京大學(xué)誕生[2],它標(biāo)志著我國(guó)智能科學(xué)與技術(shù)本科教育的開(kāi)始,對(duì)我國(guó)智能科學(xué)技術(shù)人才培養(yǎng)和智能科學(xué)與技術(shù)學(xué)科建設(shè)起到極大的帶動(dòng)作用。目前,人工智能課程的教學(xué)存在幾個(gè)問(wèn)題:首先,注重講授理論知識(shí),實(shí)驗(yàn)環(huán)節(jié)滯后,這不利于培養(yǎng)學(xué)生的實(shí)踐能力,更談不上實(shí)踐創(chuàng)新。其次,人工智能是交叉學(xué)科,內(nèi)容比較繁雜,各種教材的內(nèi)容不一樣,授課沒(méi)有統(tǒng)一的體系,學(xué)生學(xué)習(xí)時(shí)抓不住重點(diǎn),不能理解人工智能的根本方法和思想。一般說(shuō)來(lái),計(jì)算機(jī)專業(yè)的其他課程,如網(wǎng)絡(luò)技術(shù)、數(shù)據(jù)庫(kù)技術(shù)、算法分析與設(shè)計(jì)等,都是求解結(jié)構(gòu)化問(wèn)題的基本技術(shù),而人工智能技術(shù)則是解決非結(jié)構(gòu)化、半結(jié)構(gòu)化問(wèn)題的有效技術(shù)。最后,人工智能科學(xué)與技術(shù)飛速發(fā)展,但目前人工智能只被視為一門(mén)專業(yè)課,課程講授和人工智能沒(méi)有作為一個(gè)研究方向結(jié)合起來(lái),也沒(méi)有把傳授課本知識(shí)和引導(dǎo)啟發(fā)創(chuàng)新結(jié)合起來(lái)。
適應(yīng)知識(shí)經(jīng)濟(jì)發(fā)展的高等教育,要把培養(yǎng)創(chuàng)造精神和創(chuàng)新能力擺在突出的位置。創(chuàng)新是基礎(chǔ)研究的生命,而高等學(xué)校的教學(xué)只有與科研緊密結(jié)合,才能在培養(yǎng)學(xué)生的創(chuàng)新精神方面有所作為。為此,針對(duì)人工智能的課程特點(diǎn),我們積極開(kāi)展研究型教學(xué)、研究型學(xué)習(xí),提高大學(xué)生的學(xué)習(xí)能力、實(shí)踐能力和創(chuàng)新能力的研究與實(shí)踐。在教材上,我們選用了清華大學(xué)出版社出版、馬少平等編寫(xiě)的《人工智能》。我們的教學(xué)研究與實(shí)踐的主要內(nèi)容包括三個(gè)方面:啟發(fā)式傳授人工智能解決問(wèn)題的非結(jié)構(gòu)化的思想;成體系的實(shí)驗(yàn)訓(xùn)練;以及與畢業(yè)論文,學(xué)校大學(xué)生科研項(xiàng)目資助計(jì)劃,國(guó)家大學(xué)生創(chuàng)新性實(shí)驗(yàn)計(jì)劃相對(duì)接的科研訓(xùn)練。這三個(gè)主要方面,層層遞進(jìn)、環(huán)環(huán)相扣,是體系完整的創(chuàng)新型人工智能教學(xué)實(shí)踐。下面,我們就這三個(gè)方面內(nèi)容展開(kāi)探討。
1啟發(fā)式傳授人工智能解決問(wèn)題的非結(jié)構(gòu)化思想
現(xiàn)實(shí)世界的問(wèn)題可以按照結(jié)構(gòu)化程度劃分成三個(gè)層次[1]:1)結(jié)構(gòu)化問(wèn)題,能用形式化(或稱公式化)方法描述和求解的一類問(wèn)題;2)非結(jié)構(gòu)化問(wèn)題,難以用確定的形式來(lái)描述,主要根據(jù)經(jīng)驗(yàn)來(lái)求解;3)半結(jié)構(gòu)化問(wèn)題,介于上述兩者之間。一般說(shuō)來(lái),計(jì)算機(jī)專業(yè)的其他課程如網(wǎng)絡(luò)技術(shù)、數(shù)據(jù)庫(kù)技術(shù)、算法分析與設(shè)計(jì)等,都是求解結(jié)構(gòu)化問(wèn)題的基本技術(shù)。而人工智能技術(shù)則是解決非結(jié)構(gòu)化、半結(jié)構(gòu)化問(wèn)題的有效技術(shù)。人工智能的教學(xué)可以讓學(xué)生在體驗(yàn)、認(rèn)識(shí)人工智能知識(shí)與技術(shù)的過(guò)程中獲得對(duì)非結(jié)構(gòu)化、半結(jié)構(gòu)化問(wèn)題的解決過(guò)程的了解,從而達(dá)到培養(yǎng)學(xué)生多角度思維的目的。
我們使用的教材主要內(nèi)容包括搜索和高級(jí)搜素、謂詞邏輯和歸結(jié)原理、知識(shí)表示、不確定性推理方法、機(jī)器學(xué)習(xí)等。這些主要內(nèi)容也可以相應(yīng)地歸結(jié)為若干個(gè)典型算法,如啟發(fā)式A*搜索算法、 剪枝算法、元啟發(fā)式算法(模擬退火,遺傳算法)、謂詞邏輯歸結(jié)算法、貝葉斯網(wǎng)絡(luò)、決策樹(shù)、神經(jīng)網(wǎng)絡(luò)(BP算法、自組織網(wǎng)絡(luò)和Hopfield神經(jīng)網(wǎng)絡(luò)算法)。元啟發(fā)式算法是一種啟發(fā)式的隨機(jī)算法,是用來(lái)解決非結(jié)構(gòu)化問(wèn)題的典型算法,其思想和傳統(tǒng)的決定性算法如動(dòng)態(tài)規(guī)劃、分支限界完全不一樣。學(xué)生在剛一接觸到這些元啟發(fā)式算法一時(shí)難以接受和理解其機(jī)理,對(duì)算法的有效性往往半信半疑。根據(jù)非結(jié)構(gòu)化、半結(jié)構(gòu)化問(wèn)題的特點(diǎn),講解和演示算法在解決此類問(wèn)題的具體步驟和詳細(xì)過(guò)程,從而讓學(xué)生掌握人工智能算法的基本思想。在講解不同的元啟發(fā)式算法的時(shí)候,學(xué)生會(huì)問(wèn),是模擬退火算法強(qiáng),還是遺傳算法強(qiáng);在講到機(jī)器學(xué)習(xí)算法的時(shí)候,學(xué)生會(huì)問(wèn)到底哪個(gè)分類算法最好,這時(shí)候我們可以把搜索(優(yōu)化)領(lǐng)域和機(jī)器學(xué)習(xí)領(lǐng)域的“沒(méi)有免費(fèi)午餐”定理進(jìn)行適當(dāng)?shù)闹v解和解釋,從而把具體算法實(shí)現(xiàn)層面之上的一些人工智能的哲學(xué)思想進(jìn)行傳授。
在人工智能的具體教學(xué)中,采用問(wèn)題教學(xué)法和參與式教學(xué)法。在問(wèn)題教學(xué)法中,圍繞人工智能的知識(shí)模塊,在引導(dǎo)學(xué)生發(fā)現(xiàn)各種各樣問(wèn)題的前提下,傳授知識(shí)。教學(xué)活動(dòng)中,嘗試使人工智能知識(shí)圍繞實(shí)際問(wèn)題而展現(xiàn),使問(wèn)題不僅成為激發(fā)學(xué)生求知欲的前提,也成為學(xué)生期盼、理解和吸收知識(shí)的前提,以此激發(fā)學(xué)生的創(chuàng)造動(dòng)機(jī)和創(chuàng)造性思維。在參與式教學(xué)中,打破人工智能算法的枯燥、沉悶的傳統(tǒng)教學(xué)法,嘗試開(kāi)放式教學(xué)內(nèi)容;提問(wèn)式講課;無(wú)標(biāo)準(zhǔn)答案的課程設(shè)計(jì);查找文獻(xiàn),分組動(dòng)手實(shí)現(xiàn)人工智能算法等參與式教學(xué)方法,培養(yǎng)和發(fā)揚(yáng)學(xué)生的參與意識(shí),通過(guò)參與式教學(xué)提高學(xué)生學(xué)習(xí)的主動(dòng)性、積極性和效率,培養(yǎng)學(xué)生的動(dòng)手能力和創(chuàng)新能力。
2成體系的實(shí)驗(yàn)訓(xùn)練
獨(dú)立開(kāi)展人工智能實(shí)驗(yàn)課程,開(kāi)發(fā)一批新型、富有創(chuàng)意的實(shí)驗(yàn)案例庫(kù),搭建一個(gè)創(chuàng)新實(shí)驗(yàn)和虛擬學(xué)習(xí)社區(qū)平臺(tái)。人工智能實(shí)驗(yàn)課程的特點(diǎn)是應(yīng)用各種人工智能方法,根據(jù)問(wèn)題的約束、結(jié)構(gòu)、信息進(jìn)行表示建模和計(jì)算機(jī)上實(shí)現(xiàn),是與人工智能原理同步的實(shí)驗(yàn)課程。學(xué)生必須掌握的人工智能的基本原理和計(jì)算機(jī)操作技能,它對(duì)于學(xué)生的知識(shí)、能力和綜合素質(zhì)的培養(yǎng)與提高起著至關(guān)重要的作用,在整個(gè)教學(xué)過(guò)程中占有非常重要的地位,是計(jì)算機(jī)軟件、計(jì)算機(jī)應(yīng)用、計(jì)算機(jī)網(wǎng)絡(luò)、軟件工程等專業(yè)的一門(mén)重要的必修專業(yè)課程。通過(guò)實(shí)驗(yàn),學(xué)生得到嚴(yán)格的訓(xùn)練,能規(guī)范地掌握人工智能的基本理論和主要方法、基本問(wèn)題求解技術(shù),熟悉各種計(jì)算環(huán)境的基本使用。
在培養(yǎng)學(xué)生掌握實(shí)驗(yàn)的基本操作、基本技能和基本知識(shí)的同時(shí),努力培養(yǎng)學(xué)生的創(chuàng)新意識(shí)與創(chuàng)新能力。為實(shí)現(xiàn)這一目標(biāo),在課程內(nèi)容安排上采用適量基本原理與方法的實(shí)驗(yàn)內(nèi)容為基本內(nèi)容,增加一系列綜合性實(shí)驗(yàn)和開(kāi)放性創(chuàng)新實(shí)驗(yàn)問(wèn)題,在實(shí)驗(yàn)內(nèi)容方面更注重研究性實(shí)驗(yàn)中的創(chuàng)新問(wèn)題。實(shí)驗(yàn)內(nèi)容方面分為三個(gè)層次:基本原理的基礎(chǔ)性實(shí)驗(yàn)、綜合實(shí)驗(yàn)和研究性實(shí)驗(yàn)。在后兩個(gè)層次的實(shí)驗(yàn)中,部分引入人工智能課程小組團(tuán)隊(duì)的最新科研成果,目的在于通過(guò)完成這些研究性實(shí)驗(yàn),培養(yǎng)學(xué)生獨(dú)立解決實(shí)際問(wèn)題的能力,以提升學(xué)生的科研素質(zhì)與創(chuàng)新意識(shí)。我們將這些設(shè)計(jì)實(shí)驗(yàn)稱為新型實(shí)驗(yàn)案例庫(kù),它被放在人工智能課程小組網(wǎng)站上,以此搭建一個(gè)創(chuàng)新實(shí)驗(yàn)和虛擬學(xué)習(xí)社區(qū)平臺(tái)。通過(guò)實(shí)驗(yàn)課程的學(xué)習(xí)和訓(xùn)練,學(xué)生應(yīng)達(dá)到下列要求。
1) 掌握人工智能方法的優(yōu)點(diǎn)及其在實(shí)際中的應(yīng)用。
2) 學(xué)會(huì)對(duì)人工智能問(wèn)題進(jìn)行分析建模和應(yīng)用各種計(jì)算工具實(shí)現(xiàn)問(wèn)題求解,熟悉對(duì)實(shí)驗(yàn)現(xiàn)象的觀察和記錄,實(shí)驗(yàn)數(shù)據(jù)的獲取與設(shè)計(jì),最佳實(shí)驗(yàn)條件的判斷和選擇,實(shí)驗(yàn)結(jié)果的分析和討論等一套嚴(yán)謹(jǐn)?shù)膶?shí)驗(yàn)方法。
3) 鞏固并加深對(duì)人工智能原理課程的基本原理和概念的理解,培養(yǎng)學(xué)生勤奮學(xué)習(xí),求真求實(shí)的科學(xué)品德,培養(yǎng)學(xué)生的動(dòng)手能力、觀察能力、查閱文獻(xiàn)能力、思維能力、想象能力、表達(dá)能力。
4) 通過(guò)完成綜合研究性實(shí)驗(yàn),培養(yǎng)學(xué)生獨(dú)立解決實(shí)際問(wèn)題的能力,提高學(xué)生的科研素質(zhì)與創(chuàng)新意識(shí)。
在培養(yǎng)學(xué)生掌握實(shí)驗(yàn)的基本操作、基本技能和基本知識(shí)的同時(shí),進(jìn)一步培養(yǎng)學(xué)生分析問(wèn)題和解決問(wèn)題的能力,培養(yǎng)學(xué)生的創(chuàng)新意識(shí)、創(chuàng)新精神和創(chuàng)新能力,為學(xué)生今后從事科研、教學(xué)或企事業(yè)單位的分析檢驗(yàn)以及新技術(shù)的研發(fā)工作打下扎實(shí)的基礎(chǔ)。
在實(shí)驗(yàn)組織方面,根據(jù)各實(shí)驗(yàn)的目的和要求,學(xué)生分為5人1組,指定一個(gè)組長(zhǎng),每組選擇1套實(shí)驗(yàn)題目?;A(chǔ)實(shí)驗(yàn)題目要求達(dá)到27學(xué)時(shí)、綜合性實(shí)驗(yàn)題目選擇1題和研究性實(shí)驗(yàn)題目選擇1題,基礎(chǔ)實(shí)驗(yàn)題目要求在規(guī)定時(shí)間內(nèi),小組獨(dú)立完成實(shí)驗(yàn)測(cè)定、數(shù)據(jù)處理,并撰寫(xiě)實(shí)驗(yàn)報(bào)告。實(shí)驗(yàn)過(guò)程中, 要求學(xué)生勤于動(dòng)手, 敏銳觀察, 細(xì)心操作, 開(kāi)動(dòng)腦筋, 分析鉆研問(wèn)題, 準(zhǔn)確記錄原始數(shù)據(jù), 經(jīng)教師檢查,實(shí)驗(yàn)及其原始數(shù)據(jù)記錄才有效。同時(shí),團(tuán)隊(duì)作業(yè),需要多人分工合作、相互幫助,這樣可以提高人際交往和溝通能力,學(xué)會(huì)與他人合作,培養(yǎng)團(tuán)隊(duì)創(chuàng)新能力。
3課程學(xué)習(xí)與畢業(yè)論文,科研訓(xùn)練相結(jié)合
人工智能技術(shù)在一定程度上代表著信息技術(shù)的前沿和未來(lái),通過(guò)學(xué)習(xí)和體驗(yàn)人工智能的知識(shí)和技術(shù),學(xué)生能夠在一定程度上了解信息技術(shù)發(fā)展的前沿知識(shí),這有助學(xué)生開(kāi)闊視野、培養(yǎng)興趣,為今后繼續(xù)深造或走向社會(huì)奠定堅(jiān)實(shí)的基礎(chǔ)[3-4]。
人工智能的理論和方法廣泛應(yīng)用于數(shù)據(jù)挖掘、機(jī)器學(xué)習(xí)、模式識(shí)別、圖像處理中,這些內(nèi)容既是高年級(jí)的后續(xù)課程,又是現(xiàn)在熱門(mén)的研究方向。學(xué)習(xí)和深刻理解人工智能的理論、方法和應(yīng)用,對(duì)后續(xù)課程學(xué)習(xí)以及今后的研究具有重要的意義。
我院規(guī)定大學(xué)三年級(jí)的學(xué)生開(kāi)始聯(lián)系畢業(yè)論文指導(dǎo)導(dǎo)師,同時(shí)確定畢業(yè)論文的研究方向,提前進(jìn)行科研實(shí)踐,以培養(yǎng)實(shí)踐能力和研究素質(zhì)。人工智能課程正好是大三高年級(jí)開(kāi)設(shè)的專業(yè)課,因此,我們把課程實(shí)驗(yàn)及設(shè)計(jì)與同學(xué)的興趣相結(jié)合,引導(dǎo)學(xué)生,并提煉和形成學(xué)生的畢業(yè)選題和課外的科研方向,它是提高本科生研究創(chuàng)新能力的有效手段。
基于新的教學(xué)實(shí)踐,很多學(xué)生的選題都與上述歸納的人工智能若干算法相關(guān),如算法本身的研究和改進(jìn),或是算法在各領(lǐng)域,如數(shù)據(jù)挖掘、圖像處理等的應(yīng)用。在我們的科研能力訓(xùn)練計(jì)劃中,一批項(xiàng)目和課題,如混合神經(jīng)網(wǎng)絡(luò)的研究與應(yīng)用、差分演化算法研究與應(yīng)用、基于協(xié)同訓(xùn)練的推薦系統(tǒng)等,分別受到國(guó)家和學(xué)校本科生科研項(xiàng)目立項(xiàng)資助。一批三四年級(jí)的本科生以第一作者身份在國(guó)內(nèi)核心期刊、國(guó)際會(huì)議和期刊上發(fā)表學(xué)術(shù)論文,這激發(fā)了學(xué)生的科研興趣,使學(xué)生體會(huì)到了創(chuàng)新的樂(lè)趣。
總之,課程學(xué)習(xí)與畢業(yè)論文、學(xué)校大學(xué)生科研項(xiàng)目資助計(jì)劃、國(guó)家大學(xué)生創(chuàng)新性實(shí)驗(yàn)計(jì)劃相對(duì)接的科研訓(xùn)練,極大地提升了學(xué)生的創(chuàng)新能力和科研基本素質(zhì)。
4結(jié)語(yǔ)
針對(duì)人工智能的課程特點(diǎn),我們積極開(kāi)展研究型教學(xué)、研究型學(xué)習(xí),提高大學(xué)生的學(xué)習(xí)能力、實(shí)踐能力和創(chuàng)新能力的研究與實(shí)踐。我們的教學(xué)研究與實(shí)踐主要內(nèi)容包括三個(gè)方面:啟發(fā)式傳授人工智能解決問(wèn)題的非結(jié)構(gòu)化的思想;成體系的實(shí)驗(yàn)訓(xùn)練;以及與畢業(yè)論文、學(xué)校大學(xué)生科研項(xiàng)目資助計(jì)劃、國(guó)家大學(xué)生創(chuàng)新性實(shí)驗(yàn)計(jì)劃相對(duì)接的科研訓(xùn)練。這三個(gè)主要方面,層層遞進(jìn)、環(huán)環(huán)相扣,是體系完整的創(chuàng)新型人工智能教學(xué)實(shí)踐,新的改革和實(shí)踐在教學(xué)中取得了令人滿意效果。
參考文獻(xiàn):
[1] 張劍平. 關(guān)于人工智能教育的思考[J]. 電化教育研究,2003(1):24-28.
[2] 謝昆青. 第一個(gè)智能科學(xué)技術(shù)專業(yè)[J]. 計(jì)算機(jī)教育,2009(11):16-20.
[3] 羅輝,梁艷春. 大學(xué)生畢業(yè)論文與科研能力培養(yǎng)及就業(yè)[J]. 吉林教育,2003(10):18.
[4] 金聰,劉金安. 人工智能教育在能力培養(yǎng)中的作用及改革設(shè)想[J]. 計(jì)算機(jī)時(shí)代,2006(9):66-69.
Reform and Practice of Innovative Teaching in Artificial Intelligence
WANG Jia-hai, YIN Jian, LING Ying-biao
(Department of Computer Science, Sun Yat-sen University, Guangzhou 510006, China)
Abstract: In view of the characteristics of artificial intelligence curriculum, including abstract content and complex algorithm, and the actual needs of undergraduate teaching, combined with teaching practice, this paper discusses and sums up the teaching reform and innovation of undergraduate artificial intelligence curriculum from the teaching system, teaching content, teaching methods and assessment methods.
P鍵詞: 人工智能;創(chuàng)新;本科
Key words: artificial intelligence;innovation;undergraduate
中圖分類號(hào):G642 文獻(xiàn)標(biāo)識(shí)碼:A 文章編號(hào):1006-4311(2017)22-0230-02
0 引言
人工智能是計(jì)算機(jī)科學(xué)的一個(gè)分支,是當(dāng)前科學(xué)技術(shù)中正在迅速發(fā)展、新思想、新觀點(diǎn)、新理論、新技術(shù)不斷涌現(xiàn)的一個(gè)學(xué)科,其屬于一門(mén)邊緣學(xué)科,同時(shí)也是多個(gè)學(xué)科交叉而成的一門(mén)學(xué)科,包括語(yǔ)言學(xué)、哲學(xué)、心理學(xué)、神經(jīng)生理學(xué)、系統(tǒng)論、信息論、控制論、計(jì)算機(jī)科學(xué)、數(shù)學(xué)等[1]。當(dāng)前人工智能已經(jīng)是很多高校計(jì)算機(jī)相關(guān)專業(yè)的必修課程,它是計(jì)算機(jī)科學(xué)與技術(shù)學(xué)科類各專業(yè)重要的基礎(chǔ)課程,其教學(xué)內(nèi)容主要包括自然語(yǔ)言理解、計(jì)算智能技術(shù)、問(wèn)題求解和搜索算法、知識(shí)表示和推理機(jī)制、專家系統(tǒng)和機(jī)器學(xué)習(xí)等,國(guó)內(nèi)外很多大學(xué)都意識(shí)到了其重要性,紛紛對(duì)其展開(kāi)了教學(xué)和研究。人工智能課程包含多個(gè)學(xué)科,具有內(nèi)容抽象、理論性強(qiáng)、知識(shí)點(diǎn)多等特點(diǎn),且算法復(fù)雜,但是多數(shù)高校采用的教學(xué)方式仍是傳統(tǒng)的課堂教學(xué)方式,即“教師講、學(xué)生聽(tīng)”的教學(xué)模式,這種信息單向傳輸教學(xué)模式以教師為主體,學(xué)生只是在被動(dòng)的接收知識(shí);存在過(guò)分重視理論教學(xué),忽視實(shí)踐活動(dòng)教學(xué)的問(wèn)題,導(dǎo)致教育內(nèi)容無(wú)法和社會(huì)接軌;人工智能教材理論性過(guò)強(qiáng),學(xué)生在學(xué)習(xí)過(guò)程中常常感到枯燥乏味,進(jìn)而對(duì)學(xué)習(xí)該課程失去熱情[2],久而久之,不僅人工智能課程的教學(xué)質(zhì)量和效果無(wú)法達(dá)到預(yù)期,甚至學(xué)生還會(huì)產(chǎn)生厭學(xué)心理。針對(duì)人工智能課程中現(xiàn)有的各項(xiàng)問(wèn)題,本文作者結(jié)合自身豐富人工智能教學(xué)實(shí)踐經(jīng)驗(yàn),參考人工智能課程特點(diǎn)和教學(xué)目標(biāo),從多個(gè)方面探討和總結(jié)了人工智能,包括教學(xué)內(nèi)容、教材選擇、教學(xué)方法和考核形式等。
1 教學(xué)內(nèi)容優(yōu)化與更新
人工智能是一門(mén)嶄新的學(xué)科。開(kāi)設(shè)本課程首先是確定教學(xué)內(nèi)容。通常來(lái)講,人工智能學(xué)科的內(nèi)容包括兩個(gè)部分,具體:一是知識(shí)表示和推理;二是人工智能的應(yīng)用。前者是人工智能的重要基礎(chǔ),后者主要介紹了幾種人工智能應(yīng)用系統(tǒng),包括自動(dòng)規(guī)劃和機(jī)器視覺(jué)、機(jī)器學(xué)習(xí)、專家系統(tǒng)等。另外,課程內(nèi)容中還包括了一些人工智能應(yīng)用的實(shí)例,將實(shí)踐和理論緊密結(jié)合起來(lái)[3]。
隨著時(shí)代的發(fā)展和科技的進(jìn)步,人工智能學(xué)科也取得了較大發(fā)展?;诖?,人工智能學(xué)科也應(yīng)該與時(shí)俱進(jìn),更新人工智能教學(xué)大綱,進(jìn)一步完善其教學(xué)內(nèi)容。修訂后的人工智能教學(xué)大綱將人工智能分成兩個(gè)部分,即基礎(chǔ)部分和擴(kuò)展應(yīng)用部分。前者包括計(jì)算智能、搜索原理、知識(shí)表示等,后者包括智能機(jī)器人、智能控制、多智能體、自然語(yǔ)言理解、自動(dòng)規(guī)劃、機(jī)器學(xué)習(xí)、知識(shí)工程等。
教學(xué)內(nèi)容的選擇和確定應(yīng)綜合考慮多項(xiàng)因素,不僅要重視基礎(chǔ)知識(shí),也應(yīng)注意推陳出新,隨著科技的進(jìn)步做到與時(shí)俱進(jìn),同時(shí)教學(xué)內(nèi)容應(yīng)符合現(xiàn)實(shí)的需求,能夠與社會(huì)接軌,將理論和實(shí)踐緊密結(jié)合起來(lái),只有這樣人工智能課程的教學(xué)質(zhì)量和效果才能事半功倍。
2 教學(xué)策略及教學(xué)方法的改革創(chuàng)新
由于人工智能課程具有算法復(fù)雜、內(nèi)容抽象、理論性強(qiáng)、 知識(shí)點(diǎn)多的特點(diǎn),傳統(tǒng)的教學(xué)模式已經(jīng)無(wú)法滿足人工智能課程的需求,教師應(yīng)探索更加有效的教學(xué)模式和方法,確保人工智能課程能夠取得良好的教學(xué)質(zhì)量和教學(xué)效果。具體的改革和創(chuàng)新人工智能課程的手段和方法主要包括以下幾個(gè)方面:
2.1 激發(fā)學(xué)生的學(xué)習(xí)興趣 無(wú)論是經(jīng)驗(yàn)還是常識(shí)都在告訴我們每個(gè)人最好的老師就是興趣,學(xué)生只有對(duì)某門(mén)學(xué)科存在興趣,才會(huì)更加主動(dòng)積極的學(xué)習(xí)該門(mén)課程,從而獲得良好的教學(xué)效果。比如,作者在課程的一開(kāi)始先播放了一段著名導(dǎo)演斯蒂文?斯皮爾伯格的《Artificial Intelligence》的相關(guān)片段,由這個(gè)電影學(xué)生知道了世上存在人工智能的機(jī)器人,學(xué)生們隨著電影情節(jié)的發(fā)展而深深感動(dòng),與此同時(shí)教師讓學(xué)生思考和談?wù)撊斯ぶ悄苁鞘裁??研究人工智能的意義在哪里?實(shí)踐發(fā)現(xiàn),在課堂中加入電影因素,能夠大大提升學(xué)生們的注意力,讓學(xué)生更加專注在教學(xué)任務(wù)中,有效提高了學(xué)生探索人工智能的積極性和主動(dòng)性。此外,在教學(xué)中還可以用動(dòng)畫(huà)、視頻、圖片等手段將反映人工智能最新研究和應(yīng)用的成果展示出來(lái),讓學(xué)生更直觀的感受人工智能的奧妙,從而投入更多熱情學(xué)習(xí)人工智能課程。
2.2 面向問(wèn)題的案例教學(xué)法 案例教學(xué)法是一種以案例為基礎(chǔ)、以能力培養(yǎng)為核心的一種教學(xué)方法[11]。針對(duì)學(xué)校學(xué)生特點(diǎn),我們采取了以下幾種教學(xué)形式實(shí)施案例教學(xué)。①講解式案例教學(xué):這種案例通過(guò)教師的講解,幫助學(xué)生理解抽象的理論知識(shí)點(diǎn)。案例的呈現(xiàn)有兩種基本形式:一是“案例―理論”,即先給出教學(xué)案例,然后再講解理論知識(shí);二是“理論―案例”,即教師先講解理論知識(shí),再給出教學(xué)案例;通過(guò)情境體驗(yàn)與案例剖析激發(fā)學(xué)生認(rèn)知的興趣,引導(dǎo)學(xué)生對(duì)將要學(xué)習(xí)的內(nèi)容產(chǎn)生注意,有利于教師導(dǎo)入新課。②討論式案例教學(xué):在課程初期將學(xué)生分成若干學(xué)習(xí)小組,每小組3~4人;教師將提前設(shè)計(jì)好的一題多解的教學(xué)案例以及收集的相關(guān)資料分配給每個(gè)小組,要求學(xué)生在課余時(shí)間通過(guò)自學(xué)和組內(nèi)討論的方式給出問(wèn)題的不同解決方案。③辯論式案例教學(xué):在課程后期,采取專題辯論的方式對(duì)綜合應(yīng)用案例進(jìn)行討論,能有效地啟發(fā)學(xué)生全方位地思考和探索問(wèn)題的解決方法,加深學(xué)生對(duì)人工智能的理解。
2.3 個(gè)性化學(xué)習(xí)與因材施教 在開(kāi)展課程教育過(guò)程中應(yīng)注意對(duì)學(xué)生進(jìn)行個(gè)性化教學(xué),結(jié)合學(xué)生特點(diǎn)因材施教。比如,在日常教學(xué)中多觀察學(xué)生情況,鼓勵(lì)那些應(yīng)對(duì)教學(xué)任務(wù)后仍存在余力的W生深入探索較深層次的課程及相關(guān)知識(shí),同時(shí)友善面對(duì)學(xué)習(xí)較差的學(xué)生,分析其學(xué)習(xí)過(guò)程中面對(duì)的困難,有的放矢地采取應(yīng)對(duì)措施,幫助其不斷進(jìn)步;在教學(xué)過(guò)程中讓學(xué)生以讀書(shū)報(bào)告的形式多多思考,鼓勵(lì)學(xué)生發(fā)散性思考問(wèn)題,鼓勵(lì)優(yōu)秀學(xué)生進(jìn)行深一步的探討,并且教師應(yīng)幫助具有新穎思想或論點(diǎn)的學(xué)生將其智慧以科技論文和發(fā)表文章的形式轉(zhuǎn)化為成果。
2.4 注重綜合能力培養(yǎng) 在研究型教學(xué)中任務(wù)驅(qū)動(dòng)是一種常用的教學(xué)方法,其中心導(dǎo)向是任務(wù),學(xué)生在完成任務(wù)的同時(shí)也在吸收和掌握知識(shí)。通常來(lái)講,該教學(xué)方法的步驟是:教師提出任務(wù)師生共同分析以得出完成任務(wù)的方法和步驟適當(dāng)講解或自學(xué)、協(xié)作學(xué)習(xí)完成任務(wù)交流和總結(jié)?!盵3]該教學(xué)模式不僅有利于培養(yǎng)學(xué)生的創(chuàng)新能力和創(chuàng)新意識(shí),還能夠培養(yǎng)學(xué)生解決實(shí)際問(wèn)題的能力,提高其綜合實(shí)力。不僅如此,由于該教學(xué)模式通常是以小組協(xié)作的方式進(jìn)行,教師給出研究范圍,學(xué)生自愿結(jié)組并選擇具體的題目,經(jīng)過(guò)分析和討論后以程序設(shè)計(jì)或者論文的形式協(xié)作完成研究。由此可知,學(xué)生是在以團(tuán)隊(duì)的力量解決問(wèn)題,這十分考驗(yàn)學(xué)生的團(tuán)隊(duì)協(xié)作能力,對(duì)于學(xué)生團(tuán)隊(duì)合作精神的培養(yǎng)至關(guān)重要,且在完成任務(wù)的過(guò)程中學(xué)生需要查閱大量的資料,久而久之學(xué)生收集資料和創(chuàng)新能力勢(shì)必會(huì)得到提升。
2.5 采用啟發(fā)式教學(xué) 人工智能的很多問(wèn)題都較為抽象,對(duì)學(xué)生理解力的要求較高,因此,在實(shí)際的教學(xué)過(guò)程中教師應(yīng)有意識(shí)的就課程內(nèi)容提出相關(guān)問(wèn)題,讓學(xué)生自己獨(dú)立思考,鼓勵(lì)學(xué)生提出自己的想法和解決方案。然后回歸到課程上,對(duì)比分析教材上的解決方案和學(xué)生自己的解決方案,如此不僅培養(yǎng)了學(xué)生獨(dú)立思考的能力,也增加了學(xué)生參與教學(xué)活動(dòng)的意識(shí),提高了學(xué)生的學(xué)習(xí)熱情。比如,在講到較為抽象的“遺傳算法”時(shí),先提出一個(gè)問(wèn)題,即“遺傳算法如何用于優(yōu)化計(jì)算?”,然后從“達(dá)爾文的生物進(jìn)化論”入手,討論“遺傳”、“變異”和“選擇”作用,之后舉例分析,啟發(fā)學(xué)生思考“遺傳”、“變異”和“選擇”的實(shí)現(xiàn),最后師生一起導(dǎo)出遺傳算法用于優(yōu)化計(jì)算的基本步驟。如此既完成了教授遺傳算法的目的,也鍛煉了學(xué)生邏輯思維的能力,教學(xué)效果良好[4]。
3 作業(yè)和考核方式的改革創(chuàng)新
過(guò)去的課程作業(yè)都是單一書(shū)面習(xí)題作業(yè),發(fā)展至今,課程作業(yè)形式已經(jīng)發(fā)生了變化,更加豐富多樣,包括必須交給教師評(píng)閱的書(shū)面家庭作業(yè)和不必交給教師的課外思考題目、口頭布置的思考題或閱讀材料以及大型作業(yè)等。其中通過(guò)網(wǎng)絡(luò)就可以完成上交作業(yè),并且教師批閱作業(yè)后也可以通過(guò)網(wǎng)絡(luò)返回給學(xué)生,實(shí)現(xiàn)了網(wǎng)絡(luò)化。課程的考核方式較之以前也發(fā)生了較大變化,加強(qiáng)了平時(shí)思維能力的考核,更加注重學(xué)生實(shí)驗(yàn)?zāi)芰蛣?dòng)手能力的培養(yǎng),不再是絕對(duì)的一次考試定成績(jī),而是在總評(píng)成績(jī)中加入30%的平時(shí)成績(jī),如此不僅減輕了學(xué)生的期末負(fù)擔(dān),也迫使學(xué)生更加重視平時(shí)的學(xué)習(xí)思考,有利于課程教學(xué)質(zhì)量的提升。
4 結(jié)束語(yǔ)
本文是以提高教學(xué)質(zhì)量為目標(biāo),結(jié)合教學(xué)實(shí)踐,從教學(xué)體系、教學(xué)內(nèi)容、教學(xué)方法、考核方式等方面對(duì)本科人工智能課程的教學(xué)改革進(jìn)行了探討,總結(jié)了該課程在教學(xué)和實(shí)踐方面的一些教改舉措。這些舉措符合二十一世紀(jì)高校教學(xué)的要求,可以支持教師提高教學(xué)手段現(xiàn)代化的水平,同時(shí)更貼合學(xué)生的學(xué)習(xí)需求。作為該課程的授課教師應(yīng)始終保持對(duì)教學(xué)內(nèi)容的不斷更新、教學(xué)方法的多樣化,才能激發(fā)學(xué)生的學(xué)習(xí)興趣,培養(yǎng)他們的思維創(chuàng)新和技術(shù)創(chuàng)新的能力,最終提高本課程的教學(xué)質(zhì)量。從學(xué)生的反饋來(lái)看,作者所總結(jié)的教學(xué)實(shí)踐具有明顯的教學(xué)效果。但仍有許多方面做得不夠,今后將繼續(xù)在教學(xué)過(guò)程中不斷總結(jié)成功的經(jīng)驗(yàn),吸取失敗的教訓(xùn)。
參考文獻(xiàn):
[1]蔡自興.人工智能及其應(yīng)用[M].三版.北京:清華大學(xué)出版社,2007.
[2]謝榕,李霞.人工智能課程教學(xué)案例庫(kù)建設(shè)及案例教學(xué)實(shí)踐[J].計(jì)算機(jī)教育,2014(19):92-97.
[3]蔡自興,肖曉明,蒙祖強(qiáng).樹(shù)立精品意識(shí)搞好人工智能課程建設(shè)[J].中國(guó)大學(xué)教學(xué),2004(1):28-29.
關(guān)鍵詞:科技期刊;媒體融合;知識(shí)服務(wù);精準(zhǔn)傳播
近年來(lái),隨著計(jì)算機(jī)技術(shù)的進(jìn)步,科技期刊出版正在經(jīng)歷著前所未有的巨大變革。目前,信息技術(shù)已呈現(xiàn)出“人-機(jī)-物”三元融合的態(tài)勢(shì),數(shù)據(jù)分析工具和基于云計(jì)算的數(shù)據(jù)資源成為期刊出版的重要特征[1],期刊出版的數(shù)字化和集群化發(fā)展成為當(dāng)下期刊發(fā)展的主流趨勢(shì),人工智能也將在學(xué)術(shù)期刊的出版、存取、質(zhì)量評(píng)價(jià)等多個(gè)環(huán)節(jié)上得到廣泛應(yīng)用,并推動(dòng)科技期刊出版方式的變革[2]。目前,在科技期刊界,學(xué)者們就如何促進(jìn)科技期刊媒體融合發(fā)展開(kāi)展了大量的研究,既包括理論層面的探討,又包括從實(shí)踐和案例的角度開(kāi)展的應(yīng)用研究[3-6]。與此同時(shí),我們注意到,全球的科學(xué)產(chǎn)出以極快的速度增長(zhǎng),從第二次世界大戰(zhàn)結(jié)束以來(lái),全球的科學(xué)產(chǎn)出相當(dāng)于每9年就會(huì)翻1番[7],讀者也更容易被無(wú)用的信息轟炸,難以在期刊論文的海洋中高效準(zhǔn)確地找到自己需要的內(nèi)容,科技期刊要想擴(kuò)大自身的影響力也愈來(lái)愈難。信息爆炸時(shí)代,科技期刊關(guān)注讀者“需要什么”比“提供了什么”更重要。在智能技術(shù)變革的時(shí)展潮流中,科技期刊應(yīng)如何順應(yīng)時(shí)展趨勢(shì),利用智能技術(shù)整合資源,更好地滿足讀者的需求,擴(kuò)大期刊的影響力,創(chuàng)造科技期刊人、出版商、作者、讀者的共贏局面?本文從以上問(wèn)題切入,嘗試從擴(kuò)展學(xué)術(shù)搜索的路徑、構(gòu)建個(gè)性化的精準(zhǔn)推送平臺(tái)和多元化的傳播模式、向用戶提供有針對(duì)性的服務(wù)方面探索在媒體融合形勢(shì)下如何提升科技期刊的精準(zhǔn)傳播能力,以期為我國(guó)科技期刊媒體融合建設(shè)增瓦添磚。
1借助人工智能,擴(kuò)展學(xué)術(shù)搜索的路徑
互聯(lián)網(wǎng)時(shí)代改變了人們獲取信息的方式,搜索引擎在促進(jìn)科技期刊的傳播、提高影響力等方面的功能逐漸凸顯。雖然現(xiàn)有的一些搜索門(mén)戶網(wǎng)站諸如Webofscience、PubMed、谷歌學(xué)術(shù)、各圖書(shū)館網(wǎng)站、中國(guó)知網(wǎng)、萬(wàn)方數(shù)據(jù)知識(shí)服務(wù)平臺(tái)等搜索引擎可以幫助讀者檢索科技論文,但是仍不能滿足用戶多樣化的檢索需求。Tancheva等[8]針對(duì)康奈爾大學(xué)圖書(shū)館開(kāi)展的一項(xiàng)調(diào)查研究發(fā)現(xiàn)受訪者“往往既對(duì)搜索方法的效率感到滿意,同時(shí)又對(duì)搜索的棘手和費(fèi)力感到不滿……當(dāng)研究人員無(wú)法完成一個(gè)特定的搜索任務(wù),他們很可能放棄現(xiàn)有的方法(或工具或技術(shù)),而不是找出如何使它工作”。為了解決這一問(wèn)題,需要開(kāi)發(fā)新的模式解決學(xué)術(shù)出版的過(guò)量負(fù)載,利用智能技術(shù)優(yōu)化搜索引擎的現(xiàn)有功能。目前很多科技公司都在探索開(kāi)發(fā)基于人工智能的學(xué)術(shù)搜索引擎和知識(shí)服務(wù)。例如Springer網(wǎng)絡(luò)平臺(tái)不斷對(duì)其功能進(jìn)行集成,并提供個(gè)性化服務(wù)功能;Elsevier等出版商為用戶等提供搜索引擎培訓(xùn)課程;微軟學(xué)術(shù)(MicrosoftAcademic)通過(guò)在實(shí)體之間建立有意義的關(guān)聯(lián),自動(dòng)生成可視化的知識(shí)圖譜,引導(dǎo)學(xué)者閱讀[2];2014年,Wiley線上圖書(shū)館為用戶提供了增強(qiáng)型HTML文章服務(wù)(AnywhereArticle),它將可讀性、交互性和可移植性設(shè)為用戶體驗(yàn)的核心,使讀者能夠在頁(yè)面中快速找到最重要的信息[9]。一些關(guān)于科學(xué)出版的新模式和平臺(tái)被相繼開(kāi)發(fā),如Chorus[10]通過(guò)集成服務(wù)和開(kāi)放APIs,優(yōu)化了科技論文被搜索的路徑,并為政府機(jī)構(gòu)、出版商、研究人員、圖書(shū)館員和作者提供可持續(xù)的解決方案。目前我國(guó)已經(jīng)形成一些專業(yè)的期刊集群,一部分學(xué)術(shù)期刊數(shù)據(jù)庫(kù)平臺(tái)也開(kāi)始進(jìn)行語(yǔ)義出版形式的探索,對(duì)科技期刊內(nèi)容進(jìn)行深度加工和挖掘。不同的科技期刊具有不同的特點(diǎn),在學(xué)術(shù)期刊的數(shù)據(jù)庫(kù)平臺(tái)建設(shè)過(guò)程中需要平臺(tái)開(kāi)發(fā)團(tuán)隊(duì)與期刊編輯充分交流[11],發(fā)揮編輯的優(yōu)勢(shì)和主導(dǎo)作用,凸顯本學(xué)科的學(xué)科特色。
2利用智能算法,構(gòu)建個(gè)性化的精準(zhǔn)推送平臺(tái)
技術(shù)是科技期刊創(chuàng)新發(fā)展的重要推手,技術(shù)應(yīng)用能力也成為科技期刊發(fā)展的競(jìng)爭(zhēng)資源,充分利用技術(shù)強(qiáng)化科技期刊的知識(shí)服務(wù)和加工能力,創(chuàng)新出版和傳播模式,滿足數(shù)字化時(shí)代的讀者需求,對(duì)于科技期刊的精準(zhǔn)傳播和融合發(fā)展非常重要。在人工智能背景下,可以借助于算法實(shí)現(xiàn)科技期刊出版的智能化。算法的設(shè)計(jì)程序與設(shè)計(jì)者的思維密不可分,設(shè)計(jì)者選擇數(shù)據(jù)樣本、賦予數(shù)據(jù)意義、設(shè)計(jì)模型與算法,擁有數(shù)據(jù)并設(shè)定算法的智能化平臺(tái)具有很強(qiáng)的主導(dǎo)性[12],因此設(shè)計(jì)者需要盡可能考慮并消除算法偏見(jiàn)和利益沖突對(duì)精準(zhǔn)傳播帶來(lái)的負(fù)面影響。日前,騰訊研究院和騰訊AILab聯(lián)合的人工智能倫理報(bào)告指出“人工智能等新技術(shù)需要價(jià)值引導(dǎo),做到可用、可靠、可知、可控”[13]。目前“智能算法+學(xué)術(shù)期刊”已成為創(chuàng)新趨勢(shì),學(xué)術(shù)期刊可構(gòu)建信息數(shù)據(jù)基礎(chǔ)環(huán)境,進(jìn)一步完成動(dòng)態(tài)精準(zhǔn)信息推薦,最后以傳受關(guān)系交互實(shí)現(xiàn)長(zhǎng)期有效的黏性連接[14]。一方面可以通過(guò)算法整合資源,實(shí)現(xiàn)大量科技期刊的數(shù)字資源的聚合;另一方面可以通過(guò)算法分析用戶的閱讀興趣、研究領(lǐng)域,基于用戶的需求建立相關(guān)用戶數(shù)據(jù)信息,從而進(jìn)一步將數(shù)字資源和用戶數(shù)據(jù)相匹配,實(shí)現(xiàn)科技期刊的智能化精準(zhǔn)傳播。如中國(guó)知網(wǎng)推出的“CNKI全球?qū)W術(shù)快報(bào)”整合全球文獻(xiàn)和超星集團(tuán)推出的“域出版”超星學(xué)習(xí)通學(xué)術(shù)平臺(tái)[15],用戶不僅可以在其App上進(jìn)行文獻(xiàn)檢索、分版閱讀、專題閱讀等,還可以與作者進(jìn)行互動(dòng)交流。此外,還可以利用智能算法設(shè)計(jì)追蹤用戶的信息反饋,通過(guò)學(xué)術(shù)平臺(tái)進(jìn)一步增加用戶的體驗(yàn)感,提升科技期刊的精準(zhǔn)傳播能力。
3創(chuàng)新知識(shí)加工,構(gòu)建多元化的傳播模式
在人工智能和融媒體時(shí)代,除了運(yùn)用智能技術(shù)構(gòu)建個(gè)性化的知識(shí)服務(wù)平臺(tái),科技期刊也需要充分發(fā)揮社交媒體的作用,通過(guò)加強(qiáng)期刊網(wǎng)站建設(shè)、建立App客戶端、微信、微博等新媒體傳播平臺(tái),可以根據(jù)各自領(lǐng)域的特點(diǎn),對(duì)科技論文進(jìn)行多次加工和編輯,構(gòu)建個(gè)性化的傳播方式。如論文編輯平臺(tái)Kudos為作者提供了一種利用社交媒體使他們的論文更易下載和傳播的工具,通過(guò)為作者已發(fā)表的文章創(chuàng)建介紹并添加簡(jiǎn)短的標(biāo)題、易懂的摘要和補(bǔ)充內(nèi)容,可以使他們的文章對(duì)讀者更具吸引力[16],學(xué)術(shù)出版平臺(tái)也可以通過(guò)建立二維碼,為讀者提供開(kāi)放增值服務(wù),使讀者進(jìn)一步了解論文的數(shù)據(jù)、圖片等資料,實(shí)現(xiàn)與用戶的精準(zhǔn)對(duì)接。如中國(guó)煤炭行業(yè)知識(shí)服務(wù)平臺(tái)為該平臺(tái)上的每篇論文制作了二維碼,用戶閱讀紙刊論文時(shí),通過(guò)掃描其中的二維碼可以免費(fèi)下載PDF、HTML文件,此外讀者還可以通過(guò)掃描二維碼向作者提問(wèn)或向責(zé)任編輯反饋意見(jiàn)[17]。目前,郵件推送也正在成為科技期刊提升精準(zhǔn)傳播能力的一個(gè)重要手段,國(guó)內(nèi)一些期刊在這方面做了大膽的嘗試。例如:《計(jì)算機(jī)工程》基于語(yǔ)義分析和智能分詞等技術(shù),設(shè)計(jì)了一套期刊內(nèi)容精準(zhǔn)推送系統(tǒng),將讀者—文章—標(biāo)準(zhǔn)關(guān)鍵詞進(jìn)行匹配,通過(guò)郵件為潛在讀者推送與其研究方向相關(guān)的最新研究論文[18];《應(yīng)用生態(tài)學(xué)報(bào)》通過(guò)運(yùn)用大數(shù)據(jù)和數(shù)理統(tǒng)計(jì)方法,構(gòu)建了科技期刊論文單篇推送客體指標(biāo)體系,通過(guò)郵件對(duì)讀者進(jìn)行單篇精準(zhǔn)推送,取得了較好的傳播效果[19]。此外,利用音頻、視頻、科學(xué)可視化等多媒體技術(shù)可以在短時(shí)間內(nèi)表達(dá)豐富的科學(xué)信息,增加科技論文的廣泛傳播。如虛擬現(xiàn)實(shí)/增強(qiáng)現(xiàn)實(shí)(VR/AR)為讀者提供沉浸式的閱讀環(huán)境,提升讀者的體驗(yàn)感,從而吸引了更多讀者的關(guān)注。中國(guó)科學(xué)技術(shù)大學(xué)王國(guó)燕博士及其團(tuán)隊(duì)開(kāi)展的前沿科學(xué)可視化研究和設(shè)計(jì),使科技論文通過(guò)圖像的形式向讀者展現(xiàn),提高了科技論文的交流和傳播,她通過(guò)對(duì)頂級(jí)科技期刊《Nature》《Science》《Cell》的一項(xiàng)實(shí)證研究發(fā)現(xiàn),科技期刊封面故事和封面圖像的使用可以提高論文的引用率[20]?!渡虾4髮W(xué)學(xué)報(bào)(自然科學(xué)版)》借助第三方AR展示平臺(tái)實(shí)現(xiàn)了學(xué)術(shù)期刊的多模式AR融合出版,取得了很好的效果[21]。
4滿足用戶需求,提供有針對(duì)性的服務(wù)
關(guān)鍵詞:人工智能;教學(xué)改革;教學(xué)方法
引言
人工智能(ArtificialIntelligence)是一門(mén)研究和模擬人類智能的跨領(lǐng)域?qū)W科,是模擬、延伸和擴(kuò)展人的智能的一門(mén)新技術(shù)。由于信息環(huán)境巨變與社會(huì)新需求的爆發(fā),人工智能技術(shù)的日趨成熟。隨著AI3.0時(shí)代的到來(lái),大數(shù)據(jù)、云計(jì)算等新技術(shù)的應(yīng)用也愈發(fā)廣泛,對(duì)于管理類人才來(lái)說(shuō),加強(qiáng)對(duì)人工智能知識(shí)的深入學(xué)習(xí),不斷將人工智能技術(shù)與管理知識(shí)結(jié)合起來(lái),對(duì)其未來(lái)職業(yè)生涯的發(fā)展有著重要作用。人工智能是一門(mén)前沿學(xué)科,管理學(xué)院開(kāi)設(shè)人工智能課程的目的是為了更好地培養(yǎng)學(xué)生的技術(shù)創(chuàng)新思維與能力,基于其覆蓋面廣、包容性強(qiáng)、應(yīng)用需求空間巨大的學(xué)科特點(diǎn),通過(guò)概率統(tǒng)計(jì)、數(shù)據(jù)結(jié)構(gòu)、計(jì)算機(jī)編程語(yǔ)言、數(shù)據(jù)庫(kù)原理等基礎(chǔ)課程的學(xué)習(xí),加強(qiáng)學(xué)生解決實(shí)際問(wèn)題的能力,為就業(yè)打下基礎(chǔ)。本文基于社會(huì)對(duì)于人工智能領(lǐng)域的人才需求,結(jié)合諸多長(zhǎng)期從事經(jīng)管類專業(yè)課程教學(xué)的老師意見(jiàn),針對(duì)管理類人才的人工智能課程教學(xué)內(nèi)容與方法進(jìn)行探討,以期對(duì)中國(guó)高校人工智能課程教學(xué)改革研究提供幫助與借鑒。
1、教學(xué)現(xiàn)狀與問(wèn)題
作為一門(mén)綜合性、實(shí)踐性和應(yīng)用性很強(qiáng)的理論技術(shù)學(xué)科,人工智能課程內(nèi)容及內(nèi)涵及其豐富,外延極其廣泛。學(xué)習(xí)這門(mén)課程,需要較好的數(shù)學(xué)基礎(chǔ)和較強(qiáng)的邏輯思維能力。針對(duì)管理類人才,該課程在課程教學(xué)過(guò)程中存在幾個(gè)較為突出的問(wèn)題。(1)課堂教學(xué)氛圍枯燥目前,中國(guó)大多數(shù)大學(xué)仍采用傳統(tǒng)的課堂教學(xué)模式,在教學(xué)過(guò)程中照本宣科,忽略與學(xué)生的互動(dòng),并且缺乏能夠有效引起學(xué)生學(xué)習(xí)興趣與加深知識(shí)理解的教學(xué)環(huán)節(jié)設(shè)置,如此一來(lái)大大降低了學(xué)生自主思考的能力。在進(jìn)行人工智能相關(guān)課程知識(shí)講解時(shí),隨著章節(jié)的知識(shí)難度不斷增加,單向介紹式的枯燥教學(xué)方式無(wú)法反映人工智能學(xué)科的全貌,課堂講解難以同時(shí)給以學(xué)生感性和理性的認(rèn)知,部分學(xué)生因乏味的課堂氛圍漸漸無(wú)法跟上教學(xué)進(jìn)度,導(dǎo)致學(xué)習(xí)動(dòng)力不足。(2)基礎(chǔ)課程掌握不牢管理類專業(yè)的學(xué)生大部分都會(huì)走向更加具體化的管理崗位,具有多學(xué)科的素養(yǎng),但這也導(dǎo)致很多學(xué)生所學(xué)知識(shí)雜而不精。學(xué)生在基礎(chǔ)不夯實(shí)的情況下去學(xué)習(xí)更高層面的知識(shí),給學(xué)生學(xué)習(xí)與老師教學(xué)都造成了很大困擾。人工智能課程知識(shí)點(diǎn)較多,涵蓋模式識(shí)別、機(jī)器學(xué)習(xí)、數(shù)據(jù)挖掘等眾多內(nèi)容,概念抽象,不易學(xué)習(xí)。一些管理類專業(yè)的學(xué)生未能熟練掌握高等數(shù)學(xué)、運(yùn)籌學(xué)、數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)庫(kù)技術(shù)等先修課程,缺乏一定的關(guān)聯(lián)思考和研究意識(shí),導(dǎo)致課程學(xué)習(xí)難度增加,產(chǎn)生學(xué)時(shí)不足和教學(xué)內(nèi)容難點(diǎn)過(guò)多的問(wèn)題。(3)教學(xué)與實(shí)際應(yīng)用脫節(jié)當(dāng)下,人工智能廣泛應(yīng)用于機(jī)器視覺(jué)、智能制造等各個(gè)領(lǐng)域,給學(xué)生提供了大量的現(xiàn)實(shí)案例,使得人工智能不再是高深莫測(cè)的理論,而是現(xiàn)實(shí)中可以觸及的內(nèi)容。例如,在機(jī)械學(xué)科領(lǐng)域,人工智能技術(shù)是電氣工程、機(jī)械設(shè)計(jì)制造、車輛工程等方向的重要技術(shù)來(lái)源;在醫(yī)療領(lǐng)域,是醫(yī)療器械的創(chuàng)新生產(chǎn)源動(dòng)力;在能動(dòng)領(lǐng)域,是高端能源裝備與新能源發(fā)展的重要驅(qū)動(dòng);在光電信息與計(jì)算機(jī)工程領(lǐng)域,技術(shù)的發(fā)展時(shí)刻推動(dòng)著智能科學(xué)與技術(shù)核心價(jià)值的提升。然而,對(duì)于管理類專業(yè)的學(xué)生來(lái)說(shuō),現(xiàn)階段的人工智能教材涵蓋許多智能算法及相關(guān)理論,在教學(xué)過(guò)程中常常涉及到很多從未接觸過(guò)的抽象理論和復(fù)雜算法,書(shū)本中的應(yīng)用實(shí)例大多紙上談兵,缺乏專門(mén)適用于管理類專業(yè)知識(shí)與人工智能技術(shù)相結(jié)合的教學(xué)實(shí)踐,加上一些教師授課方法單一,不利于引導(dǎo)學(xué)生將人工智能算法應(yīng)用于現(xiàn)實(shí)生活。另外,大學(xué)生對(duì)知識(shí)的理解能力差異很大,教師采用統(tǒng)一的方式教給他們,這使一些學(xué)生無(wú)法跟上和理解,教師也無(wú)法控制學(xué)生的學(xué)習(xí)狀況,導(dǎo)致學(xué)生缺乏動(dòng)力。因此,如何結(jié)合學(xué)生的現(xiàn)實(shí)情況,提高他們的動(dòng)手能力和實(shí)踐經(jīng)驗(yàn)也是人工智能課程教學(xué)要考慮的問(wèn)題。
2、管理類人才的人工智能課程教學(xué)改進(jìn)策略
課程教學(xué)改革是一項(xiàng)提高大學(xué)教學(xué)效果和人才培養(yǎng)質(zhì)量的重要手段。如何在時(shí)代背景下應(yīng)用新技術(shù)和新思想進(jìn)行實(shí)施課程教學(xué)改革是高校亟待解決的問(wèn)題。對(duì)于高校的教學(xué)工作而言,教學(xué)目標(biāo)、教學(xué)內(nèi)容和教學(xué)方式的變化不再是課程資源的簡(jiǎn)單數(shù)字化和信息化,而是充分利用時(shí)代信息資源優(yōu)勢(shì)的新型教學(xué)模式。針對(duì)管理類專業(yè)人工智能課程教學(xué)過(guò)程中存在的問(wèn)題,可以從教學(xué)方法改進(jìn)和教學(xué)內(nèi)容設(shè)置兩個(gè)方面進(jìn)行課程教學(xué)改進(jìn)。
2.1教學(xué)方法改進(jìn)
教師對(duì)學(xué)生具有引領(lǐng)作用,其教學(xué)方法的改進(jìn)能夠帶動(dòng)學(xué)生改進(jìn)自身學(xué)習(xí)方法。(1)啟發(fā)式案例教學(xué)案例教學(xué)法就是教師根據(jù)教學(xué)目標(biāo)、教學(xué)內(nèi)容以及教學(xué)要求,通過(guò)安排一些具體的教學(xué)案例,引導(dǎo)學(xué)生積極參與案例思考、分析、討論和表達(dá)等多項(xiàng)活動(dòng),是一種培養(yǎng)學(xué)生認(rèn)知問(wèn)題、分析和解決問(wèn)題等綜合能力的行之有效的教學(xué)方法。啟發(fā)式案例教學(xué)以自主、合作、探究為主要特征,調(diào)動(dòng)學(xué)生的學(xué)習(xí)積極性,并緊密結(jié)合人工智能領(lǐng)域的相關(guān)理論與方法,有效理解知識(shí)要點(diǎn)及其關(guān)聯(lián)性,適用于管理類專業(yè)學(xué)生的教學(xué)。具體而言,高?;谄鋯?wèn)題啟發(fā)性、教學(xué)互動(dòng)性以及實(shí)踐有用性等特點(diǎn),可以建立基于人工智能知識(shí)體系的教學(xué)案例庫(kù),雖然這項(xiàng)建設(shè)將極具挑戰(zhàn)性與耗時(shí)性,但具有很強(qiáng)的積極效果:培養(yǎng)學(xué)生較強(qiáng)的批判性思維能力,更多地保留課程材料,更積極地參與課堂活動(dòng),對(duì)提高教學(xué)質(zhì)量、培養(yǎng)具有人工智能背景的管理類人才具有重要意義。例如,通過(guò)單一案例教學(xué),讓學(xué)生掌握相關(guān)基礎(chǔ)知識(shí)原理及應(yīng)用;通過(guò)一題多解的案例使學(xué)生思考如何獲取最有效的解題方法;通過(guò)綜合案例的設(shè)計(jì),啟發(fā)學(xué)生全方位地探索問(wèn)題的解決方案。(2)研討互動(dòng)式教學(xué)研討互動(dòng)式的各個(gè)教學(xué)環(huán)節(jié)是逐漸遞進(jìn)、有機(jī)結(jié)合的。研討是基于學(xué)生個(gè)體的差異性,在課堂討論的過(guò)程中對(duì)學(xué)生做出評(píng)判,從而對(duì)不同類型的學(xué)生開(kāi)展針對(duì)性的教學(xué)?;?dòng)則是在研討的基礎(chǔ)上,通過(guò)老師與學(xué)生、學(xué)生與學(xué)生的互動(dòng),讓學(xué)生主動(dòng)參與到課堂教學(xué)的過(guò)程中來(lái)。在人工智能課程教學(xué)過(guò)程中,教師通過(guò)課堂討論了解學(xué)生對(duì)于知識(shí)點(diǎn)的掌握情況,可以有針對(duì)性地設(shè)計(jì)教學(xué)內(nèi)容,例如,對(duì)于學(xué)校積極性不強(qiáng)的學(xué)生,將人工智能理論內(nèi)容與學(xué)生個(gè)人興趣范疇、社會(huì)產(chǎn)業(yè)發(fā)展及研究現(xiàn)狀聯(lián)系起來(lái),能夠極大程度地提高學(xué)生學(xué)習(xí)的自主能力;對(duì)于基礎(chǔ)知識(shí)較為薄弱的學(xué)生,可以在教師的指導(dǎo)下查閱相關(guān)文獻(xiàn)資料,根據(jù)自己的理解撰寫(xiě)心得報(bào)告,并在課堂或課外進(jìn)行師生互動(dòng)。像這樣研討與互動(dòng)相結(jié)合的模式。有助于增強(qiáng)學(xué)生的探索和求知欲望,建立起濃厚的學(xué)習(xí)氛圍。(3)有效激勵(lì)式教學(xué)人工智能是引領(lǐng)未來(lái)的戰(zhàn)略性技術(shù),人才需求量極大,對(duì)教師的教學(xué)水平也提出了更高要求,因此,進(jìn)行有效激勵(lì)極為重要。在學(xué)生激勵(lì)方面,可以舉辦各類人工智能競(jìng)賽項(xiàng)目,設(shè)置相應(yīng)項(xiàng)目獎(jiǎng)學(xué)金,吸引學(xué)生參與實(shí)踐,調(diào)動(dòng)學(xué)生做研究、發(fā)論文的積極性。例如,教育部主辦的中國(guó)研究生人工智能創(chuàng)新大賽,圍繞新一代人工智能創(chuàng)新主題,激發(fā)學(xué)生的創(chuàng)新意識(shí),提高學(xué)生的創(chuàng)新實(shí)踐能力,為人工智能領(lǐng)域健康發(fā)展提供人才支撐。高校也可以借鑒這種模式,在各學(xué)院乃至全校開(kāi)展此類競(jìng)賽項(xiàng)目,激發(fā)學(xué)生的創(chuàng)新能力與團(tuán)隊(duì)合作能力,鼓舞更多學(xué)生加入到人工智能課程的學(xué)習(xí)中來(lái),激發(fā)其學(xué)習(xí)興趣。在教師激勵(lì)方面,在教師聘任和提升過(guò)程中把參加學(xué)生課程制定、課堂與課外作業(yè)、課程項(xiàng)目和論文指導(dǎo)等看作教學(xué)任務(wù)的一部分,鼓勵(lì)教師積極參與這些活動(dòng)。(4)學(xué)科滲透式教學(xué)人工智能學(xué)科知識(shí)融合程度較高,學(xué)科交叉性強(qiáng)?;谌斯ぶ悄艿膶W(xué)科交叉性特點(diǎn),增強(qiáng)管理類人才對(duì)學(xué)科應(yīng)用的領(lǐng)悟,可以采取開(kāi)展學(xué)科滲透式教學(xué)的方法。從2015年起,國(guó)務(wù)院和教育部先后印發(fā)了《國(guó)務(wù)院關(guān)于積極推進(jìn)“互聯(lián)網(wǎng)+”行動(dòng)的指導(dǎo)意見(jiàn)教育》、《高等學(xué)校人工智能創(chuàng)新行動(dòng)計(jì)劃》等文件,“互聯(lián)網(wǎng)+”、“智能+”已經(jīng)滲透到各個(gè)領(lǐng)域,人類進(jìn)入數(shù)字經(jīng)濟(jì)時(shí)代,社會(huì)需求“技術(shù)+管理”的高端復(fù)合人才。例如,基于工業(yè)4.0和強(qiáng)國(guó)戰(zhàn)略,人工智能技術(shù)在智能制造的應(yīng)用極為廣泛。上海理工大學(xué)非常重視少數(shù)民族預(yù)科班的教育質(zhì)量。為增強(qiáng)少數(shù)民族管理類人才對(duì)該領(lǐng)域應(yīng)用的認(rèn)識(shí),我們請(qǐng)機(jī)械工程、能源動(dòng)力領(lǐng)域的相關(guān)專家以授課或講座的形式,進(jìn)行相關(guān)領(lǐng)域知識(shí)和發(fā)展趨勢(shì)的講解,使學(xué)生理解更為透徹。此外,在教學(xué)實(shí)踐過(guò)程中,還可以用舉辦人工智能知識(shí)交流會(huì)、線上人工智能論壇等形式,促進(jìn)不同專業(yè)間老師、學(xué)生對(duì)于人工智能知識(shí)模塊的見(jiàn)解,相互交流、滲透和學(xué)習(xí),從而推動(dòng)人工智能課程教學(xué)的改進(jìn)。
2.2教學(xué)內(nèi)容設(shè)置
世界一流大學(xué)在人工智能課程內(nèi)容設(shè)置根據(jù)不同國(guó)家的教育體系設(shè)置,肯定會(huì)有不同,但頗有共通之處。本文借鑒世界頂尖大學(xué)經(jīng)驗(yàn),針對(duì)管理類專業(yè)人工智能課程教學(xué)內(nèi)容進(jìn)行研究,結(jié)合中國(guó)教育體系設(shè)置,認(rèn)為應(yīng)從以下幾方面進(jìn)行改進(jìn)。(1)核心內(nèi)容設(shè)置為避免學(xué)生因?yàn)橹R(shí)點(diǎn)過(guò)多而出現(xiàn)雜而不精的問(wèn)題,勢(shì)必要精化教學(xué)內(nèi)容。在互聯(lián)網(wǎng)時(shí)代,我們可以使用云計(jì)算和其他方式來(lái)實(shí)現(xiàn)數(shù)據(jù)信息的傳輸、存儲(chǔ)和處理,通過(guò)在線收集和整合網(wǎng)絡(luò)課程相關(guān)數(shù)據(jù),挖掘和豐富教學(xué)資源,并在整合課程資源的基礎(chǔ)上,進(jìn)行研究方法和前沿知識(shí)的擴(kuò)展。在核心內(nèi)容設(shè)置方面,可以通過(guò)收集到的數(shù)據(jù)資料,選擇人工智能領(lǐng)域具有代表性且難易程度適中的知識(shí)作為重點(diǎn),使學(xué)生能夠在有限的學(xué)時(shí)內(nèi)掌握人工智能的知識(shí)脈絡(luò)。例如,編寫(xiě)針對(duì)管理類人才的人工智能教材,內(nèi)容涉及緒論、知識(shí)表示與推理、常用算法、機(jī)器學(xué)習(xí)、神經(jīng)網(wǎng)絡(luò)等方面的同時(shí),重點(diǎn)增加相應(yīng)知識(shí)點(diǎn)在管理上的應(yīng)用案例,加強(qiáng)學(xué)生對(duì)知識(shí)點(diǎn)的理解。同時(shí),根據(jù)管理類專業(yè)偏向領(lǐng)域,開(kāi)設(shè)關(guān)聯(lián)程度較大、應(yīng)用較廣泛的人工智能選修課程,以便學(xué)生根據(jù)自己的興趣與需求選修具體方向的課程。(2)注重學(xué)生的數(shù)理及編程基礎(chǔ)良好的數(shù)理及編程基礎(chǔ)是學(xué)習(xí)人工智能的前提。只有具備了這些基礎(chǔ),才能搞清楚人工智能模型的數(shù)量關(guān)系、空間形式和優(yōu)化過(guò)程等,才能將數(shù)學(xué)語(yǔ)言轉(zhuǎn)化為程序語(yǔ)言,并應(yīng)用于實(shí)驗(yàn)。管理學(xué)院人才的數(shù)理及編程基礎(chǔ)相對(duì)薄弱,因此,在安排學(xué)生學(xué)習(xí)人工智能課程之前,建議開(kāi)設(shè)面向全體管理類專業(yè)學(xué)生的微積分、線性代數(shù)、概率論等專業(yè)基礎(chǔ)數(shù)學(xué)課程以及C語(yǔ)言、python等編程基礎(chǔ)課程,使學(xué)生具備數(shù)學(xué)分析的基礎(chǔ)與一定編程基礎(chǔ),為學(xué)習(xí)人工智能課程打下堅(jiān)實(shí)的基礎(chǔ)。另外,可以推進(jìn)MOOC平臺(tái)建設(shè),在平臺(tái)上開(kāi)設(shè)人工智能網(wǎng)絡(luò)課程,幫助學(xué)生掌握人工智能知識(shí)基礎(chǔ)及專業(yè)技能。(3)實(shí)驗(yàn)建設(shè)為了加強(qiáng)學(xué)生對(duì)于人工智能知識(shí)點(diǎn)間的關(guān)聯(lián)性理解,可以基于不同的應(yīng)用模塊,設(shè)計(jì)具有前后鋪墊、上下關(guān)聯(lián)的綜合性實(shí)驗(yàn),設(shè)計(jì)不同層次的項(xiàng)目要求,同時(shí)基于相同的實(shí)驗(yàn)課題,讓學(xué)生分組對(duì)實(shí)驗(yàn)課題進(jìn)行攻克,并設(shè)置多元化的實(shí)驗(yàn)評(píng)價(jià)體系,通過(guò)實(shí)驗(yàn)教學(xué)過(guò)程中反映出的不同進(jìn)度,讓教師能對(duì)學(xué)生的學(xué)習(xí)水平做出準(zhǔn)確評(píng)判,及時(shí)進(jìn)行教學(xué)反思,以便更好地開(kāi)展下一步工作。例如,針對(duì)人工智能課程應(yīng)用中很廣的遺傳算法,在某一管理規(guī)劃的具體應(yīng)用上設(shè)置理解-實(shí)現(xiàn)-參數(shù)分析-具體應(yīng)用-嘗試改進(jìn)-深度拓展的不同層次的項(xiàng)目要求,在這些項(xiàng)目層次中規(guī)定必做項(xiàng)與可選項(xiàng),讓學(xué)生基于同一實(shí)驗(yàn)課題進(jìn)行合作學(xué)習(xí),然后通過(guò)個(gè)人自我評(píng)價(jià)、小組成員互相評(píng)價(jià)以及教師評(píng)價(jià)的方式進(jìn)行打分,對(duì)小組整體能力以及個(gè)人能力進(jìn)行綜合評(píng)估,以期培養(yǎng)學(xué)生的自主思考能力。
論文關(guān)鍵詞:人工智能技術(shù),電氣自動(dòng)化,自動(dòng)化控制,策略
智能化技術(shù)是技術(shù)領(lǐng)域的一種革新,使得各個(gè)行業(yè)都實(shí)現(xiàn)了全面發(fā)展。在電氣自動(dòng)化控制中應(yīng)用人工智能技術(shù),可以使得電氣設(shè)備的系統(tǒng)運(yùn)行更加簡(jiǎn)單智能,對(duì)系統(tǒng)可以進(jìn)行優(yōu)化處理。與此同時(shí),人工智能技術(shù)的應(yīng)用也為電氣自動(dòng)化控制提供了技術(shù)保障和安全保障,減少了各種電氣設(shè)備操作對(duì)人員帶來(lái)的傷害,在節(jié)省人力和物力的基礎(chǔ)上提高了工作質(zhì)量。在電氣行業(yè)的發(fā)展過(guò)程中,自動(dòng)化發(fā)展就必須要利用人工智能技術(shù)。
1 人工智能技術(shù)概述
1.1 人工智能技術(shù)的定義
人工智能技術(shù)指的是借助計(jì)算機(jī)技術(shù)對(duì)人腦進(jìn)行模擬,并且發(fā)出類似人類的行為指令,從而對(duì)各種操作進(jìn)行完成的過(guò)程。人工技能技術(shù)是多個(gè)領(lǐng)域的研究結(jié)果的融合,比如傳統(tǒng)的數(shù)學(xué)和計(jì)算機(jī),同時(shí)還結(jié)合了人文學(xué)科、自然和社會(huì)學(xué)科的知識(shí),在很多領(lǐng)域中都有十分廣泛的應(yīng)用。計(jì)算機(jī)技術(shù)可以實(shí)現(xiàn)對(duì)人腦的有效模擬,因此使得工作的效率更高,系統(tǒng)的運(yùn)行更加靈活也更加穩(wěn)定,能夠增強(qiáng)各種設(shè)備的自動(dòng)化處理水平。
1.2 人工智能技術(shù)在電氣自動(dòng)化應(yīng)用中的功能
第一,實(shí)現(xiàn)數(shù)據(jù)的采集和處理。人工智能技術(shù)在電氣自動(dòng)化控制中進(jìn)行應(yīng)用的時(shí)候,可以實(shí)現(xiàn)對(duì)設(shè)備中的一些數(shù)據(jù)進(jìn)行采集,根據(jù)功能的不斷完善,還能對(duì)一些數(shù)據(jù)進(jìn)行存儲(chǔ)。
第二,監(jiān)視運(yùn)行系統(tǒng),并及時(shí)發(fā)出報(bào)警。人工智能技術(shù)可以對(duì)電氣設(shè)備在使用過(guò)程中出現(xiàn)的一些問(wèn)題進(jìn)行有效地監(jiān)控,而且還能對(duì)電氣系統(tǒng)進(jìn)行有效地模擬,對(duì)設(shè)備的開(kāi)關(guān)量進(jìn)行監(jiān)視,防止出現(xiàn)異常情況,一旦出現(xiàn)了異常情況,要自動(dòng)啟動(dòng)報(bào)警裝置,同時(shí)還能對(duì)一些電氣設(shè)備進(jìn)行切斷,從而使得電氣設(shè)備處于安全狀態(tài)。
第三,對(duì)電氣設(shè)備的操作進(jìn)行控制。電氣自動(dòng)化過(guò)程中,人工智能技術(shù)的應(yīng)用,可以使得電氣設(shè)備的操作過(guò)程變得更加簡(jiǎn)單,通過(guò)鼠標(biāo)和鍵盤(pán)可以實(shí)現(xiàn)對(duì)斷路器和電動(dòng)隔離開(kāi)關(guān)的控制,還可以對(duì)勵(lì)磁電流進(jìn)行調(diào)整。通過(guò)這種技術(shù)的應(yīng)用,就可以極大地減少工作人員的工作量,降低勞動(dòng)強(qiáng)度。
2 人工智能技術(shù)在電氣自動(dòng)化過(guò)程中的應(yīng)用
2.1 在電氣設(shè)備中的應(yīng)用
電氣設(shè)備的設(shè)計(jì)要符合自動(dòng)化操作的要求,在進(jìn)行設(shè)計(jì)的過(guò)程中,也應(yīng)該要加強(qiáng)對(duì)人工智能技術(shù)的應(yīng)用。由于電氣設(shè)備的系統(tǒng)比較復(fù)雜,包含了很多方面的知識(shí)和技能,因此在進(jìn)行設(shè)計(jì)的時(shí)候,有的系統(tǒng)設(shè)計(jì)也可以借助人工智能技術(shù)來(lái)完成,比如可以通過(guò)計(jì)算機(jī)設(shè)置一些算法,對(duì)電氣設(shè)備系統(tǒng)設(shè)計(jì)中的一些參數(shù)進(jìn)行計(jì)算,從而便于電氣設(shè)備控制系統(tǒng)的設(shè)計(jì),極大程度地提高設(shè)備的工作速率與質(zhì)量。
2.2 在電氣控制工作中的應(yīng)用
在電氣領(lǐng)域內(nèi),對(duì)電氣設(shè)備進(jìn)行控制是一個(gè)十分重要的部分,自動(dòng)化設(shè)備是當(dāng)前電氣行業(yè)的主要發(fā)展方向,在設(shè)備的控制上,也要逐漸實(shí)現(xiàn)智能化,可以極大程度增強(qiáng)工作效率,縮減資金成本,并且降低從業(yè)者的勞動(dòng)強(qiáng)度。比如人工智能技術(shù)中的模糊控制、神經(jīng)網(wǎng)絡(luò)控制、專家系統(tǒng)等,都是比較先進(jìn)的控制技術(shù),可以實(shí)現(xiàn)對(duì)各種設(shè)備的有效控制,韓劇熱的反思而且控制的效果很好,產(chǎn)生的誤差較小。比如在模糊控制中,較為常用的模糊控制方法有Sugeno與Mamdani兩種技術(shù),后者主要是應(yīng)用在對(duì)設(shè)備的速度調(diào)節(jié)的控制上,模糊控制的方法能夠以一種更高的效率來(lái)處理交流傳動(dòng)控制的相關(guān)問(wèn)題,從而使得電氣設(shè)備的工作質(zhì)量和工作效率有很大的提升。
2.3 在電氣設(shè)備的日常操作過(guò)程中的應(yīng)用
電氣行業(yè)與民眾的日常生活與工作都存在緊密的關(guān)聯(lián),各種電網(wǎng)十分復(fù)雜、電氣設(shè)備繁多,日常的控制工作也十分繁瑣。傳統(tǒng)的日常操作比較復(fù)雜,而且也會(huì)增加電氣系統(tǒng)控制的時(shí)間,降低控制效率。對(duì)此,要積極加強(qiáng)對(duì)人工智能技術(shù)的應(yīng)用,在日常工作過(guò)程中,可以通過(guò)人工智能技術(shù)設(shè)置一些基本的控制算法,應(yīng)用在日常系統(tǒng)操作期間,能夠?qū)?fù)雜的操作流程變得簡(jiǎn)潔,而且僅僅需要電腦就可以實(shí)現(xiàn)對(duì)各種操作的控制,最重要的是,通過(guò)人工智能技術(shù)的深化,還能實(shí)現(xiàn)遠(yuǎn)程控制,可以將操作界面進(jìn)行簡(jiǎn)化,及時(shí)處理并保存相關(guān)重要數(shù)據(jù),為將來(lái)的查找與應(yīng)用提供方便。在日常操作過(guò)程中,對(duì)于很多數(shù)據(jù)都要進(jìn)行記錄,比如電氣設(shè)備的損耗情況、電量等,如果采用人工記錄,則會(huì)有巨大的工作量,還容易出錯(cuò),但是應(yīng)用人工智能技術(shù)編制相應(yīng)的表格和數(shù)據(jù)采集系統(tǒng),則可以實(shí)現(xiàn)對(duì)數(shù)據(jù)的采集和有效保存,降低了工作強(qiáng)度,同時(shí)提高了工作效率。
2.4 在故障診斷過(guò)程中的應(yīng)用
在電氣運(yùn)行過(guò)程中,無(wú)論是客觀因素還是其他的主觀因素,都會(huì)造成電氣設(shè)備的故障以及事故,如果對(duì)于這些故障沒(méi)有及時(shí)進(jìn)行處理,找不到相應(yīng)的原因,則很有可能造成更嚴(yán)重的危害,會(huì)有較大的經(jīng)濟(jì)損失。電氣自動(dòng)化過(guò)程中,對(duì)設(shè)備的使用性能、故障等方面的診斷也要逐漸實(shí)現(xiàn)自動(dòng)化,而人工智能技術(shù)的應(yīng)用,將使得故障診斷過(guò)程變得更加簡(jiǎn)單。神經(jīng)網(wǎng)絡(luò)、模糊理論及專家系統(tǒng)是人工智能技術(shù)在電氣診斷過(guò)程中應(yīng)用的三種方式,這三種方法在故障的診斷以及事故的發(fā)生過(guò)程中發(fā)揮了十分重要的作用。借助智能技術(shù),將神經(jīng)網(wǎng)路、模糊理論等系統(tǒng)的結(jié)合在一起,就能夠處理電氣故障檢測(cè)耗費(fèi)時(shí)間長(zhǎng)、等待結(jié)果時(shí)間長(zhǎng)等問(wèn)題,可以對(duì)各種故障進(jìn)行精準(zhǔn)的判斷,并且為后續(xù)的故障處理提供更多充足的時(shí)間和依據(jù)。
2.5 在簡(jiǎn)化自控流程中的應(yīng)用
電氣領(lǐng)域的自動(dòng)化控制是一個(gè)十分復(fù)雜的過(guò)程,對(duì)于各個(gè)步驟的要求都比較嚴(yán)格,一旦某個(gè)環(huán)節(jié)出現(xiàn)了紕漏,則會(huì)造成嚴(yán)重的后果,引發(fā)較大的經(jīng)濟(jì)損失。人工智能技術(shù)的應(yīng)用可以對(duì)各種設(shè)備使用情況、故障情況等進(jìn)行分析,進(jìn)而設(shè)計(jì)出合理的故障處理方法,盡可能確保電氣自控工作的質(zhì)量。而且這種技術(shù)的應(yīng)用,還可以實(shí)現(xiàn)遠(yuǎn)程維修,簡(jiǎn)化了過(guò)程。
3 結(jié)語(yǔ)
綜上所述,人工智能技術(shù)在電氣自動(dòng)化過(guò)程中的應(yīng)用包括多方面內(nèi)容,比如電氣設(shè)備的操作、故障的診斷、自動(dòng)控制流程的簡(jiǎn)化等,都可以借助人工智能技術(shù),使得各個(gè)過(guò)程變得簡(jiǎn)單、快捷,促進(jìn)電氣設(shè)備的自動(dòng)化水平不斷提升。
【參考文獻(xiàn)】
[1]胡燕來(lái).淺談電氣自動(dòng)化控制中的人工智能技術(shù)[J].建筑·建材·裝飾,2015(03).
級(jí)別:省級(jí)期刊
榮譽(yù):中國(guó)優(yōu)秀期刊遴選數(shù)據(jù)庫(kù)
級(jí)別:部級(jí)期刊
榮譽(yù):中國(guó)優(yōu)秀期刊遴選數(shù)據(jù)庫(kù)
級(jí)別:北大期刊
榮譽(yù):Caj-cd規(guī)范獲獎(jiǎng)期刊
級(jí)別:省級(jí)期刊
榮譽(yù):中國(guó)期刊全文數(shù)據(jù)庫(kù)(CJFD)
級(jí)別:北大期刊
榮譽(yù):中國(guó)優(yōu)秀期刊遴選數(shù)據(jù)庫(kù)