在Prolog Programming for AI一书中,有一个庞大而复杂的章节(第 14 章)专门介绍专家系统。在这些系统中,知识数据库通过事实和规则以声明的方式表示,然后我们使用 PROLOG 推理引擎推导出语句和决策。
我想知道:有没有通过标准关系数据库方法表示知识然后通过 SQL 查询提取事实的专家系统示例?有这方面的研究吗?如果不是,为什么首选基于规则的方法?
在Prolog Programming for AI一书中,有一个庞大而复杂的章节(第 14 章)专门介绍专家系统。在这些系统中,知识数据库通过事实和规则以声明的方式表示,然后我们使用 PROLOG 推理引擎推导出语句和决策。
我想知道:有没有通过标准关系数据库方法表示知识然后通过 SQL 查询提取事实的专家系统示例?有这方面的研究吗?如果不是,为什么首选基于规则的方法?
最近的一个研究例子是“研磨”系统。看看论文Computing FO-Rewritings实践:从原子到连接查询(2018 年),作者:Peter Hansen 和 Carsten Lutz。这是摘要。
实现本体介导查询 (OMQ) 的一种突出方法是重写为一阶查询,然后使用传统的 SQL 数据库系统执行该查询。我们考虑在描述逻辑中制定本体的情况并且实际查询是一个合取查询,并表明在实践中可以有效地以健全和完整的方式对此类 OMQ 的重写进行计算。我们的方法将减少与基于更简单原子查询的 OMQ 的分解反向链接算法相结合,还阐明了基于联合查询和原子查询的 OMQ 一阶重写之间的关系。现实世界本体的实验显示出有希望的结果。