问答题
简答题
简述基于规则的正向演绎系统的使用条件。
【参考答案】
（1）事实表达式是任意形式；
（2）规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式；
......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题
-
问答题
简述基于归结法的问题提取回答的过程。 -
问答题
简述用归结法证明定理的过程。 -
问答题
什么是合一？什么是合一者？
