单项选择题
在不确定性推理方法中，用得最多的数学工具是概率，下列哪个不是目的（）
A.确定推理结果的可信度。B.确定推理结果与事实背离的程度。C.建立知识的可信度。D.能够百分百地接近事实真相。
单项选择题 规则双向演绎系统的推理方法是使用（）
单项选择题 下列哪些是推理中的子句集？（）
单项选择题 下列哪些真值指派使得P→Q的真值为0（）。
