将NLP转换为CSP：故事一致性

背景：我想知道是否有人成功地将自然语言转换为代表约束满足问题的知识库。我希望对一个人的陈述进行预约束满足，以查看在对陈述进行决议证明时是否存在任何不一致。这可以在法庭或选举辩论中使用

为了展示我的理想故事一致性算法：

A first statement comes in, convert it and add it to the Knowledge Base (KB)
While next
     get next statement
     convert statement to clause
     negate clause, 
     add negated clause to KB
     check for contradiction (perform resolution)
     report finding
     remove the original clause to see if the story changes again
     add the new clause

如何将语句转换为可用子句

例如：

~A B C 
a ~B C

---

这可能是一个非常困难的问题——即使对人类来说也是如此。想象两个人并行地手动执行转换（独立地处理相同的语句）。你希望他们同意的比例是多少？当然，这是一个很难解决的问题。我相信真正的用途在于算法报告，它可能已经发现了一些东西供人类进一步审查。这可能是一个非常困难的问题——即使对人类来说也是如此。想象两个人并行地手动执行转换（独立地处理相同的语句）。你希望他们同意的比例是多少？当然，这是一个很难解决的问题。我相信真正的用途是在算法报告中，它可能已经发现了一些东西供人类进一步审查。