HORN逻辑相关论文
为了改进Horn逻辑的推理效率,本文提出了一个基于广义与或图的线形推导模型.该模型可以清晰地表示变量约束,Horn逻辑中一次成功的......
本文提出一种处理带等词的Horn逻辑的新方法——目标类型驱动法,它显式地把一致化操作看作目标,并且一致化操作并入归结过程之中。......
本文根据范畴等价的思想,讨论了Horn逻辑上的一种范畴等价,其中一个范畴是Horn范畴C_(HT),其态射是保真关系,另一个范畴是Herbrand......
一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础，利用Prolog在计算机上可实现机械化，从而使自动化求解问题和定理证明......
ＰＲＯＬＯＧ是基于Ｈｏｒｎ逻辑的通用搜索系统，是一种方便、高效的逻辑设计工具，但该系统却不具有完备性。从其理论基础和运行方式两方面，对ＰＲＯＬＯＧ系统进行剖析......
分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图（GAG）的Horn逻辑分布式推导模型.该模型可以......
