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