Семантический рассуждающий

Часть программного обеспечения, способная выводить логические следствия из набора утвержденных фактов или аксиом.

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

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

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

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

• Механизм логического вывода Cyc — механизм прямого и обратного логического вывода с многочисленными специализированными модулями для логики высокого порядка.
• KAON2 — это инфраструктура для управления онтологиями OWL-DL , SWRL и F-Logic .

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

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

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

Семантический рассуждающий модуль S-LOR (Sensor-based Linked Open Rules) S-LOR распространяется под лицензией GNU GPLv3.

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

Смотрите также

• Портал программного обеспечения

• Двигатель бизнес-правил
• Доксастическая логика
• Экспертные системы
• Логическое программирование
• Метод аналитических таблиц
• Решатель

Ссылки

1. Ван, Пей. «Основано на семантике опыта для интеллекта, технический отчет 96». www.cogsci.indiana.edu . CRCC . Получено 13 апреля 2015 г.
2. Герцель, Бен; Икле, Мэтью; Герцель, Изабела Фрейре; Хелякка, Ари (2008). Вероятностные логические сети: всеобъемлющая структура для неопределенного вывода . Springer Science & Business Media. стр. 42. ISBN 978-0-387-76872-4.
3. Britz, K. и Varzinczak, I., (2018). Рациональность и контекст в отменяемом подчинении. На Международном симпозиуме по основам систем информации и знаний (стр. 114-132). Springer, Cham.

Внешние ссылки

• OWL 2 Reasoners перечислены на домашней странице рабочей группы W3C SW
• Язык запросов SPARQL для RDF
• Марко Лютер, Торстен Либих, Себастьян Бём, Олаф Ноппенс: Кто, черт возьми, отец Боба? ESWC 2009: 66-80
• Юрген Бок, Питер Хаазе, Цю Цзи, Рафаэль Фольц. Сравнительный анализ OWL Reasoners ^{[ постоянная неработающая ссылка ]} . Зеркало доступно. В ARea2008 – Семинар по продвижению рассуждений в Интернете: масштабируемость и здравый смысл (июнь 2008 г.)
• Том Гардинер, Ян Хоррокс, Дмитрий Царьков. Автоматизированный бенчмаркинг дескриптивных логических рассуждений. Семинар по дескриптивной логике 2006