将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