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