是否存在用于检测文本中有缺陷的逻辑参数的软件包或方法？
我希望有一些东西适用于不是在学术环境中编写的文本（例如逻辑课）。这可能是一个延伸，但我想要一些可以识别逻辑试图在哪里使用并识别逻辑错误的东西。一个可能的用途是在社论文章中标记错误。
我不需要任何抛光的东西。我也不介意开发一些东西，所以我现在真的在寻找野外的东西。
问问题
3308 次
3 回答
9
这是一个难题，因为您必须将自然语言映射到某种逻辑表示，并处理过程中的歧义。
Attempto Project对您来说可能很有趣。它有几个工具，您可以在线尝试。特别是，RACE可能正在做您想做的事情。它检查给定断言的一致性。但这里更大的问题是将它们转换为逻辑形式。
于 2012-04-07T03:09:25.217 回答
3
对于逻辑公理的本体，OpenCyc和商业完整的 Cyc 本体可能也值得研究。CycML 用作对逻辑断言进行建模的语言，并且 Cyc 引擎能够进行逻辑推理。OpenCyc的源代码可以在OpenCyc SourceForge 项目中找到。Cyc Wikipedia 页面也包含大量信息。
于 2014-05-07T01:30:54.840 回答
0
是的，这是一个非常讨厌的问题。我建议您尝试专注于一个狭窄的领域。例如，如果您正在寻找癌症确定中的逻辑错误，您必须关注哪种类型的癌症以及您要解决的问题，例如：正确的治疗计划、正确的观察、正确的程序、正确的分期确定等。然后，您必须找到该特定癌症的分类或本体，例如：Medline。因此，例如，您可能必须只关注肺癌，然后只关注肺癌类型的一个子集，并且只关注表明肺癌的观察结果。然后，您将识别您的语料库、知识树、实体关系，然后担心否定检测、假设和主题检测。如果医疗保健不能让你的船浮起来，
于 2017-07-11T04:10:09.917 回答