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