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

, Семантический рассуждение рассуждение , правило или просто рассуждение — это часть программного обеспечения, способная выводить логические следствия из набора утвержденных фактов или аксиом . Понятие семантического рассуждения обобщает понятие машины вывода , предоставляя более богатый набор механизмов для работы. Правила вывода обычно задаются с помощью языка онтологий и часто языка логики описания . Многие исследователи используют логику предикатов первого порядка для рассуждений ; Вывод обычно осуществляется путем прямого и обратного связывания . Есть также примеры вероятностных рассуждений, включая неаксиоматические системы рассуждений . ^{[ 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

[Wang-1] Ван, Пей. «На основе семантики опыта для интеллекта, технический отчет 96» . www.cogsci.indiana.edu . КРЦК . Проверено 13 апреля 2015 г.

[Goertzel2008-2] Герцель, Бен; Икле, Мэтью; Герцель, Изабела Фрейре; Хельякка, Ари (2008). Вероятностно-логические сети: комплексная основа для неопределенного вывода . Springer Science & Business Media. п. 42. ИСБН 978-0-387-76872-4 .

[3] Бритц К. и Варзинчак И. (2018). Рациональность и контекст в отменяемом отнесении. На Международном симпозиуме по основам систем информации и знаний (стр. 114–132). Спрингер, Чам.

[ 1 ]

[ 2 ]

[ 3 ]