人工智能重點(diǎn)詞匯表

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

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

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

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

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

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

7、又自底向上（bottomdown）直至之間環(huán)節(jié)兩個(gè)方向底結(jié)果相符便成功結(jié)束。顯然，這種推理方式的推理網(wǎng)絡(luò)較小，效率也較高。40.語義網(wǎng)絡(luò)語義網(wǎng)絡(luò)是一種用實(shí)體及其語義關(guān)系來表達(dá)知識(shí)的有向圖。結(jié)點(diǎn)：代表實(shí)體，表示各種事物、概念、情況、屬性、狀態(tài)、事件、動(dòng)作等；?。捍碚Z義關(guān)系，表示它所連接的兩個(gè)實(shí)體之間的語義聯(lián)系。41.框架框架是由若干結(jié)點(diǎn)和關(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)。框架由框架名和一些槽組成，每個(gè)槽有槽值，槽值就代表信息。42.對象對象是由一組數(shù)據(jù)和與該組數(shù)據(jù)相關(guān)的操作構(gòu)成的實(shí)體。在面向?qū)ο蟊硎局蓄惡皖惱^承是一組重要概念。類由一組變量和一組操作組成，它描述了一組具有相同屬性和操作的對象。每一個(gè)對象都屬于某一類，每個(gè)對象都可由相關(guān)的類生成，換言之，對象是類的實(shí)例。一個(gè)類可以通過繼承擁有另一類的全部變量和操作，繼

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