是否存在能够将英语句子翻译成一阶逻辑的工具或库?
所有爱人类的东西都是狗。"变成了: ∀_(x,y) humman(y) ∩ love(x,y) → isdog(x)
我想它应该叫语义解释器，但除了研究论文之外，我似乎没有发现任何东西。
我刚刚开始学习Java和自然语言处理，如果我的问题之前已经回答过(或者如果它很愚蠢)，我提前道歉。
谢谢你的帮助。
看看这里:https://bitbucket.org/yoavartzi/spf
这是一个非常全面的软件包，用于将文本解析为逻辑形式，主要基于CCG语法。