人工智能-知識表示

1用謂詞公式表示下列語句

（1）有的人喜歡梅花，有的人喜歡菊花，有的人既喜歡梅花又喜歡菊花。
（2）要想出國留學，必須通過外語考試。

（1）Human(x):x是人

    ​    ​ Club(x): x是梅花

    ​    ​ Chrysanthemum(x): x是梅花

     ​    ​Love(x,y): x loves y

    ​    ​ (∃x) (∃y) (∃z)(Human(x)∧Club(y)∧Chrysanthemum(z)∧(Love(x,y)∨Love(x,z)∨(Love(x,y)∧Love(x,z)))

（2）Human(x):x是人

    ​    ​ GoAboard(x): x可以出國留學

    ​    ​ Pass(x,y): x通過y考試

    ​    ​ (∃x)（(Human(x)∧Pass(x,English))=>GoAboard(x)）

2請對下列命題分別寫出它的語義網絡。

（1）孫老師從2月至7月給計算機應用專業講“網絡技術”課程。
（2）王麗是電腦公司的經理，她35歲，公司位於南內環街68號。

 

（1）

（2）

3分別用狀態空間表示法與謂詞邏輯法表示猴子和香蕉問題。

猴子和香蕉問題：在一個房間內有一只猴子、一個箱子和一束香蕉。香蕉掛在天花板下方，但猴子高度不足以碰到它。猴子如何拿到香蕉？

 

　　Animal(x): x是動物

　　Tool(x): x是工具

　　Fruit(x): x是水果

　　Position(x,y): x在y處

初始狀態：Position(Animal(Monkey),a)∧Position(Fruit(Banana),c)∧Position(Tool(box),b)

目標狀態：Position(Tool(box),c)∧Position(Animal(Monkey),Tool(box))∧Position(Fruit(Banana),Animal(Monkey))

(W,x,Y,z)表示問題狀態

　　W-猴子水平位置

　　x-當猴子在箱頂時，則x=1; 否則x=0

　　Y-箱子水平位置

　　z-當猴子摘到香蕉時，則z=1;否則z=0

操作:
GOTO(x, y):從x處走到y處。      PUSH(x, y)把箱子從x處推倒y處。
CLIMB(x):在x處爬上箱子。       GET(x):在x處得到香蕉。
操作對應的條件與動作如下:
GOTO(x, y)
條件: AT(monkey, x)∧~ ON(monkey, box)
動作:刪除: AT(monkey, x)
添加: AT(monkey, y)
PUSH(x, y)
條件: AT(monkey, x) ∧BOX(x) ∧~ ON(monkey, box)

4 試用四元數列結構表示四盤梵塔問題，並畫出求解該問題的與或圖。