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