java - 把英语句子变成一阶逻辑

Question

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

例如：“所有爱全人类的东西都是狗。” 变成：

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

我认为它被称为语义解释器，但除了研究论文之外，我似乎没有找到任何东西。

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

谢谢你的帮助。

Answer 1

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

这是一个非常全面的将文本解析为逻辑形式的包，主要基于 CCG 语法。