问答题

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

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

你可能感兴趣的试题

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

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

【简答题】简述基于归结法的问题提取回答的过程。

答案：（1）首先用归结法证明结论成立，并画出归结树；
（2）找出结论的否定所对应的子句s在归结树中的位置，用重言式s...