摘要
归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。
Resolution deductive reasoning is a reasoning technology that is realized on the computer based on resolution principle. This paper in detail introduces the base thought of resolution principle and it’s application in voluntarily reasoning.
出处
《计算机与数字工程》
2007年第5期183-183,187,共2页
Computer & Digital Engineering
关键词
归结原理
子句
归结式
resolution principle,clause,resolution formula
