问答题
简述基于规则的逆向演绎系统对事实、规则和目标的化简过程。
（1）用Skolem函数（对偶形）消去目标公式中的全称量词，化简的公式受存在量词的约束；（2）对规则的处理同......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 简述基于规则的正向演绎系统对事实、规则和目标的化简过程。
问答题 简述基于规则的逆向演绎系统的使用条件。
问答题 简述基于规则的正向演绎系统的使用条件。
