基于GAG的Horn逻辑分布式推导模型

摘要：

分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用.

关键词：分布式推理、Horn逻辑、广义与或图

所属期刊栏目：39

分类号：TP273(自动化技术及设备)

资助基金：东北大学"985工程"项目"信息化基础结构关键技术及集成示范科技创新平台"资助26311005

在线出版日期：2013-01-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：289-294