Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

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

Известные приложения [ править ]

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

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

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

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

  • Cwm , модуль рассуждений с прямой цепью, используемый для запроса, проверки, преобразования и фильтрации информации. Его базовым языком является RDF, расширенный за счет включения правил, и при необходимости он использует сериализации RDF / XML или N3.
  • Drools , механизм правил на основе логического вывода с прямой цепочкой, который использует улучшенную реализацию алгоритма Rete .
  • Evrete , механизм правил Java с прямой цепочкой, использующий алгоритм Rete и совместимый с API Java Rule Engine (JSR 94).
  • Flora-2 , объектно-ориентированная, основанная на правилах система представления знаний и рассуждений.
  • Jena , фреймворк семантической сети с открытым исходным кодом для Java, который включает ряд различных модулей семантического мышления.
  • Prova , механизм правил семантической сети, который поддерживает интеграцию данных с помощью запросов SPARQL и систем типов (RDFS, онтологии OWL как системы типов).

Приложения, содержащие аргументы [ править ]


Semantic Reasoner for Internet of Things (открытый исходный код) [ править ]

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

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

См. Также [ править ]

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

Ссылки [ править ]

  1. ^ Ван, Пей. «Основано на семантике опыта для интеллекта, Технический отчет 96» . www.cogsci.indiana.edu . CRCC . Проверено 13 апреля 2015 года .
  2. ^ Герцель, Бен; Икле, Мэтью; Гертцель, Изабела Фрейре; Heljakka, Ари (2008). Вероятностные логические сети: комплексная основа для неопределенного вывода . Springer Science & Business Media. п. 42. ISBN 9780387768724.

Внешние ссылки [ править ]

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