Jump to content

Семантическое рассуждение

(Перенаправлено с механизма рассуждений )

, Семантический рассуждение рассуждение , правило или просто рассуждение — это часть программного обеспечения, способная выводить логические следствия из набора утвержденных фактов или аксиом . Понятие семантического рассуждения обобщает понятие машины вывода , предоставляя более богатый набор механизмов для работы. Правила вывода обычно задаются с помощью языка онтологий и часто языка логики описания . Многие исследователи используют логику предикатов первого порядка для рассуждений ; Вывод обычно осуществляется путем прямого и обратного связывания . Есть также примеры вероятностных рассуждений, включая неаксиоматические системы рассуждений . [ 1 ] и вероятностно-логические сети . [ 2 ]

Известные приложения

[ редактировать ]

Известные семантические рассуждения и соответствующее программное обеспечение:

Бесплатное использование (закрытый исходный код)

[ редактировать ]

Бесплатное программное обеспечение (с открытым исходным кодом)

[ редактировать ]
  • Cwm — рассуждение с прямой цепочкой, используемое для запроса, проверки, преобразования и фильтрации информации. Его основным языком является RDF, расширенный за счет включения правил, и при необходимости он использует сериализацию RDF/XML или N3.
  • Drools — механизм правил на основе прямого вывода, который использует расширенную реализацию алгоритма Rete .
  • Evrete — механизм правил Java с прямой цепочкой, который использует алгоритм Rete и совместим с API механизма правил Java (JSR 94).
  • D3web — платформа для систем, основанных на знаниях ( экспертных системах ).
  • Флора-2 — объектно-ориентированная, основанная на правилах система представления знаний и рассуждений.
  • Jena , платформа семантической сети с открытым исходным кодом для Java, которая включает в себя ряд различных модулей семантического рассуждения.
  • OWLSharp — легкая и дружелюбная библиотека .NET для реализации интеллектуальных семантических веб-приложений.
  • NRules — механизм правил на основе прямого вывода, реализованный на C# , который использует расширенную реализацию алгоритма Rete.
  • Prova , механизм правил семантической сети, который поддерживает интеграцию данных через запросы SPARQL и системы типов (RDFS, онтологии OWL как система типов).
  • DIP , Платформа Defeasible-Inference (DIP) — это средство рассуждения языка веб-онтологии и плагин рабочего стола Protégé для представления и рассуждения с отменяемым включением. [ 3 ] Он реализует стиль рассуждений с преференциальным следствием , который сводится к «классическому следствию», т. е. без необходимости изменять базовую процедуру принятия решения.

Приложения, содержащие аргументы

[ редактировать ]

Семантическое обоснование для Интернета вещей (с открытым исходным кодом)

[ редактировать ]

Семантическое обоснование S-LOR (Связанные открытые правила на основе датчиков) S-LOR находится под лицензией GNU GPLv3.

S-LOR (Связанные открытые правила на основе датчиков) — это основанный на правилах механизм рассуждений и подход к совместному использованию и повторному использованию совместимых правил для получения значимых знаний из измерений датчиков.

См. также

[ редактировать ]
  1. ^ Ван, Пей. «На основе семантики опыта для интеллекта, технический отчет 96» . www.cogsci.indiana.edu . КРЦК . Проверено 13 апреля 2015 г.
  2. ^ Герцель, Бен; Икле, Мэтью; Герцель, Изабела Фрейре; Хельякка, Ари (2008). Вероятностно-логические сети: комплексная основа для неопределенного вывода . Springer Science & Business Media. п. 42. ИСБН  978-0-387-76872-4 .
  3. ^ Бритц К. и Варзинчак И. (2018). Рациональность и контекст в отменяемом отнесении. На Международном симпозиуме по основам систем информации и знаний (стр. 114–132). Спрингер, Чам.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 848049625c4cabf933881b03597df5e9__1718181900
URL1:https://arc.ask3.ru/arc/aa/84/e9/848049625c4cabf933881b03597df5e9.html
Заголовок, (Title) документа по адресу, URL1:
Semantic reasoner - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)