将英语句子变成一阶逻辑

Question

是否存在能够将英语句子翻译成一阶逻辑的工具或库？

例如：＆＃39;每一个爱所有人的东西都是狗。＆＃39;变为：

 ∀_(x,y)  humman(y)  ∩  love(x,y) → isdog(x)

我认为它被称为语义翻译，但我似乎找不到研究论文以外的任何内容。

我刚刚开始学习Java和自然语言处理，如果我之前已经回答过我的问题（或者它是非常愚蠢的），我会提前道歉。

感谢您的帮助。

Answer 1

请看这里：https://bitbucket.org/yoavartzi/spf

这是一个非常全面的解决方案，用于解析文本，逻辑形式，主要基于CCG语法。