推理机和语义推理机有啥区别？

Posted 2023-02-16

【中文标题】推理机和语义推理机有啥区别？

【英文标题】：What's the difference between an inference machine and a semantic reasoner?推理机和语义推理机有什么区别？

【发布时间】：2011-08-18 16:32:09

【问题描述】：

我发现了一些关于两者的简短文章，对我来说，听起来两者都是通过逻辑来解决问题的，类似于 Prolog 的工作方式。我必须添加我是这个领域的新手，所以我可能是错的。大错特错。

【参考方案1】：

reasoner 和 inference engine 在 AI 中本质上是相同的东西，即能够从一组断言的事实（和是的，这类似于 Prolog 所做的）。推理器的能力取决于它所知道的公理和推理规则，而这些公理和推理规则又与特定类型的逻辑相关。

Semantic Reasoner 可能是“Semantic Web Reasoner”的缩写，即Semantic Web 的推理器。在这种情况下，这样的推理者知道语义 Web 标准（尤其是OWL Web Ontology Language）背后的逻辑形式的公理和推理规则。

如果您想了解有关 OWL 的更多详细信息以更好地了解“语义 Web 推理器”可以做什么，您可能想看看 OWL Web Ontology Language Semantics and Abstract Syntax ，或者，如果您真的想深入了解理论细节，您必须深入研究Description Logics。

【参考方案2】：

通过一些“逻辑”来解决问题适用于非常广泛的算法。我会使用***上的定义http://en.wikipedia.org/wiki/Semantic_reasoner：

语义推理器的概念 概括推理的 引擎，通过提供更丰富的 可以使用的机制。

举个例子：根据给定的事实和规则，推理机将推断出新的事实（甚至规则）。但就是这样。由您来理解融合状态。诚然，一个简单的语义推理器可能（并且经常）在推理机之上实现，但它是一个更广泛的概念。除了推理之外，可能还有其他方法可以进行语义推理。例如概率或模糊推理。

【讨论】：

我将概率推理也称为“推理”。