| 基于GAG的Horn逻辑分布式推导模型 |
| |
| 引用本文： | 张伟,洪声贵.基于GAG的Horn逻辑分布式推导模型[J].辽宁大学学报(自然科学版),2012,39(4):289-294. |
| |
| 作者姓名： | 张伟 洪声贵 |
| |
| 作者单位： | 1. 东北大学信息科学与工程学院,辽宁沈阳,110819
2. 辽宁大学信息学院,辽宁沈阳,110036 |
| |
| 基金项目： | 东北大学"985工程"项目"信息化基础结构关键技术及集成示范科技创新平台"资助 |
| |
| 摘 要： | 分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用.
|
| 关 键 词： | 分布式推理 Horn逻辑 广义与或图 |
A GAG Based Distributed Deduction Method for Horn Logic |
| |
| ZHANG Wei
,
HONG Sheng-gui.A GAG Based Distributed Deduction Method for Horn Logic[J].Journal of Liaoning University(Natural Sciences Edition),2012,39(4):289-294. |
| |
| Authors: | ZHANG Wei HONG Sheng-gui |
| |
| Institution: | 1.College of Information Sci.and Eng.,Northeastern University,Shenyang 110819,China; 2.College of Computer Sci.and Tech.,Liaoning University,Shenyang 110036,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
