英文を First Order Logic に翻訳できるツールやライブラリはありますか?
例: 「すべての人間を愛するものはすべて犬です。」になります：
∀_(x,y) humman(y) ∩ love(x,y) → isdog(x)
セマンティックインタープリターと呼ばれるものだと思いますが、研究論文以上のものは見当たらないようです。
私は Java と自然言語処理の両方を学び始めたばかりです。私の質問が以前に回答されていた場合 (または単純にばかげている場合) は、事前にお詫び申し上げます。
ご協力いただきありがとうございます。