英語の文章を一次論理に変える [終了]

Question

閉まっている。 この質問は オフトピック. 。現在回答を受け付けておりません。

---

この質問を改善したいですか? 質問を更新する っていうことは 話題に沿った スタックオーバーフロー用。

閉まっている 5年前.

英語の文章を一次論理に翻訳できるツールやライブラリは存在しますか?

例えば：「すべての人間を愛するものはすべて犬です。」次のようになります

 ∀_(x,y)  humman(y)  ∩  love(x,y) → isdog(x)

それはセマンティックインタプリタと呼ばれるものだと思いますが、研究論文以上のものは見つからないようです。

私は Java と自然言語処理の両方を学び始めたばかりです。私の質問が以前に回答されている場合は (または、まったくの愚かな質問である場合は)、あらかじめお詫びを申し上げます。

ご協力いただきありがとうございます。

Answer 1

ここを見てください: https://bitbucket.org/yoavartzi/spf

これは、主に CCG 文法に基づいて、テキストを論理形式に解析するための非常に包括的なパッケージです。