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

• 作 者: 张伟 洪声贵
• 机 构: 东北大学信息科学与工程学院,辽宁大学信息学院
• 出 处: 辽宁大学学报：自然科学版
• 发表日期: 2012年4期
• 关键词: 分布式推理 HORN逻辑 广义与或图 dsitributed reasoning horn logic generalized and/or graphs
• 基金项目: 东北大学“985工程”项目“信息化基础结构关键技术及集成示范科技创新平台”资助（26311005）

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