1.基于归结法的问题提取回答的过程：＿。
A. 先用归结法证明结论成立，并画出归结树
B. 找出结论的否定所对应的子句s在归结树中的位置，用重言式s ~s代替s，并参予归结树中所有的置换，得到修改证明树
C. 在原来归结树中空子句所在位置得到一个子句，该子句即为问题的回答。
D. 重复以上过程，直到出现空子句NIL为止。
E.
(责任编辑：admin)要这答案加QQ：800020900 或加微信：vq800020900 获取
