多项选择题
基于规则的正向演绎系统的使用条件()
A.事实表达式是任意形式
B.规则形式为:L→W或L1∨L2→W,其中L为单文字,W为任意形式
C.目标公式为文字析取形
D.目标公式是任意形式
点击查看答案&解析
相关考题

多项选择题
A.事实表达式是任意形式
B.规则形式为:L→W或L1∨L2→W,其中L为单文字,W为任意形式
C.目标公式为文字析取形
D.目标公式是任意形式
微信扫一扫,加关注免费搜题