В чем разница между машиной логического вывода и семантическим мышлением?

Question

Я нашел несколько коротких статей о том и другом, и для меня это звучит так, как будто оба разбираются в логике, подобно тому, как работает Пролог.Я должен добавить, что я новичок в этой области, поэтому я могу ошибаться.Очень неправильно.

Answer 1

A аргумент и механизм логического вывода - это, по сути, одно и то же в ИИ, то есть в программном обеспечении, способном вывести логические последствия из набора утвержденных фактов (и да, это похоже на то, что делает Пролог). Возможности мыслителя зависят от известных ему аксиом и правил вывода, которые, в свою очередь, связаны с определенным типом логики.

Semantic Reasoner - это, вероятно, аббревиатура для "Semantic Web Reasoner", то есть для Semantic Web . В этом случае такой мыслитель знает об аксиомах и правилах вывода логических формализмов, лежащих в основе стандартов семантической паутины, особенно OWL Web Ontology Language .

Если вы хотите узнать больше о OWL, чтобы лучше понять, на что способен «Semantic Web Reasoner», вы можете взглянуть на Семантика языка веб-онтологий OWL и абстрактный синтаксис , или, если вы Если вы действительно хотите перейти к теоретическим деталям, вы должны углубиться в Описание логики .

Answer 2

Выяснение вещей с помощью некоторой «логики» относится к очень широкому кругу алгоритмов.Я бы пошел с определением в википедии http://en.wikipedia.org/wiki/Semantic_reasoner:

Понятие семантического мышления обобщает понятие механизма вывода, предоставляя более богатый набор механизмов для работы.

В качестве примера: На основании данных фактов и правил машина вывода выведет новые факты (или даже правила).Но это все.Это зависит от вас, чтобы понять смысл сходящегося состояния.Правда, простой семантический аргумент может быть (и часто) реализован поверх машины логического вывода, но это гораздо более широкое понятие.Там могут быть другие способы сделать семантическое мышление, чем умозаключение.Например, вероятностные или нечеткие рассуждения.