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