The Study of Resolution Principle Based on Predicate Logic
作者: 敖友云 ：;
Abstract: Resolution principle based on predication logic is an effective approach to implementing machine reasoning or automated reasoning, and applying it can prove theorems and extract answers to questions. This paper analyzes the theoretical basis of resolution principle based on predicate logic, and discusses some methods and procedures of applying resolution principle based on predicate logic to theorem proving and problem’s answer extracting.
文章引用: 敖友云 (2011) 基于谓词逻辑的归结原理研究。 计算机科学与应用， 1， 51-56. doi: 10.12677/csa.2011.12011
Copyright © 2020 Hans Publishers Inc. All rights reserved.