人工智能作业答案(中国矿大).

　1 把以下合适公式化简为合取范式的子句集: (1⌝ (∀x(∃y(∃z{P(x ⇒ (∀x[Q(x, y ⇒ R(z]} (2( ∀x( ∃y{{P(x ∧ [Q(x ∨ R(y]} ⇒ (∀y[P(f(y ⇒ Q(g(x]} (3 (∀x( ∃y{P(x ∧ [Q(x∨ R(y]}⇒ (∀y{[P(f(y⇒ Q(g(y]⇒ (∀xR(x} (1 ∙⌝(∀x( ∃y( ∃z{P(x ⇒ (∀x[Q(x,y ⇒ R(z]} ∙⌝(∀x( ∃y( ∃z{ ⌝P(x ∨ ( ∀x[⌝Q(x,y ∨ R(z]} ∙ (∃x( ∀y( ∀z{ P(x ∧ (∃ x[Q(x,y ∧⌝R(z]} ∙ P(A ∧ [Q(f(y,z, y ∧⌝R(z] ∙ {P(A, Q(f(y,z,y, ∧⌝R(w} (2∙ (∀x(∃y{{P(x ∧ [Q(x ∨ R(y]} ⇒ (∀y[P(f(y ⇒ Q(g(x]} ∙ (∀x(∃y{⌝{P(x ∧ [Q(x ∨ R(y]} ∨(∀y[⌝P(f(y ∨ Q(g(x]} ∙ (∀x(∃y{⌝P(x ∨ [⌝Q(x ∧⌝R(y] ∨ (∀w[⌝P(f(w ∨ Q(g(x]} ∙ (∀x{⌝P(x ∨ [⌝Q(x ∧⌝R(h(x] ∨ (∀w[⌝P(f(w ∨ Q(g(x]} ∙ [⌝P(x ∨⌝Q(x ∨⌝P(f(w ∨ Q(g(x] ∧ [⌝P(x ∨⌝R(h(x ∨⌝P(f(w ∨ Q(g(x] ∙ {⌝P(x1 ∨⌝Q(x1 ∨⌝P(f(w1 ∨ Q(g(x1, ⌝P(x2 ∨⌝R(h(w2 ∨⌝P(f(w2 ∨ Q(g(x2} (3 ∙ (∀x(∃y{P(x ∧ [Q(x ∨ R(y]} ⇒

　(∀y{[P(f(y ⇒ Q(g(y]⇒(∀xR(x} ∙⌝(∀x(∃y{P(x ∧ [Q(x ∨ R(y]} ∨ ( ∀y{⌝[⌝P(f(y ∨ Q(g(y] ∨ (∀xR(x} ∙ (∃x(∀y{ ⌝P(x ∨ [⌝Q(x ∧⌝R(y]} ∨ (∀w{⌝[⌝P(f(w ∨ Q(g(w] ∨ (∀vR(v} ∙ {⌝P(A ∨[⌝Q(A ∧⌝R(y]} ∨ {[P(f(w ∧⌝Q(g(w] ∨ R(v} ∙⌝P(A ∨ {[⌝Q(A ∨ P(f(w] ∧ [⌝Q(A ∨⌝Q(g(w] ∧ [⌝R(y ∨ P(f(w] ∧ [⌝R(y ∨⌝Q(g(w]} ∨ R(v ∙ {⌝P(A ∨⌝Q(A ∨ P(f(w1 ∨ R(v1, ⌝P(A ∨⌝Q(A ∨ Q(g(w2 ∨ R(v2, ⌝P(A ∨⌝R(y3 ∨ P(f(w3 ∨ R(v3, ⌝P(A ∨⌝R(y4 ∨ Q(g(w4 ∨ R v4} 2 假设已知下列事实: 1 小李(Li喜欢容易的(Easy 课程(Course。

　2 小李不喜欢难的(Difficult 课程。

　3 工程类(Eng 课程都是难的。

　4 物理类(Phy 课程都是容易的。

　5 小吴(Wu 喜欢所有小李不喜欢的课程。

　6 Phy200是物理类课程。

　7 Eng300是工程类课程。

　请用归结反演法回答下列问题: 1 小李喜欢什么课程? 2 证明小吴喜欢 Eng300课程 将已知事实形式化表示为合适公式: (1(∀ [Course(x ∧ Easy(x ⇒ Like(Li,x]; x (2 (∀x[Course(x ∧⌝Easy(x ⇒⌝Like(Li,x]; (3 (∀x[Course(x ∧ Eng(x ⇒⌝Easy(x]; (4 (∀x[Course(x ∧ Phg(x ⇒ Easy(x]; (5 (∀x[Course(x ∧⌝Like(x ⇒ Like(Wu,x]; (6 Course(Phy200 ∧ Phy(Phy200; (7 Course(Eng300 ∧ Eng(Eng300; ·问题表示为以下合适公式(目标公式: (1( ∃x[Coure(x ∧ Like(Li,x]; (2Like(Wu,Eng300; ·将所有事实和对应于问题的目标公式取反加以化简,并标准化为合取范式子句集: (1 ⌝Course(x1 ∨⌝Easy(x1 ∨ Like(Li,x1;

　(2 ⌝Course(x2 ∨ Easy(x2 ∨⌝Like(Li,x2; (3 ⌝Course(x3 ∨⌝Eny(x ∨⌝Easy(x3; (4 ⌝Course(x4 ∨⌝Phy(x4 ∨ Easy(x4; (5 ⌝Course(x5 ∨ Like(Li,x5 ∨ Like(Wu,x5; (6 Course(Phy200; (7 Phy(Phy200; (8 Course(Eng300; (9Eng(Eng300; (10 目标公式(1的取反: (1 ⌝Course(x6 ∨⌝Like(Li,x6; (11 目标公式(2的取反: (1 ⌝Like(Wu,Eng300; ·解决问题(1 令(10 的取反为:Ask(x6=Course(x6 ∧ Like(Li,x6

　提取的问题回答为: Course(Phy200 Like(Li,Phy200 即小李喜欢 Phy200 课程. ·解决问题(2

　3.对于规则 ，已知 p(Q=0.04,LS=100,LN=0.4,利用主观 Bayes 方法求出 P(Q/P 和 ：

　O(θ/P=LS*O(θ=100*0.04/(1--0.04=0.017 在上题中，若 P 自身的确定性依赖 P’,且有 p(P=0.05,规则 的 LS=120,LN=0.3，用观 Bayes 方法求出 P(θ/P"。

　（1）.求 -求 因为 P(P/P"=0.87> p(P,根据 （0.81-0.04）（0.87-0.05）

　* /(1-0.05=0.04+0.66=0.70 5. 在 MYCIN 中，设有如下规则：

　R1: IF E1 THEN H (0.8 R2: IF E2 THEN H (0.6 R3: IF E3 THEN H (-0.5 R4: IF E4 AND (E5 OR E6 THEN E1 (0.7 R5: IF E7 AND E8 THEN E3 (0.9 在系统运行中已从用户处得 CF(E2=0.8, CF(E4=0.5, CF(E5=0.6, CF(E6=0.7, CF(E7=0.6, CF(E8=0.9, 求 H 的综合可信度 CF(H。

　解 (1求证据 E4,E5,E6 逻辑组合的可信度 CF ( E4 AND 0.5 0 0 (2 根据规则 R4,求 max{ ( E求证据 E7,E8 逻辑组合的可信度 CF ( E7 根据规则 R5, 求

　根据规则 R1, 求 根据规则 R2, 求 根据规则 R3, 求 组合由独立证据导出的假设 H 的可信度 CF1(H,CF2(H 和 CF3(H,得到 H 的综合可 信度

　设学生考试成绩的论域为{A，B，C，D，E}，小王成绩得 A、得 B、得 A 或 B 的基本概率分别分配到 0.2、0.1、0.3，Bel({C, D, E}为 0.2；

　请给出 Bel({A, B}、Pl({A, B}和 f({A, B}。

　答：Bel({A, B} = m({A} + m({B} + - Bel({C, D, E} = 1 - / |U| · [Pl({A, B} -Bel({A, B}] = 0.6 + 2/5 · (0.8 - 0.6 =0.6 + 0.08 = 0.68