両方についての短い記事をいくつか見つけましたが、Prolog の仕組みと同様に、どちらも論理を通じて物事を理解しているように思えます。私はこの分野に不慣れなので、間違っている可能性があることを付け加えなければなりません。大きな過ち。
2 に答える
AI では、推論エンジンと推論エンジンは本質的に同じものです。つまり、一連の主張された事実から論理的な結果を推測できるソフトウェアです (そうです、これは Prolog が行うことと似ています)。推論器の能力は、それが知っている公理と推論規則に依存し、それらは特定の種類の論理に関連しています。
Semantic Reasonerはおそらく「Semantic Web Reasoner」の略で、Semantic Webの理由付けです。この場合、そのような推論者は、セマンティック Web 標準、特にOWL Web オントロジー言語の基礎となる論理形式の公理と推論規則について知っています。
「Semantic Web Reasoner」ができることをよりよく理解するために OWL の詳細が必要な場合は、OWL Web オントロジー言語のセマンティクスと抽象構文を参照するか、理論的な詳細に本当に行きたい場合は、 、記述ロジックを掘り下げる必要があります。
いくつかの「ロジック」を通じて物事を理解することは、非常に幅広いアルゴリズムに適用されます。ウィキペディアhttp://en.wikipedia.org/wiki/Semantic_reasonerの定義を使用します。
セマンティック推論の概念は、より豊富なメカニズムのセットを提供することにより、推論エンジンの概念を一般化します。
例を挙げると、与えられた事実と規則に基づいて、推論マシンは新しい事実 (または規則さえも) を推論します。しかし、それだけです。収束状態を理解するのはあなた次第です。確かに、単純なセマンティック推論は推論マシンの上に実装される可能性があります (そしてしばしば実装されます) が、それははるかに広い概念です。推論以外にもセマンティック推論を行う方法があるかもしれません。たとえば、確率的またはファジーな推論。