这意味着我们可以通过适当的翻译函数使得RDL—DL,就可以使用现有的描述逻辑推理机(DL reasoner)进行推理,因此,使用RDL的方法不需要专门设计特定的决策程序,也不需要开发新的工具就可以使用优化的DLreasoner。
基于12个网页-相关网页
描述逻辑推理机
Describes logical inference machines
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动