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

• 作者: 张伟 洪声贵
• 来源期刊: 辽宁大学学报（自然科学版）
• 学科: 工学
• 关键词: 分布式推理 Horn逻辑 广义与或图
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 计算机科学
• 页码范围: 289-294
• 页数: 6页
• 分类号: TP273
• 字数: 3519字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张伟	东北大学信息科学与工程学院	93	442	12.0	16.0
2	洪声贵	辽宁大学信息学院	1	3	1.0	1.0