是否存在用于检测文本中有缺陷的逻辑参数的包或方法？
我希望能找到一些不适用于学术环境（如逻辑课程）的文本。这可能是一个延伸，但我想要一些能够识别逻辑尝试使用的地方并确定逻辑错误。可能的用途是在编辑文章中标记错误。
我不需要任何抛光的东西。我不介意努力开发一些东西，所以我现在正在寻找野外的东西。
是否存在用于检测文本中有缺陷的逻辑参数的包或方法？
我希望能找到一些不适用于学术环境（如逻辑课程）的文本。这可能是一个延伸，但我想要一些能够识别逻辑尝试使用的地方并确定逻辑错误。可能的用途是在编辑文章中标记错误。
我不需要任何抛光的东西。我不介意努力开发一些东西，所以我现在正在寻找野外的东西。
这是一个难题，因为你必须将自然语言映射到一些逻辑表示，并处理过程中的歧义。
Attempto项目 对你来说可能很有趣。它有几个 工具 你可以尝试在线。尤其是， 种族 可能正在做你想做的事情。它检查给定断言的一致性。但这里更大的问题是将它们转变为逻辑形式。
对于逻辑公理的on on， OpenCyc 商用的完整Cyc本体可能也值得研究。 CycML用作模拟逻辑断言的语言，Cyc引擎能够进行逻辑推理。的来源 OpenCyc 可以在。中找到 OpenCyc SourceForge项目。该 Cyc维基百科页面 也有很好的信息。
是的，这是一个非常讨厌的问题。我建议你尝试专注于一个狭窄的领域。例如，如果您正在寻找癌症确定中的逻辑错误，您必须关注哪种类型的癌症以及您想要解决的问题，例如：正确的治疗计划，正确的观察，正确的程序，正确的阶段确定等。然后你必须找到特定癌症的分类学或本体论，例如：Medline。因此，例如，您可能不得不专注于仅肺癌，然后只关注肺癌类型的一部分，仅观察肺癌。然后，您将识别您的语料库，知识树，实体关系，然后担心否定检测，假设和主题检测。如果医疗保健没有漂浮你的船，我听到另一个具有挑战性的逻辑错误领域是法律/法律行业。
这是一个难题，因为你必须将自然语言映射到一些逻辑表示，并处理过程中的歧义。
Attempto项目 对你来说可能很有趣。它有几个 工具 你可以尝试在线。尤其是， 种族 可能正在做你想做的事情。它检查给定断言的一致性。但这里更大的问题是将它们转变为逻辑形式。
对于逻辑公理的on on， OpenCyc 商用的完整Cyc本体可能也值得研究。 CycML用作模拟逻辑断言的语言，Cyc引擎能够进行逻辑推理。的来源 OpenCyc 可以在。中找到 OpenCyc SourceForge项目。该 Cyc维基百科页面 也有很好的信息。
是的，这是一个非常讨厌的问题。我建议你尝试专注于一个狭窄的领域。例如，如果您正在寻找癌症确定中的逻辑错误，您必须关注哪种类型的癌症以及您想要解决的问题，例如：正确的治疗计划，正确的观察，正确的程序，正确的阶段确定等。然后你必须找到特定癌症的分类学或本体论，例如：Medline。因此，例如，您可能不得不专注于仅肺癌，然后只关注肺癌类型的一部分，仅观察肺癌。然后，您将识别您的语料库，知识树，实体关系，然后担心否定检测，假设和主题检测。如果医疗保健没有漂浮你的船，我听到另一个具有挑战性的逻辑错误领域是法律/法律行业。