人工智能基础知到智慧树期末考试答案题库2025年北京科技大学

鲁宾逊归结原理应用反证法，即欲证明P→Q，只要证明P和非Q的合取为F。（）

答案:对

鲁宾逊归结原理中空子句是不可满足的，若一个子句集包含空子句集，则这个子句集一定是不可满足的。（）

答案:对

问题归约过程中原问题分解为若干子问题用与树表示，原问题变换为若干子问题用或树表示（）。

答案:对

连接词的优先级为（）。

答案:连接词的优先级为（）。

近似推理是一种在不影响推理正确性的前提下，通过适当降低推理精确度来提高推理效率的一类方法。（）

答案:对

运用消解推理规则的前提是（）。

答案:被作用的两个子句中存在互补对

贝叶