人工智能重點詞匯表

1、1.人工智能人工智能從狹義的概念上來講，人工智能是計算機科學中涉及研究，設(shè)計和應用智能機器的一個分支，是智能計算機系統(tǒng)的研究。從廣義上來講，人工智能是指人類智能行為規(guī)律、智能理論方面的研究。2.圖靈試驗圖靈試驗當一個人與一個封閉房間里的人或者機器交談，如果他不能分辨自己問題的回答是計算機還是人給出，則稱該機器是具有智能的。以往該試驗幾乎是衡量機器人工智能的唯一標準，但是從九十年代開始，現(xiàn)代人工智能領(lǐng)域的科學家開始對此試驗提出異議。反對封

2、閉式的，機器完全自主的智能。提出與外界交流的，人機交互的智能。3.歸結(jié)原理歸結(jié)原理又稱為消解原理。該原理是一種基于邏輯的、采用反證法的推理方法。由于其理論上的完備性，歸結(jié)原理成為機器定理證明的主要方法。4.命題命題描述事實、事物的狀態(tài)、關(guān)系等性質(zhì)的文字串，取值為真或假（表示是否成立）的句子。5.范式范式范式是公式的標準形式，公式往往需要變換為同它等價的范式，以便對它們作一般性的處理。6.前束范式前束范式A是一個前束范式，如果A中的一切量

3、詞都位于該公式的最左邊（不含否定詞），且這些量詞的轄域都延伸到公式的末端。7.Skolem標準形標準形前束范式中消去所有的存在量詞，則稱這種形式的謂詞公式為Skolem標準形。8.文字文字不含任何連接詞的謂詞公式。9.子句子句一些文字的析?。ㄖ^詞的和）。10.子句集子句集所有子句的集合。11.一階邏輯一階邏輯謂詞中不再含有謂詞的邏輯關(guān)系式。12.個體詞個體詞表示主語的詞。13.謂詞謂詞刻畫個體性質(zhì)或個體之間關(guān)系的詞。14.量詞量詞表示數(shù)

4、量的詞。15.置換置換可以簡單的理解為是在一個謂詞公式中用置換項去置換變量。置換是形如t1x1t2x2…tnxn的有限集合。其中，x1x2…xn是互不相同的變量，t1t2…tn是不同于xi的項（常量、變量、函數(shù)）；tixi表示用ti置換xi，并且要求ti與xi不能相同，而且xi不能循環(huán)地出現(xiàn)在另一個ti中。16.歸類歸類設(shè)有兩個子句C和D，若有置換σ使得CσD成立，則稱子句C把子句D歸類。17.支撐集支撐集設(shè)有不可滿足子句集S的子集T，

5、如果ST是可滿足的，則T是支持集。18.公式公式G永真永真對于G的所有解釋，G都為真。函數(shù)加以形式描述，獲得有關(guān)的邏輯公式，進而以機器內(nèi)碼表示。33.知識庫知識庫由規(guī)則庫和數(shù)據(jù)庫組成。規(guī)則庫是產(chǎn)生式規(guī)則的集合，數(shù)據(jù)庫存放輸入事實、外部數(shù)據(jù)庫輸入的事實以及中間結(jié)果和最后結(jié)果。34.推理機推理機是一個程序，控制協(xié)同規(guī)則庫與數(shù)據(jù)庫的運行，包含了推理方式和控制策略。推理方式有正向推理、反向推理和雙向推理。35.產(chǎn)生式系統(tǒng)產(chǎn)生式系統(tǒng)把一組產(chǎn)生式放

6、在一起，讓它們互相配合，協(xié)同工作，一個產(chǎn)生式生成的結(jié)論可以供另一個產(chǎn)生式作為前提使用，以這種方式求得問題的解決，這樣的系統(tǒng)就叫做產(chǎn)生式系統(tǒng)。36.與或圖與或圖各個事實之間的邏輯關(guān)系圖。37.正向推理正向推理是從已知事實出發(fā)，通過規(guī)則庫求得結(jié)論?；蚍Q數(shù)據(jù)驅(qū)動方式為Bottomup。38.反向推理反向推理從目標出發(fā)，反向使用規(guī)則，求得已知事實，或稱目標驅(qū)動方式也稱自頂向下（Topdown）。39.雙向推理雙向推理既自頂向下（Topdown）

7、又自底向上（bottomdown）直至之間環(huán)節(jié)兩個方向底結(jié)果相符便成功結(jié)束。顯然，這種推理方式的推理網(wǎng)絡(luò)較小，效率也較高。40.語義網(wǎng)絡(luò)語義網(wǎng)絡(luò)是一種用實體及其語義關(guān)系來表達知識的有向圖。結(jié)點：代表實體，表示各種事物、概念、情況、屬性、狀態(tài)、事件、動作等；?。捍碚Z義關(guān)系，表示它所連接的兩個實體之間的語義聯(lián)系。41.框架框架是由若干結(jié)點和關(guān)系（統(tǒng)稱為槽）構(gòu)成的網(wǎng)絡(luò)，是語義網(wǎng)絡(luò)一般化的形式，與后者沒有本質(zhì)的差別?？蚣苁潜硎灸骋活惽榫暗慕Y(jié)構(gòu)

8、化的一種數(shù)據(jù)結(jié)構(gòu)，框架的最頂層是固定的一類事物，基于概念的抽象程度表現(xiàn)出自上而下的分層結(jié)構(gòu)。框架由框架名和一些槽組成，每個槽有槽值，槽值就代表信息。42.對象對象是由一組數(shù)據(jù)和與該組數(shù)據(jù)相關(guān)的操作構(gòu)成的實體。在面向?qū)ο蟊硎局蓄惡皖惱^承是一組重要概念。類由一組變量和一組操作組成，它描述了一組具有相同屬性和操作的對象。每一個對象都屬于某一類，每個對象都可由相關(guān)的類生成，換言之，對象是類的實例。一個類可以通過繼承擁有另一類的全部變量和操作，繼

9、承是面向?qū)ο蟊硎痉ǖ闹饕评硇问健Ｍ瑫r，由于一個事物的描述都集中在一個類中，又體現(xiàn)了類的封裝性。繼承和封裝是面向?qū)ο蟮膬纱筇攸c。43.學習學習是人類具有的一種重要智能行為。按照人工智能大師西蒙（Simon，1983）的觀點，學習就是系統(tǒng)在不斷重復的工作中對本身能力的增強或者改進，使得系統(tǒng)在下一次執(zhí)行同樣任務或相類似的任務時，會比現(xiàn)在做得更好或效率更高。西蒙對學習給出的定義本身，就說明了學習的重要作用。44.符號處理技術(shù)符號處理技術(shù)基于符