【摘要】 本文针对广义归结原理实现时空间复杂度非常大的问题,通过实际分析广义归结方法实现时造成多余归结的实例,提出了几种优化方法,使系统的归结能力显著提高。更多还原

【Abstract】 For the reason that the space complexity of the general resolution principle is very huge the author puts forward some methods to overcome this disadvantage of the general resolution principle. The resolution ability of the system is improved definitely.更多还原