Семантическое рассуждение
, Семантический рассуждение рассуждение , правило или просто рассуждение — это часть программного обеспечения, способная выводить логические следствия из набора утвержденных фактов или аксиом . Понятие семантического рассуждения обобщает понятие машины вывода , предоставляя более богатый набор механизмов для работы. Правила вывода обычно задаются с помощью языка онтологий и часто языка логики описания . Многие исследователи используют логику предикатов первого порядка для рассуждений ; Вывод обычно осуществляется путем прямого и обратного связывания . Есть также примеры вероятностных рассуждений, включая неаксиоматические системы рассуждений . [ 1 ] и вероятностно-логические сети . [ 2 ]
Известные приложения
[ редактировать ]Известные семантические рассуждения и соответствующее программное обеспечение:
Бесплатное использование (закрытый исходный код)
[ редактировать ]- Механизм вывода Cyc , механизм прямого и обратного вывода с многочисленными специализированными модулями для логики высокого порядка.
- KAON2 — это инфраструктура для управления онтологиями OWL-DL , SWRL и F-Logic .
Бесплатное программное обеспечение (с открытым исходным кодом)
[ редактировать ]- 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 ] Он реализует стиль рассуждений с преференциальным следствием , который сводится к «классическому следствию», т. е. без необходимости изменять базовую процедуру принятия решения.
Приложения, содержащие аргументы
[ редактировать ]- Apache Marmotta включает в себя рассуждение на основе правил в своем тройном хранилище KiWi .
Семантическое обоснование для Интернета вещей (с открытым исходным кодом)
[ редактировать ]Семантическое обоснование S-LOR (Связанные открытые правила на основе датчиков) S-LOR находится под лицензией GNU GPLv3.
S-LOR (Связанные открытые правила на основе датчиков) — это основанный на правилах механизм рассуждений и подход к совместному использованию и повторному использованию совместимых правил для получения значимых знаний из измерений датчиков.
См. также
[ редактировать ]- Механизм бизнес-правил
- Доксастическая логика
- Экспертные системы
- Логическое программирование
- Метод аналитических таблиц
- Решатель
Ссылки
[ редактировать ]- ^ Ван, Пей. «На основе семантики опыта для интеллекта, технический отчет 96» . www.cogsci.indiana.edu . КРЦК . Проверено 13 апреля 2015 г.
- ^ Герцель, Бен; Икле, Мэтью; Герцель, Изабела Фрейре; Хельякка, Ари (2008). Вероятностно-логические сети: комплексная основа для неопределенного вывода . Springer Science & Business Media. п. 42. ИСБН 978-0-387-76872-4 .
- ^ Бритц К. и Варзинчак И. (2018). Рациональность и контекст в отменяемом отнесении. На Международном симпозиуме по основам систем информации и знаний (стр. 114–132). Спрингер, Чам.
Внешние ссылки
[ редактировать ]- OWL 2 Reasoners перечислены на домашней странице рабочей группы W3C SW
- Язык запросов SPARQL для RDF
- Марко Лютер, Торстен Либих, Себастьян Бём, Олаф Ноппенс: кто, черт возьми, отец Боба? . ЕСВК 2009: 66-80
- Юрген Бок, Петер Хаазе, Цю Цзи, Рафаэль Фольц. Сравнительный анализ OWL Reasoners [ постоянная мертвая ссылка ] . Зеркало в наличии . В ARea2008 - Семинар по развитию рассуждений в Интернете: масштабируемость и здравый смысл (июнь 2008 г.)
- Том Гардинер, Ян Хоррокс, Дмитрий Царьков. Автоматизированный бенчмаркинг логических рассуждений . Описание Logics Workshop 2006