题目内容

使用单元（unit）归结策略的归结法（resolution）证明 A1  A2  A3  B 其中 A1=(x)((Ｃ(x)  Ｄ(x))  ( y)(Ｇ(x,y) Ｅ(y))) A2=(x)((Ｃ(x) Ｆ(x))(y)(Ｇ(x,y) Ｆ(y))) A3= ( y)(Ｄ(x) Ｆ(x)) B=(x)(Ｅ(x) Ｆ(x))______

查看答案

搜索结果不匹配？点我反馈

更多问题

不确定性推理是一种概率意义下的推理方法吗？

A. 是
B. 不是

脚本（script）方法是一种结构化的推理方法吗？

A. 是
B. 不是

基于案例（case）的推理是归结推理方法的一种特例吗？（

A. 是
B. 不是

启发式搜索是一种寻求问题（）的方法。

A. 最优解
B. 一般通用解
C. 满意解