0、費根鮑姆是第一個提出知識工程的人工智能學者
01、圖靈測試指的是測試者與被測試者（一個人和一臺機器）隔開的情況下，通過一些裝置（如鍵盤）向被測試者隨意提問。 進行多次測試後，如果機器讓平均每個參與者做出超過30%的誤判，那麼這臺機器就通過了測試，並被認爲具有人類智能
1、知識表示是？
2、常用的知識表示方法
3、產生式系統的定義、組成
4、可交換產生式系統定義
5、產生式系統的工作方式？
6、產生式系統的特點：（3點）
7、控制策略（兩種 其中一種是！！！試探性控制策略）
8、特殊的產生式系統及其特點或定義
8*產生式系統的基本過程
8**、可分解的產生式系統的基本過程和控制策略作用的部分
9、八數碼最開始介紹的一個不可撤回的控制策略有？定義是？
10、八數碼問題——回溯（定義了回溯深度6！！！深度從1開始，沒有使用啓發信息）
和不可撤回的控制策略兩種(注意深度搜索也就是回溯法是可以記住之前的狀態的!!!,回溯的過程中即每一次遞歸的時候是知道當前節點之前鏈接節點的順序和結構的，所以碰到想通的狀態就返回了，其次纔是到達最大搜索深度返回)
完全回溯方法見書本P27
11、圖搜索控制策略的特點（4）
12、四皇后回溯法和啓發信息回溯法
13、圖搜索策略
A、有向圖表示：
圖的內涵相對於產生式系統：
目的：
B、有向樹定義？
C、加權有向圖定義：
D、隱含圖定義：
14、啓發式搜索相關概念及定義
15、啓發式搜索例子：（注意用的是graphsearch,與DFS和BFS都不一樣）
16、搜索的相關概念：(三種方式、三種應用特點，着重看分階段搜索)
17、可採納性：
18、A*可採納性：
19、最佳解路徑定義：
20、A*算法的定義：
21、A*算法有關的七個定理或引理或推論
22、A*算法的比較
23、算法A1和A2比較——>？
24、單調限制及其性質的定義
25、單調限制相關的兩個定理
26、A*算法小結（3個）
27、算法A的啓發能力定義、影響因素
28、A*可採納性和其他A算法的比較
29、啓發能力度量的影響因素、判斷、度量作用、度量方法有哪些，他們的定義和特點是什麼？
30、AO*算法的可採納性
31、與或圖定義
32、可分解產生式系統的任務
33、SOLVED節點（分三類說明）
34、AO*算法組成
35、博弈樹搜索（特點）
36、雙人博弈實例：
37、靜態估計值函數e(p)的定義：
38、極小極大過程存在的問題：
39、剪枝效率
40、博弈問題的描述方法：
41、雙人完備信息的博弈問題
42、原子集定義
43、基例定義.
44、已知S＝ {Q(a)Ú～P(f(x))，～Q(b)Ú P(g(x,y))}， 求S的原子集， 分別給出Q(a)Ú～P(f(x)) ， ～Q(b)Ú P(g(x,y))的一個基例。？？？？？？？？？？？？？？？？？？？？？
理解：Q(),P()兩個裏面都是隻有一個元素，因此它們各自是一元謂詞，因爲有Q(a),Q(b),Q(f(a))…P(a),P(b),P(f(a)),P(g(a,a))…的形式作爲原子集中的元素
比如如下的例子
Q(y,f(y,a))裏面有a常量，但是不用管，f是個二元函數，就將其當成f(t1,t2)正常去替換就可以了
45、H解釋定義
46、一階邏輯解釋的定義（謂詞邏輯中解釋的定義，其實就是普通解釋I）
47、只考慮子句集的H解釋是否夠用？
48、Horn邏輯定義