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

Question

둘 모두에 대한 간단한 기사를 찾았습니다. 그리고 저에게는 Prolog가 작동하는 것과 비슷한 논리를 통해 두 가지를 파악하는 것처럼 들립니다. 나는 내가 틀릴 수도 있으므로이 분야에 새로운 사람을 추가해야합니다. 아주 틀렸어.

Answer 1

추론 본질적으로 AI에 같은 일이다추론 엔진, 즉 주장 사실 (세트에서 논리적 결과를 추론 할 수 소프트웨어의 조각이며, 예,이 프롤로그가 무엇 비슷합니다). 추론 기의 기능은 알고있는 공리와 추론 규칙에 따라 달라지며 추론 규칙은 특정 종류의 논리와 관련됩니다.

의미 론적 이유은 아마도 "Semantic Web Reasoner"의 약자로, Semantic Web의 추론 자입니다. 이 경우, 그러한 추론 기는 시맨틱 웹 표준, 특히 OWL Web Ontology Language의 근간을 이루는 논리 형식론의 공리 및 추론 규칙을 알고 있습니다.

"시맨틱 웹 추론 자"가 할 수있는 일을 더 잘 이해하기 위해 OWL에 대한 자세한 내용을 보려면 OWL Web Ontology Language Semantics and Abstract Syntax을 보거나 이론적 세부 사항으로 이동하려면 탐구하려면 Description Logics.

Answer 2

일부 "로직"을 통해 알아 낸 것들은 매우 광범위한 알고리즘에 적용됩니다. 나는 위키 피 디아 http://en.wikipedia.org/wiki/Semantic_reasoner에 대한 정의와 함께 가고 싶어요 :

는

의미 론적 추론 의 개념은 작업 할 메커니즘의 풍부한을 제공함으로써, 그 추론 엔진의 일반화.

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