试题详情
多项选择题基于规则的逆向演绎系统的使用条件()

A、事实表达式是文字合取形式

B、事实表达式是任意形式

C、规则形式为:W→L或W→L1∧L2其中L为单文字,W为任意形式。

D、目标公式是任意形式

  • A,C,D
  • 关注下方微信公众号,在线模考后查看

热门试题