关于定理机器证明的归结原理已应用到人工智能的很多领域,同时提出了各种改进方法.其中,输入归结是一种非常好的推理方法,它对于Ho......

2012年1月13日，隶属泰国Kulthorn，集团的KKC压缩机厂（Kulthorn Kirby Public Co．，Ltd．，以下简称KKC）正式投产30周年。这一天，作为泰国第一家......

设计了一个Horn集上基于广义归结方法的定理机器证明系统。在算法中使用广度优先与深度优先结合避免了传统归结的组合爆炸。分析了......