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

Proving and Optimizing the Method of Sum-up Principle based on the Strategy of Supporting Aggregate

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

In artificial intelligence principle, auto-theorem and finding out the answer to questions in machine by applying the method of sum-up principle can be proved, based on the logic of one-step-predication. The main aim of this article is to investigate the proving of sum-up principle and optimize it by using the strategy of enlightened searching at the same time.