单项选择题
规则双向演绎系统的推理方法是使用（）
A.正向与反向两种求解技术，来得到一种图解的推理方法。
B.规则正向演绎推理来求出目标表达式，是得到文字的析取式。
C.规则反向演绎推理来求事实表达式，是得到文字的合取式。
D.正向与反向两种求解技术，来得到一种文字的范式。
点击查看答案&解析
相关考题
-
单项选择题
下列哪些是推理中的子句集？（）
A.{P∨Q∨┐R，P}
B.Π{6}
C.Σ{6}
D.{┐（P∧┐Q）,┐Q∨R} -
单项选择题
下列哪些真值指派使得P→Q的真值为0（）。
A.（P，Q）/（0，1）
B.（P，Q）/（1，0）
C.（P，Q）/（0，0）
D.（P，Q）/（1，1） -
单项选择题
反向规则演绎推理中，目标的与或形图的根节点在（）
A.最上方
B.在分支节点下方
C.在叶节点上方
D.在根节点下方
