人工智能基础_大连理工大学中国大学mooc章节课后测试答案期末考试题库2024年.docxVIP

人工智能基础_大连理工大学中国大学mooc章节课后测试答案期末考试题库2024年

设甲、乙、丙三人中有人从不说真话，也有人从不说假话，某人向着三人分别提出一个问题：谁是说谎者？甲答：“B和C都是说谎者”；乙答：“A和C都是说谎者”；丙答：“A和B至少有一个是说谎者”。谁是老实人，谁是说谎者？

答案:丙是老实人，甲是说谎者

归结策略大致可分为两大类：

答案:删除策略限制策略

演绎推理的三段论式不包括（)

答案:推理

下列说法不正确的是（)

答案:永真性：如果谓词公式P在个体域D上，存在一个解释都取得真值T,则称P在D上是永真的

下列选项哪个不是完备的规则策略（）

答案:线性输入策略

反演归结（消解）证明定理时，若当前归结式是（）时，则定理得证。

答案:空子句

用归结反演证明定理时，若当前归结式为（），则定理得证。

答案:空子句

设有代换：q={f(y)/x,z/y},l={a/x,b/y,y/z}则最一般合一为()

答案:{f(b)/x,y/z}

下列那个不是子句的特点？

答案:子句中可以有析取词（V)

与谓词演算公式?(x)(y)(P(x,y)úQ(x,y))等价的公式是()

答案:(?$x)(?y)(??P?(x,?y)ú???Q?(x,?y))

(A→B)ùATB是（）

答案:假言推理

在公式中(y)($x)P(x,y)存在量