问答题

【简答题】简述基于规则的正向演绎系统对事实、规则和目标的化简过程。

答案：（1）用Skolem函数消去事实表达式中的存在量词，化简的公式受全称量词的约束；
（2）对规则的处理同（1）；...

你可能感兴趣的试题

【简答题】简述基于规则的逆向演绎系统的使用条件。

答案：（1）事实表达式是文字合取形式；
（2）规则形式为：W→L或W→L1∧L2，其中L为单文字，W为任意形式；

【简答题】简述基于规则的正向演绎系统的使用条件。

答案：（1）事实表达式是任意形式；
（2）规则形式为：L→W或L1∨L2→W，其中L为单文字，W为任意形式；
...