这是对归结原理的重要改银河1331会员登录进

当前位置:银河1331会员登录 > 银河1331会员登录 > 这是对归结原理的重要改银河1331会员登录进
作者: 银河1331会员登录|来源: http://www.gtselfhire.com|栏目:银河1331会员登录

文章关键词:银河1331会员登录,锁归结

  归结原理是1965年由Robinson提出的一种重要的定理机器证明方法。1970年,Loveland和Luckham提出了线性归结,这是对归结原理的重要改进。一种特殊的线性归结——输入归结在计算机上极易实现。可惜,输入归结是不完备的。银河1331会员登录1974年Henschen和Wos研究了一种特殊子句集,即所谓Horn子句集。银河1331会员登录输入归结对于Horn集是完备的。1981年,陆汝铃对Horn集上的正单项有序归结和有序输入归结进行了研究,并得到很好的结果。

网友评论

我的2016年度评论盘点
还没有评论,快来抢沙发吧!