基于规则的逆向演绎系统的使用条件()A、事实表达式是文字合取形式B、事实表达式是任意形式C、规则形式为:W→L或W→L1∧L2其中L为单文字,W为任意形式。D、目标公式是任意形式

题目内容(请给出正确答案)

基于规则的逆向演绎系统的使用条件()

  • A、事实表达式是文字合取形式
  • B、事实表达式是任意形式
  • C、规则形式为:W→L或W→L1∧L2其中L为单文字,W为任意形式。
  • D、目标公式是任意形式
如果没有搜索结果或未解决您的问题,请直接 联系老师 获取答案。