基于支持集策略实现定理证明及问题的求解

人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解",实际研究应用表明归结原理中的"支持集策略"是一种简单、高效、完备的实现定理证明和问题求解的好方法。

基于支持集策略的归结推理方法的实现及其优化

人工智能原理中熏基于一阶谓词逻辑下的归结推理方法可以在机器上实现“自动定理证明以及问题的求解”。本文探讨了基于支持集策略的归结推理方法的实现,同时应用启发性搜索的策略,对该推理方法进行了优化。