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

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))]? (? x)R(x)}(1) · ?(x)( $y)( $z){P(x) T (x)[Q(x,y) T 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)]} T (y)[P(f(y)) T 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)]} T (y){[P(f(y)) T Q(g(y))]T(x)R(x)} · ?(x)($y){P(x) ù [Q(x) ú R(y)]} ú ( y){?[?P(f(y)) ú Q(g(y))] ú (x)R(x)} · ($x)(y){ ?P(x) ú [?Q(x) ù ?R(y)]} ú (w){?[?P(f(w)) ú Q(g(w))] ú (v)R(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)??? (x)[Course(x) ù Easy(x) T (2)??? (x)[Course(x) ù ?Easy(x) T ?Like(Li,x)]； (3)??? (x