命题逻辑的预训练模型
命题逻辑的预训练模型
提问于 2021-05-14 08:44:11
是否有任何经过预先训练的模型能理解命题逻辑？
例如，t5模型可以进行问答。考虑到“爱丽丝是鲍勃的母亲，鲍勃是查理的父亲”，t5可以正确回答“谁是查理的父亲”的问题，但不能说“谁是查理的祖母”。
是否有任何模型已经/可以被训练来做这样的演绎和回答问题？
回答 1
Data Science用户
回答已采纳
发布于 2021-05-14 12:51:50
据我所知，使用命题逻辑的自动推理可以通过像Prolog这样的求解器来完成(而且它并不是新的)。我不知道它是否已经完成，但是我不认为为命题逻辑训练一个ML模型是有意义的，因为它完全是象征性的(而不是统计学的)：正确的答案可以确定地找到。
从文本中进行逻辑推理的问题有点不同，因为它涉及表示文本的一步。我认为训练一个将文本转换成形式逻辑命题(和后面)的模型是有意义的。逻辑推理仍然应该用一个专门为那个白痴设计的工具来完成。请注意，回答问题不涉及任何逻辑推理，即使在用户看来也是如此。据我所知，QA系统学习如何将一种类型的问题与其相应的答案相匹配的模式，该系统完全忽略了它的意义。
页面原文内容由Data Science提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://datascience.stackexchange.com/questions/94445
复制相关文章
相似问题
腾讯云开发者
