题目内容
（请给出正确答案）
[主观题]
基于规则的逆向演绎系统的规则形式为L→W或L1∨L2→W（L为单文字，W为任意形式。（)
基于规则的逆向演绎系统的规则形式为L→W或L1∨L2→W(L为单文字，W为任意形式。()
提问人：网友15***739
发布时间：2022-01-06
如搜索结果不匹配，请 
A.子句的合取式(合取范式)
B.子句的析取式(析取范式)
C.文字的析取式
D.文字的合取式
题目内容
（请给出正确答案）
您可能会需要：
安装简答题APP，拍照搜题省时又省心！
更多“基于规则的逆向演绎系统的规则形式为L→W或L1∨L2→W（L…”相关的问题
第5题
基于规则的逆向演绎系统对事实、规则和目标的化简过程：_。
A.用Skolem函数(对偶形)消去目标公式中的全称量词，化简的公式受存在量词的约束。
B.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。
C.对规则的处理同(*)式。
D.用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束。(*)
第6题
在基于规则的逆向演绎系统中，如何用与或树表示目标表达式？_。
A.在用与或图表示目标表达式时，目标表达式中的"与""或"关系，和与或图中的"与""或"关系是相反的。
B.目标表达式中的"∧"号在与或树中表达为"或"的关系，"∨"号在与或树中表达为"与"的关系。
C.在用与或图表示目标表达式时，目标表达式中的"与""或"关系，和与或图中的"与""或"关系是一致的。
D.目标表达式中的"∧"号在与或树中表达为"与"的关系，"∨"号在与或树中表达为"或"的关系。
