Семанти́ческий механи́зм рассужде́ний (англ. semantic reasoner), семанти́ческая машина формирования рассуждений (англ. reasoning engine) или движо́к пра́вил (англ. rules engine) — это часть программного обеспечения, способная вывести логические умозаключения (англ. Logical consequence) из набора адекватно формализованных базовых знаний или аксиом. Понятие семантического механизма рассуждений обобщает понятие машины вывода, предоставляя более богатый набор механизмов для работы. Правила вывода обычно определяются с помощью языка онтологий и часто языков описательной логики. Многие семантические механизмы рассуждений используют логику первого порядка для выполнения рассуждений; вывод обычно происходит путём прямой и обратной цепочек рассуждений. Существуют также примеры вероятностных механизмов рассуждений, включая неаксиоматическую систему рассуждений Пей Ванга[1] и вероятностные логические сети (англ. Probabilistic logic network)[2].
Новой областью использования семантического механизма рассуждений является семантическая сеть, где основы знания могут быть выражены на разных вычислимых языках, среди которых наиболее выразительным является OWL. Возможности мыслителя строго зависят от языка, используемого для формализации базы знаний.
Существующие семантические механизмы рассуждений и связанное с ними программное обеспечение приведены в списке ниже.
Список примеров в этом разделе не основывается на авторитетных источниках, посвящённых непосредственно предмету статьи или её раздела. |
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .