是否存在能够将英语句子翻译成一阶逻辑的工具或库？
例如:“所有爱人类的动物都是狗。”变成:
∀_(x,y) humman(y) ∩ love(x,y) → isdog(x)
我认为它被称为语义解释器，但除了研究论文之外我似乎没有找到任何东西。
我刚刚开始学习 Java 和自然语言处理，如果我的问题之前已经得到解答(或者如果它很愚蠢)，我提前道歉。
感谢您的帮助。
最佳答案
看看这里:https://bitbucket.org/yoavartzi/spf
这是一个非常全面的包，用于将文本解析为逻辑形式，主要基于 CCG 语法。
关于java - 将英语句子变成一阶逻辑，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/25006232/