删除策略的相容性

本文给出关于删除策略相容性的几个结果：对相同谓词符号配相同锁的子句集，锁归结和删除策略联用完备；对正文字锁大于负文字锁的Horn集，正单元锁归结和删除策略联用完备，输入锁归结与删除策略联用完备；配锁Horn集上输入半锁归结和删除策略联用完备；标准Horn集上正单元强有序归结和删除策略联用完备，强有序输入归结和删除策略联用完备．

粒计算研究现状及基于Rough逻辑语义的粒计算研究

综述了粒计算的提出背景、研究现状及其发展趋势,也给出了作者的评论;论述了粒计算应用的广泛性,包括AI中的图像检索、医学诊疗系统、连续数学中的积分学及其它许多逻辑推理等方面的应用.讨论了粒计算将有希望成为处理信息和研究其它学科的理论工具和方法学.讨论了粒计算中基于Rough逻辑语义的粒及其相关性质,建立了这种粒的演绎推理.提出了基于Rough逻辑语义的粒归结原理和归结策略,包括λ-归结策略和锁归结策略.证明了这种粒归结的完全性.基于Rough逻辑语义的粒在AI的问题求解、专家系统以及机器定理证明中都将成为一种新的研究思想和新的理论工具.最后,提出了这种基于Rough逻辑语义的粒计算研究前景.