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

Question

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

因此，布置我的理想主义故事一致性算法：

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