问答题
简答题
简述基于归结法的问题提取回答的过程。
【参考答案】
（1）首先用归结法证明结论成立，并画出归结树；
（2）找出结论的否定所对应的子句s在归结树中的位置，用重言式s......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题
-
问答题
简述用归结法证明定理的过程。 -
问答题
什么是合一？什么是合一者？ -
问答题
什么是置换？置换是可交换的吗？
