Quelle est la différence entre une machine d'inférence et un raisonnement sémantique?

Question

J'ai trouvé de courts articles sur les deux, et pour moi, il semble que les deux découvrent les choses à travers la logique, comme le fonctionnement de Prolog. Je dois ajouter que je suis nouveau dans ce domaine, donc je me trompe. Très mal.

Answer 1

UN raisonnement Et un moteur d'inférence sont essentiellement la même chose dans l'IA, c'est un logiciel capable de déduire les conséquences logiques d'un ensemble de faits affirmés (et oui, c'est similaire à ce que fait Prolog). Les capacités d'un raisonnement dépendent des axiomes et des règles d'inférence qu'il connaît, qui, à leur tour, sont liées à un type particulier de logique.

Raisonnement sémantique est probablement une abréviation pour le "raisonnement du Web sémantique", c'est un raisonnement pour le Web sémantique. Dans ce cas, un tel raisonnement connaît les axiomes et les règles d'inférence des formalismes logiques sous-jacents aux normes Web sémantiques, en particulier le Langue d'ontologie Web Owl.

Si vous voulez plus de détails sur Owl pour mieux comprendre ce qu'un "raisonnement Web sémantique" peut faire, vous voudrez peut-être jeter un œil OWL Web Ontology Language Sémantique et syntaxe abstraite , ou, si vous voulez vraiment descendre aux détails théoriques, vous devez vous plonger dans Description Logiques.

Answer 2

La détermination des choses à travers une "logique" s'applique à une très large gamme d'algorithmes. J'irais avec la définition de Wikipedia http://en.wikipedia.org/wiki/semantic_reasoner :

La notion d'un raisonnement sémantique généralise celle d'un moteur d'inférence, en fournissant un ensemble plus riche de mécanismes avec lesquels travailler.

Pour donner un exemple: basé sur des faits et des règles donnés, une machine à inférence inférera de nouveaux faits (ou même des règles). Mais c'est tout. C'est à vous de donner un sens à l'état convergé. Certes, un simple raisonnement sémantique pourrait être (et souvent) implémenté au-dessus d'une machine d'inférence, mais c'est un concept beaucoup plus large. Il pourrait y avoir d'autres façons de faire du raisonnement sémantique que de l'inférence. Par exemple, raisonnement probabiliste ou flou.