Semantic reasoner とは

意味論的推論機構、推論エンジン、規則エンジン、または単に推論機構は、アサートされた事実または公理の集合から論理的帰結を推論することができるソフトウェアです。意味論的推論の概念は、推論エンジンの概念を、より豊かな仕組みを提供することによって一般化する。推論規則は、一般に、オントロジー言語、およびしばしば記述論理言語によって指定される。多くの推論者は、推論を実行するために一次述語論理を使用します。推論は、通常、前方連鎖と後方連鎖によって進行する。また、Pei Wangの非公理推論システムや確率論的論理ネットワークなどの確率論的推論の例もあります。