추론 기계와 의미 론적 추론 기의 차이점은 무엇입니까?

Question

둘 다에 대한 짧은 기사를 찾았는데 Prolog가 작동하는 방식과 비슷하게 논리를 통해 사물을 파악하는 것처럼 들립니다.나는 내가 틀릴 수 있도록 내가이 분야에 새로운 것을 추가해야한다.아주 틀 렸습니다.

Answer 1

추론 자 와 추론 엔진 은 AI에서 본질적으로 동일합니다. 즉, 주장 된 사실 집합에서 논리적 결과를 추론 할 수있는 소프트웨어입니다. 예, 이것은 Prolog가하는 것과 유사합니다.) 추론 자의 능력은 자신이 알고있는 공리와 추론 규칙에 따라 달라지며, 이는 차례로 특정 종류의 논리와 관련됩니다.

Semantic Reasoner 는 아마도 "Semantic Web Reasoner"의 약어이며 시맨틱 웹 . 이 경우 그러한 추론자는 시맨틱 웹 표준, 특히 OWL 웹 온톨로지 언어 .

"Semantic Web Reasoner"가 무엇을 할 수 있는지 더 잘 이해하기 위해 OWL에 대한 자세한 내용을 보려면 OWL 웹 온톨로지 언어 시맨틱 및 추상 구문 또는 이론적 인 세부 정보로 이동하려면 설명 논리 .

Answer 2

일부 "논리"를 통해 문제를 파악하는 것은 매우 광범위한 알고리즘에 적용됩니다.위키피디아 http://en.wikipedia.org/wiki/Semantic_reasoner : <인용구>

의미 론적 추론 자의 개념 추론의 일반화 더 풍부한 세트를 제공하여 작동하는 메커니즘.

예 : 주어진 사실과 규칙에 따라 추론 기계는 새로운 사실 (또는 규칙)을 추론합니다.하지만 그게 다입니다.수렴 된 상태를 이해하는 것은 귀하에게 달려 있습니다.사실, 단순한 의미 론적 추론은 추론 머신 위에 구현 될 수 있지만 (그리고 종종 구현되기도하지만) 훨씬 더 광범위한 개념입니다.추론보다 의미 론적 추론을 수행하는 다른 방법이있을 수 있습니다.예를 들어 확률 적 또는 퍼지 추론.