人工智能期末试题.pdfVIP

人工智能期末试题--第1页 F F F 2.证明G 是否为 , , ……， 的逻辑结论。 1 2 n F          ： x P x  Qx R x 1 F       ： x P x S x 1       G ： x S x R x 2.先把G 否定，并放入F 中，得到的｛F1,F2, G ｝为                      ｛x P x  Qx R x ， x P x S x ，（x S x R x ）｝ 再把｛F1,F2, G ｝化为子句集，得到 ①P(x)Q(x) ②P(y)R(y) ③P(a) ④S(a) ⑤S(b)R(b)