私は最近AIコースでKRL（知識表現言語）を学び、記述論理がセマンティックWebの正式な知識表現言語のファミリーであることを魅力的に感じました。さらに、記述論理では、一階述語論理よりも知識を表現する方が簡単で扱いやすいです。
その記述論理または一階述語論理を処理するために利用できるJavaライブラリについて誰か知っていますか？
1051 次
2 に答える
4
少なくとも 2 つのOWL- reasoners PelletとHermiTは Java で書かれています。
暴言
DL または一般的なロジック (主に定義と用語の知識) を使用して、特定の種類の知識のみを表すことができます。
しかし、現実世界の状態を合理的に表現することはできません。ロジックは不確実性に対処できず、モデルに 1 つだけ欠陥を導入すると完全に機能しなくなります。これは、大規模なモデルでは必然的に発生します。
また、一階論理について学んだとき、それが魅力的であることに気づきました。しかし、最も基本的なレベル (自然の法則) を除いて、現実の世界を論理でモデル化することはできません...
于 2012-11-24T10:29:03.197 に答える
1
そのためだけに構築されたライブラリをここで見つけることができます：
コードは github のオープン ソースであり、ライブラリには依存関係がありません。Jar をインポートするだけです。
于 2013-02-16T16:07:26.410 に答える