/人工智能是何時、何地誕生的？答：人工智能是1956年，在美國的達特茅斯大學有十多位數學家、心理學家和信息論方面的專家參加的，關于利用計算機模擬人類只能行為的學術會議。大會由麥卡錫（M.MaCarthy）教授正式提出“人工智能〞這一術語。人工智能主要有哪些研究領域？答：人工智能主要有機器學習、專家系統和自然語言處理等方面。人工智能程序與通常意義下的程序比較具有哪些特點？答：以符號表示的知識而不是數值數據；采用啟發式推理方法而不是常規的算法；控制結構與領域知識是別離的；允許出現不正確的答案。在人工智能中，通常知識表示的方法有哪些？答：基于邏輯謂詞邏輯表示法、產生式系統表示法、語義網絡表示法、框架表示法、過程表示法等。開發專家系統需要解決哪三個根本問題？答：知識獲取、知識表示和知識推理。語義網絡是用何方法表示的【節點1，有向弧，節點2】三元式連接而成的？答：有向圖，其中節點表示事物、概念、事件或情況等；弧表示節點間的語義關系。在語義網絡中，為了表示節點間屬性的繼承推理，規定了兩個約定俗成的鏈，命名為ISA和AKO，用來說明類和子類、類和個體之間的關系。請用框架系統描述學生框架、教師框架之間的師生框架答：Frame<student>Name:Unit(Lastname,Firstname)Sex:area(male,female)Default:maleAge:Unit(years)If-needed:ask-ageTeacher-student:<Teacher>Frame<Teacher>Name:Unit(Lastname,Firstname)Sex:area(male,female)Default:maleAge:Unit(years)If-needed:ask-ageMajor:Unit(major)Project:area(nation,provincial,other)Student:<Student>9、給出符號微積分根本公式的產生式表示答：微積分根本公式（牛頓-萊布尼茲公式）：如果函數是連續函數在上的一個原函數，則。由于又可以記成，因此產生式可以表示成如下兩種。如果函數是連續函數在上的一個原函數，那么如果函數是連續函數在上的一個原函數，那么10用適宜的方法表述Hanoi塔問題。在Ａ針上串有若干個金片，小金片在大金片上面?，F要求將Ａ針的金片全部移到Ｂ針上。移動操作要遵守以下規則：（1）一次只能搬一個金片；（2）不能將大金片放在小金片上；（3）可以利用C針答：可以采用與/或樹表示法。設有編號分別為1、2、3的三個金片，1號比2號小，2號比三號小，有A、B、C三針，如題要把A針上的金片全部搬到B針上。第一步：設三元組（i,j,k）表示問題的任一狀態，用→表示狀態的轉化。i代表3號金片所在的針，j代表2號金片所在的針，k代表1號金片所在的針。則原問題可以表述為（A,A,A）→（B，B，B）第二步：利用歸約的方法，原問題可以分解為以下三個子問題。（1）（A，A，A）→（A，C，C）（2）（A，C，C）→（B，C，C）（3）（B，C，C）→（B，B，B）其中（1）又可以歸結為（A，A，A）→（A，A，B）；（A，A，B）→（A，C，B）；（A，C，B）→（A，C，C）也可以歸結為：（B，C，C）→（B，C，A）；（B，C，A）→（B，B，A）；（B，B，A）→（B，B，B）第三步：構造與/或樹11、任何通過計算機考試并獲獎的人都是快樂的，任何學習或幸運的人都可以通過所有考試，張不肯學習但他是幸運的，任何幸運的人都能獲獎。求證：張是快樂的。答：定義謂詞：任何通過計算機考試并獲獎的人都是快樂的任何學習或幸運的人都可以通過所有考試張不肯學習但他是幸運的任何幸運的人都能獲獎目標：“張是快樂的〞否認將上述謂詞公式轉化為字句集①②③④⑤⑥⑦按謂詞邏輯的歸結原理對此字句集進行歸結，其歸結如下：⑤和③歸結：……….⑧和⑧歸結：………⑨⑤和⑥歸結：……..⑩⑨和⑩歸結：……….⑾⑦和⑾歸結：NIL這樣：證明張是快樂的

12、魯濱遜歸結原理是什么及根本思想答：魯濱遜歸結的原理是通過對字句集中的字句做屢次的歸結產生空字句，從而證明字句集的不可滿足性，從而結果得以證明。其根本思想：首先把欲證明問題的結論否認，并參加字句集，得到一個擴充的字句集。然后設法檢驗該字句集中是否含有空子句，若沒有空字句，則繼續使用歸結法，制動推導出空字句為止。13、對字句集分別用線性輸入策略證明該子聚集的不可滿足性答：線性輸入策略：指的是每次參與歸結的兩個親本字句，至少有一個是初始子聚集中的字句。14、：張和李時同班同學，如果和是同班同學，則的教室也是的教室，現在張在302教室。問：現在李在哪個教室上課？（請用歸結反演樹求解問題的答案）。答：一般歸結反演樹即采用證明樹的方式進行首先對目標用重言式表示。在反復歸結，最終求解出問題的答案。（1）首先定義謂詞C(x,y):x是y的同班同學At(x,u):x在u教室上課（2）將前提采用謂詞公式表示C(zhang,li)（3）將目標用重言式表示：目標否認證明樹（4）該證明樹的根字句即為所求的答案：李在302教室。15、用A*算法求解“野人渡河(M-C)〞問題。該問題描述為：3個傳教士(missionaries)和3個野人(cannibals)在河左岸，現有一船也在左岸。傳教士像用這只船把所有的野人運到河對岸，但受以下條件約束：一是傳教士和野人都會劃船，但每次穿上至多可載兩個人。二是在河的任一岸，如果野人數目超過傳教士數目，傳教士會被野人吃掉。如果野人會服從任何一次過河安排，請規劃一個確保傳教士和野人都能過河且沒有傳教士被野人吃掉的平安過河方案。答：A*算法是一種啟發式搜索算法，估價函數的選擇非常重要。它是由兩局部組成的：一局部是從初始節點S0到節點n的最小代價，記為，另一局部是從節點n到目標節點的最小代價，記為，則有=+，其中是的估計，是的最小估計。這樣的算法成為A*算法。（1）對于“野人渡河〞問題，采用為節點的深度d(n)，