将英语句子变成一阶逻辑[关闭]

Question

关闭。 这个问题是 无关. 。目前不接受答案。

---

想要改进这个问题吗？ 更新问题 所以就是 切题 对于堆栈溢出。

关闭 5年前.

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

例如：“每个人都爱的人都是狗。”变成：

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

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

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

感谢您的帮助。

Answer 1

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

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