將一階邏輯表達式映射到數據庫條目（從FOL表達式提取信息）

Question

我正在構建一個問題回答系統限於醫療查詢。我使用一階邏輯（FOL）來表示問題。我設法使用NLTK BOOK概述的程序來達成FOL表達式。

例如，對於這樣的問題：

糖尿病有哪些症狀？

，我已經到達了，看起來像一個表示：

WHQ（列表中，存在Y（症狀（Y）&引用關聯（Y，糖尿病））。）

這裏，WHQ表示問題是一個什麼問題; 列表表示外包必須是某種價值列表; y是映射到症狀的某個值（變量）。

我的問題是，

1. 是這種方法（或代表）有效嗎？

2. 考慮到FOL表達式是有效的，我將如何映射這個FOL表達式來從數據庫中檢索答案？

任何額外的見解將不勝感激。

謝謝。

Answer 1

有一個paper（合着）討論了同樣的問題。該表示是與FOL相關的DRS。該表示然後轉換爲SQL。有些謂詞也必須表示。雖然本文着重於比較和評估，但也涵蓋了真實問題。