a、每乙個一階邏輯的知識庫都能被命題化
b、思路：例項化kb和查詢（即例項化）；歸結；返回結果
c、命題邏輯導致的知識庫的擴張可能是無限的（當包含涵詞的時候，物件無限多可能會導致知識庫無限擴張）
d、命題化可能產生許多無關語句
e、對於p個k階謂詞（謂詞中有多少個引數）和n個常數（引數可以用多少個常數代替），共產生pn^k個例項化
a、使得兩個謂詞相等的一種變數置換操作
b、兩條語句為輸入，合一置換存在則返回他們的合一置換
c、舉例：
p=know(john,x)，q=know(john,jane)
合一置換結果為x=jane
p=know(john,x)，q=know(y,oj)
合一置換結果為x=oj，y=john
p=know(john,x)，q=know(y,mather(y))
合一置換結果為x=mather(john)，y=john
p=know(john,x)，q=know(x,oj)
合一置換結果為fail
p=know(john,x)，q=know(y,z)
合一置換結果為y=john，x=z或y=john，x=john，z=john，選擇第一種更一般的置換
d、合一操作的置換結果可能不唯一，但存在唯一的乙個最一般合一置換，其他的合一置換都由最一般的衍生而來
a、對於原子語句pi，pj，q存在置換是的所有的i都有subst(θ，pj)=subst(θ，pi)成立，則有：
b、θ為乙個可能的模型（結果），如果該結果同時讓所有的p成立，且p可以推出q，則θ能讓q成立，即存在subst(θ，q)，就是把結果θ帶入後的例項化後的語句。
一階邏輯 備忘
所有的無限迴圈小數都是有理數。即 對於論域中的所有個體，要麼它不是無限迴圈小數 要麼它是無限迴圈小數，同時是有理數。f x x是無限迴圈小數 g x x是有理數 x g 有的素數是偶數。即 存在乙個數，它是素數，同時它也是偶數。f x x是素數 g x x是偶數 x 並非所有的f都g x f x g...
機器智慧型實驗二 prolog程式設計實現一階邏輯推理
學會使用prolog語言 用prolog語言鞏固一階邏輯知識 能夠使用prolog語言實現一階邏輯的證明 硬體 計算機 軟體 作業系統 windows 應用軟體 prolog 熟悉prolog語言的使用並實現對於一階邏輯推理的證明 實驗步驟 1.構建乙個pl檔案，首先建立乙個記事本，寫入實驗內容之後...
機器智慧型 高頻問題 CSP搜尋
csp搜尋的作用就是在應用約束傳播縮小值域範圍後開始使用搜尋演算法來得到最終結果。輸入是乙個csp問題，輸出是乙個解決方案。a 轉態是由賦值的變數決定的 b 初始狀態設為空 c 步驟 給乙個沒有賦值的變數賦值，該賦值不與當前已賦值的變數相衝突 d 目標測試 如果所有的賦值完成且滿足終止狀態，則搜搜結...