nlp - 将一阶逻辑表达式映射到数据库条目（从 FOL 表达式中提取信息）

Question

我正在构建一个仅限于医疗查询的问答系统。我使用一阶逻辑（FOL）来表示提出的问题。我已经设法使用NLTK BOOK概述的程序得出了 FOL 表达式。

例如，对于这样的问题：

糖尿病的症状是什么？

，我得到了一个看起来像这样的表示：

WHQ(list,exists y.(symptoms(y) & referTo(y,diabetes)))

这里，WHQ表示问题是 What question；list表示输出必须是某种值列表；y是映射到症状的一些值（变量） 。

我的问题是，

1. 这种方法（或表示）是否有效？

2. 考虑到 FOL 表达式是有效的，我将如何“以编程方式”映射此 FOL 表达式以从数据库中检索答案？

任何额外的见解将不胜感激。

谢谢你。

Answer 1

有一篇论文（合着）讨论了同样的问题。表示是与 FOL 相关的 DRS。然后将表示转换为 SQL。一些谓词也必须被表示。虽然本文侧重于比较和评估，但也涵盖了事实性问题。