第1 緒定義 定義 符號主 認為人工智能起源于數理連接主 認為人工智能起源于仿生學行為主 認為人工智能起源于控制論第2 知識表示方2.1例2：(分油問題有A、B、C三個不帶刻度的瓶子，分別能裝8kg,5kg和3kg油。如果A瓶 f1

f5f3

f7

f8f1

{f1,f4,f7,f6,f1,f4,f7}M算符R(i,j)表示劃船將i個傳教士和j個野算符L(i,j)表示劃船從左岸將i個傳教士和F：R(1,0),R(2,0),R(1,1),R(0,1),L(1,0),L(2,0),L(1,1),L(0,1),

L(1,0)

R(1,0)

{R(1,1),L(1,0),R(0,2),L(0,1),R(2,0),R(2,0),L(0,1),R(0,2),L(1,0),R(1,1)}例1定義謂詞及個體。Computer(x):x是計算機系的學生。Like(x,y):x喜序(programming),李曉鵬(lixp)，以及函數Computer(zhangxh),programming),Higher(lixp,Computer(zhangxh)~Like(zhangxh,Higher(lixp,father(lixp))（?x)(Man(x)→Love(x,勞動(3)西安市的夏天既干燥又炎熱。MAN(x)：x→LIKE(x,《SHUIHU》LIKE(x,y):x喜歡y。設TIME(x):x2.4例1

本知識涉及的對象有4

不咬人 1974年，由Minsky在“Aframeworkforrepresentingknowledge”中提出。”又可劃分為若干個“側面”對各層對象的“槽”及“側面”【虛擬新華社3月15日電】昨日，在云南玉溪地區發生地震，造成財產損失約10萬元，統計部門如果需要詳細的損失數字，可電詢62332931。另據專家認為震級不會超過4級，并認為地處無人區，不會Frame財產損失、傷亡人數、震級大小等屬性，所以，可將時間、地點、震級、傷亡人數、財由于報道中只涉及地震一件事，所以該步可框架名：＜地震3月地點：云南玉專家經驗準確值： 第3 搜索推理技第3 搜索推理技第3 搜索推理技狀態空間法第3 搜索推理技圖搜索過程框 開n

成 做有序搜索(orderedsearch)。 解：因此，起始節點棋局的f值等于0+3=3 ?P(f(x,y))]∧~(?y)[Q(x,y)?(?x){~P(x)∨{(?y)[~P(y)P(f(x,y))]∧~(?y)[~Q(x,y)∨(?y){~[~Q(x,y)∨P(y)]}}}(?y)[Q(x,y)∧~P(y)]}}[Q(x,g(x))∧~P(g(x))]}}(?x)(?y){~P(x)∨{[~P(y)∨P(f(x,y))]∧[Q(x,g(x))∧~P(g(x))]}}(?x)(?y){[~P(x)∨~P(y)∨[~P(x)∨Q(x,g(x))]∧[~P(x)∨~[~P(x)∨~P(y)∨P(f(x,y))]∧Q(x,g(x))]∧[~P(x)∨~~P(x)∨~P(y)∨~P(x)∨~P(x)∨~~P(x1)∨~P(y)∨~P(x2)∨~P(x3)∨~1NIL( (3)(4)～P(h(y))∨Q(f(h(y)),a)∨～P(z)}例 證明(?x)(P(x)?(Q(x)∧R(x)))∧(P(x)∧T(x))(P(x)∧T(x))所以S1={～P(x1)∨Q(x1),G2:(?x)所以S2P(a),S=S1∪S2∪S～B={～P(x1)∨Q(x1),～P(x2)∨R(x2),P(a),T(a),～T(x3)∨～R(x3)} 證：定義：P(x)表示錄用x。則結論為故證得結論：公司一定錄取步驟若得答案ANSWER，則答案就在ANSWER中(?x)(AT(JOHN,x)? AT(JOHN, 其子句形為 將它與謂詞ANSWER 解：定義：P(x)表示錄用x。則結論為將前提化為子句集：(1)將結論否定與謂詞ANSWER 可見公司一定錄取例 目標公式 ①②③～C(x,y)∨～T(z,x)∨T(z,y)將它與謂詞ANSWER④IF前 結2初始狀 目標狀解：1）其中3≥i,j≥1。i0,j0表示空格所在的行和