人工智能 ai2節(jié)作業(yè)題解釋

1、作 業(yè),1. 用謂詞邏輯知識(shí)表示方法表示如下知識(shí)： (1) 有人喜歡梅花，有人喜歡菊花，有人既喜歡梅花又喜歡菊花。 (2) 不是每個(gè)計(jì)算機(jī)系的學(xué)生都喜歡在計(jì)算機(jī)上編程序。2. 請(qǐng)用語(yǔ)義網(wǎng)絡(luò)表示如下知識(shí)： 高老師從3月到7月給計(jì)算機(jī)系的學(xué)生講“計(jì)算機(jī)網(wǎng)絡(luò)”課。3. 什么是產(chǎn)生式系統(tǒng)？它由哪幾個(gè)主要部分組成？4. 判斷以下子句集是否為不可滿足 {P(x)∨Q(x )∨R(x), ﹁P(y)∨R(y),

2、 ﹁ Q(a), ﹁R(b)} 5. 證明G是F的邏輯結(jié)論 F: (?x)(?y)(P(f(x))∧(Q(f(y))) G: P(f(a))∧P(y)∧Q(y),作 業(yè) 題 參 考 解,1. 用謂詞邏輯知識(shí)表示方法表示如下知識(shí)： (1) 有人喜歡梅花，有人喜歡菊花，有人既喜歡梅花又喜歡菊花。 (2) 不是每個(gè)計(jì)算機(jī)系的學(xué)生都喜歡在計(jì)算機(jī)上編程序。 解：(1) 定義謂詞 P(

3、x)：x是人 L(x,y)：x喜歡y其中，y的個(gè)體域是{梅花，菊花}。 將知識(shí)用謂詞表示為： (?x)(P(x)→L(x, 梅花)∨L(x, 菊花)∨L(x, 梅花)∧L(x, 菊花)) 解：(2) 定義謂詞 S(x)：x是計(jì)算機(jī)系學(xué)生 L(x, pragramming)：x喜歡編程序 U(x,computer)：x使用計(jì)算機(jī) 將知識(shí)用謂詞表示為：

4、 ¬ (?x) (S(x)→L(x, pragramming)∧U(x,computer)),作 業(yè) 題 參 考 解,2. 請(qǐng)用語(yǔ)義網(wǎng)絡(luò)表示如下知識(shí)： 高老師從3月到7月給計(jì)算機(jī)系的學(xué)生講“計(jì)算機(jī)網(wǎng)絡(luò)”課。 解：,講課事件,計(jì)算機(jī)系學(xué)生,高老師,老師,計(jì)算機(jī)網(wǎng)絡(luò),講課,3月,7月,,,,,,,,Subject,Object,Course,Action,Start,End,Isa,作業(yè)題參考解,P(x)∨Q(

5、x )∨R(x),﹁P(y)∨R(y),Q(x)∨R(x),﹁ Q(a),R(a),﹁ R(b),NIL,{x/y},{a/x},{a/b},,,,,,,4. 判斷以下子句集是否為不可滿足 {P(x)∨Q(x )∨R(x), ﹁P(y)∨R(y), ﹁ Q(a), ﹁R(b)} 解：采用歸結(jié)反演，存在如下歸結(jié)樹(shù)，故該子句集為不可滿足。,作 業(yè) 題 參 考 解,﹁P(f(a)) ∨﹁Q(f(a)),NIL,{a/w},,,,

6、,5、證明G是F的邏輯結(jié)論 F: (?x)(?y)(P(f(x))∧(Q(f(y))) G: P(f(a))∧P(y)∧Q(y)證：先轉(zhuǎn)化成子句集 對(duì)F，進(jìn)行存在固化，有 P(f(v))∧(Q(f(w)))得以下兩個(gè)子句 P(f(v))，Q(f(w)) 對(duì)﹁G，有 ﹁ P(f(a))∨﹁P(y) ∨﹁Q(y)先進(jìn)行內(nèi)部合一，設(shè)合一{f(a)/y}，則有