题目内容
(请给出正确答案)
[单选题]
基于规则的逆向演绎系统的子句形式:_。
A.子句的合取式(合取范式)
B.子句的析取式(析取范式)
C.文字的析取式
D.文字的合取式
提问人:网友15***739
发布时间:2022-01-06
A.子句的合取式(合取范式)
B.子句的析取式(析取范式)
C.文字的析取式
D.文字的合取式
基于规则的逆向演绎系统的规则形式为L→W或L1∨L2→W(L为单文字,W为任意形式。()
A.用Skolem函数(对偶形)消去目标公式中的全称量词,化简的公式受存在量词的约束。
B.用Skolem函数消去事实表达式中的存在量词,化简的公式受全称量词的约束。
C.对规则的处理同(*)式。
D.用Skolem函数消去事实表达式中的存在量词,化简的公式受全称量词的约束。(*)
A.在用与或图表示目标表达式时,目标表达式中的"与""或"关系,和与或图中的"与""或"关系是相反的。
B.目标表达式中的"∧"号在与或树中表达为"或"的关系,"∨"号在与或树中表达为"与"的关系。
C.在用与或图表示目标表达式时,目标表达式中的"与""或"关系,和与或图中的"与""或"关系是一致的。
D.目标表达式中的"∧"号在与或树中表达为"与"的关系,"∨"号在与或树中表达为"或"的关系。
为了保护您的账号安全,请在“简答题”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!