テキスト内の欠陥のある論理引数を検出するためのパッケージまたは方法論は存在しますか?
学術的な設定で書かれていないテキスト (論理クラスなど) で機能するものを望んでいました。大袈裟かもしれませんが、ロジックがどこで使われようとしているのか、論理エラーを特定できるようなものが欲しいです。これの可能な用途は、編集記事のエラーをマークすることです。
磨かれたものはいらない。私は何かを開発するために働いてもかまわないので、今世の中にあるものを本当に探しています.
テキスト内の欠陥のある論理引数を検出するためのパッケージまたは方法論は存在しますか?
学術的な設定で書かれていないテキスト (論理クラスなど) で機能するものを望んでいました。大袈裟かもしれませんが、ロジックがどこで使われようとしているのか、論理エラーを特定できるようなものが欲しいです。これの可能な用途は、編集記事のエラーをマークすることです。
磨かれたものはいらない。私は何かを開発するために働いてもかまわないので、今世の中にあるものを本当に探しています.
自然言語を論理表現にマッピングし、その過程であいまいさを処理する必要があるため、これは難しい問題です。
AttemptoProjectはあなたにとって興味深いかもしれません。オンラインで試すことができるいくつかのツールがあります。特に、RACEはあなたがやりたいことをしているかもしれません。指定されたアサーションの整合性をチェックします。しかし、ここでのより大きな問題は、それらを論理形式に変換することです。
論理公理のオントロジーについては、OpenCycと商用の完全な Cyc オントロジーも調査する価値があるかもしれません。CycML は論理アサーションをモデル化する言語として使用され、Cyc エンジンは論理推論が可能です。OpenCycのソースは、OpenCyc SourceForge プロジェクトにあります。Cyc ウィキペディアのページにもすばらしい情報があります。