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