問題タブ [first-order-logic]

英文を First Order Logic に翻訳できるツールやライブラリはありますか?

例: 「すべての人間を愛するものはすべて犬です。」になります：

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

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

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

一次論理 (FOL) 文を接続正規形 (CNF) に変換し、解決を実行することに関するいくつかのメモを読んでいます。

CNF に変換する手順の 1 つは、 ですStandardize variables。

変数を標準化しない場合、解決アルゴリズムの完全な条件が違反し、健全性が違反しない理由を見つけるために検索してきました。

完全性に違反し、健全性が維持される理由を誰でも追加できますか?

Haskell を使用して FOL を実装しようとしています。一階論理は、And や Or などの接続詞で結合された命題の形をとることができます。式の範囲が限られている量指定子もあります。

私がこれまでに行ったことは次のとおりです。

import Data.List

しかし、私はこのエラーが発生しています:

lexpr は正確には何を意味し、次の r'/F xx は何を意味しますか? また、アプリケーション式とは何ですか?

groovy でクロージャーを使用して if/else 構文を再発明しようとしている間、うまく機能させることができませんでした。括弧の外に複数のクロージャーを置くことは許可されていないと思いますが、それは別のものかもしれません。

許可されていない場合、if/else 構文をどのように再現しますか? これは思考実験なので、この実装の非効率性については言わないでください。

私のコード:

エラーメッセージ：

java.lang.NullPointerException: null オブジェクトでメソッド ifx() を呼び出せません

誰がそれを示すのを手伝ってくれますか:

式 F のインスタンスの普遍閉包は、F の普遍閉包の論理的帰結です。

ありがとう。