广义与或图相关论文
为了改进Horn逻辑的推理效率,本文提出了一个基于广义与或图的线形推导模型.该模型可以清晰地表示变量约束,Horn逻辑中一次成功的......
分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图（GAG）的Horn逻辑分布式推导模型.该模型可以......
