第二章 知識表示 （填空，選擇欣范，判斷）
知識：把有關 (信息關聯(lián)) 在一起所形成的信息結構。
知識的特性 (相對正確性弊仪，不確定性熙卡，可表示性與可利用性)
知識表示（knowledge representation）：將人類知識形式化或者模型化。
謂詞的一般形式： （常量 變量 函數(shù)）
謂詞公式的（永真性励饵、可滿足性驳癌、不可滿足性）
謂詞邏輯表示法是一種基于(數(shù)理邏輯)的知識表示方式。
產(chǎn)生式系統(tǒng)的基本結構 （控制 規(guī)則庫 推理機 綜合數(shù)據(jù)庫）
產(chǎn)生式表示法的優(yōu)點（自然性 模塊性 有效性 清晰性）
產(chǎn)生式表示法的缺點（效率不高 不能表達結構性的知識）
框架表示法是一種(結構化)的知識表示方法役听，在很多系統(tǒng)中得到應用颓鲜。
框架（frame）：一種描述所論對象（一個事物、事件或概念）屬性的數(shù)據(jù)結構典予。
框架表示法的特點 （結構性 繼承性 自然性）
以下屬于產(chǎn)生式的是甜滨？ （編譯原理中的文法）
論域是由所討論對象的全體構成的非空集合。 （正確）
第三章 確定性推理方法
產(chǎn)生式系統(tǒng)的推理包括（正向推理瘤袖、逆向推理衣摩、先正向推理，再逆向推理捂敌、先逆向推理艾扮，再正向推理）
產(chǎn)生式系統(tǒng)推理過程中既琴，如果出現(xiàn)多個產(chǎn)生式規(guī)則匹配成功，我們稱之為發(fā)生了(沖突)泡嘴，要進行(沖突消解)才能夠繼續(xù)進行推理甫恩。
用歸結反演進行問題求解（大題一）
繪制歸結樹（大題二）
第五章 搜索求解策略
在寬度優(yōu)先搜索算法中，OPEN表的數(shù)據(jù)結構實際是一個(隊列)酌予。
在深度優(yōu)先搜索算法中磺箕，OPEN表的數(shù)據(jù)結構實際是一個(堆棧)。
狀態(tài)空間表示法用“狀態(tài)”和“算符”來表示問題
常用的盲目搜索策略有（回溯 寬度優(yōu)先 深度優(yōu)先）抛虫。
問題歸約的方式包括(分解 等價交換)松靡。
與或樹的盲目搜索包括(自頂向下的擴展 自底向上的標識) 。
狀態(tài)空間表示法中莱褒，問題的解是（從初始狀態(tài)到目標狀態(tài)所使用算符的序列）
f(x) = g(x) + h(x)
g(x)為從初始節(jié)點S0到節(jié)點x已經(jīng)實際付出的代價击困；
h(x)是從節(jié)點x到目標節(jié)點Sg的最優(yōu)路徑的估計代價，
h(x)稱為啟發(fā)函數(shù)广凸，它體現(xiàn)了問題的啟發(fā)性信息阅茶。
與或樹代價
希望樹
倒推值的計算
極大極小值分析和剪枝
在極大極小分析法中，對于或節(jié)點谅海，選其子節(jié)點中一個最大的得分作為父節(jié)點的得分脸哀。
在極大極小分析法中，對于與節(jié)點扭吁，選其子節(jié)點中一個最小的得分作為父節(jié)點的得分撞蜂。
