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

Формат Rule Interchange ( РИФ ) является Рекомендация W3C . RIF является частью инфраструктуры семантической сети вместе с (в основном) SPARQL , RDF и OWL . Хотя изначально многие рассматривали его как «уровень правил» для семантической сети, в действительности дизайн RIF основан на наблюдении, что существует множество «языков правил», и что необходимо, так это обмен правилами между ними. [1]

RIF включает три диалекта: основной диалект, который расширен до базового логического диалекта (BLD), и диалект производственных правил (PRD). [2]

История [ править ]

Рабочая группа RIF была создана в конце 2005 года. Среди ее целей было привлечение участников рынка коммерческих правил. Рабочая группа началась с более чем 50 членов и двух председателей из отрасли, Кристиана де Сент-Мари из ILOG и Криса Велти из IBM . На хартию, направленную на разработку формата обмена между существующими системами правил, повлиял семинар весной 2005 года, на котором было ясно, что один язык правил не будет служить потребностям всех заинтересованных сторон (д-р Велти описал результаты семинара). как равновесие по Нэшу [3] ).

RIF стал Рекомендацией W3C 22 июня 2010 г. [4]

Правила и системы правил [ править ]

Правило , пожалуй , один из самых простых понятий в информатике: это IF - THEN построить. Если выполняется какое-то условие (часть IF), которое можно проверить в некотором наборе данных, то выполняется заключение (часть THEN). В некоторой степени проистекая из логики , системы правил используют понятие предикатов, которые содержат или не содержат какой-либо объект данных или объекты. Например, тот факт, что два человека состоят в браке, может быть представлен предикатами как MARRIED (ЛИЗА, ДЖОН) . БРАК - это предикат, который, как можно сказать, имеет место между ЛИЗА и ДЖОН . Если добавить понятие переменных, правило может выглядеть примерно так:

ЕСЛИ ЗАМУЖЕМ (? X ,? Y), ТО ЛЮБИТ (? X,? Y)

Можно было бы ожидать , что для каждой пары? Х и? У (например , LISA и JOHN ) , для которых MARRIED предикат имеет, некоторые компьютерные системы , которые могли бы понять это правило , будет заключить , что ЛЮБИТ предикат выполняется для этой пары , а также.

Правила - это простой способ кодирования знаний и радикальное упрощение логики первого порядка , для которой относительно легко реализовать механизмы вывода, которые могут обрабатывать условия и делать правильные выводы. Система правил - это реализация определенного синтаксиса и семантики правил, которые могут расширять простое понятие, описанное выше, включая экзистенциальную количественную оценку , дизъюнкцию , логическое соединение , отрицание , функции , немонотонность., и многие другие функции. Системы правил были внедрены и изучались с середины 1970-х годов и получили широкое распространение в 1980-х годах, в период расцвета так называемых экспертных систем .

Стандартные диалекты РИФ [ править ]

Стандартные диалекты RIF - Core, BLD и PRD. Эти диалекты зависят от обширного списка типов данных со встроенными функциями и предикатами для этих типов данных.

Отношения различных диалектов RIF показаны на следующей диаграмме Венна. [5]

DTB [ править ]

Datatypes and Built-Ins (DTB) определяет список типов данных, встроенных функций и встроенных предикатов, которые, как ожидается, будут поддерживаться диалектами RIF. Некоторые типы данных адаптированы из типов данных схемы XML , [6] функций XPath [7] и функций rdf: PlainLiteral. [8]

Ядро [ править ]

Основной диалект включает в себя общее подмножество большинства диалектов правил. RIF-Core - это подмножество RIF-BLD и RIF-PRD.

FLD [ править ]

Структура для логических диалектов (FLD) описывает механизмы для определения синтаксиса и семантики логических диалектов RIF, включая RIF-BLD и RIF-Core, но не RIF-PRD, который не является диалектом RIF на основе логики.

BLD [ править ]

Базовый логический диалект (BLD) добавляет к базовому диалекту функции, которые напрямую не доступны, такие как: логические функции, равенство в тогдашней части и именованные аргументы . RIF BLD соответствует положительным журналам данных, то есть логическим программам без функций или отрицаний.

RIF-BLD имеет теоретико-модельную семантику.

Рамки синтаксиса RIF BLD основан на F-логики , но RIF BLD не имеет немонотон- рассуждения функции F-логики. [9]

PRD [ править ]

Диалект производственных правил (PRD) может использоваться для моделирования производственных правил . Особенности, которые особенно характерны для PRD, но не для BLD, включают отрицание и опровержение фактов (таким образом, PRD не является монотонным). Правила PRD зависят от порядка, поэтому необходимы стратегии разрешения конфликтов, когда может быть задействовано несколько правил. Спецификация PRD определяет одну такую ​​стратегию разрешения, основанную на логике прямой цепочки .

RIF-PRD имеет операционную семантику , тогда как формулы условий также имеют теоретико-модельную семантику.

Пример (пример 1.2 в [10] )

Префикс (например, <http://example.com/2008/prd1#>)(* пример: правило_1 *)Для всех покупок клиентовYTD ( Если И (? Customer # ex: Customer ? customer [пример: PurchasesYTD ->? PurchasesYTD] Внешний (пред: числовое-больше-чем (? PurchasesYTD 5000))) Затем сделайте (Изменить (? Customer [ex: status -> «Gold»])))

Нестандартные диалекты РИФ [ править ]

Существует несколько других диалектов RIF. Ни один из них официально не одобрен W3C и не является частью спецификации RIF.

CASPD [ править ]

Основной диалект программирования набора ответов (CASPD) [11] основан на программировании набора ответов , то есть программировании декларативной логики на основе семантики набора ответов (семантика стабильной модели ).

Пример:

Документ( Префикс (например, <http://example.com/concepts#>) Группа ( Forall? S ( Пример: испуганный (? S Пример: Математика): - И (? S # Пример: Студент (Naf Neg ex: испуганный (? S Пример: Математика))) )  Forall? S ( Neg ex: испуганный (? S ex: Math): - И (? S # ex: Student? S [ex: majors -> ex: Math]) ) )

URD [ править ]

Диалект правила неопределенности (URD) [12] поддерживает прямое представление неопределенного знания.

Пример:

Документ(  Импорт (<http://example.org/fuzzy/membershipfunction>)  Группа  (  Для всех? X? Y (  cheapFlight (? x? y): - availableFlight (? x? y)  ) / 0,4  Для всех? X? Y (доступный рейс (? X? Y)) / left_shoulder0k4k1k3k (? Y)  ))

ШЕЛК [ править ]

RIF-SILK [13] может использоваться для моделирования логики по умолчанию . Он основан на декларативном логическом программировании с хорошо обоснованной семантикой . RIF-SILK также включает ряд других функций, представленных в более сложных языках программирования с декларативной логикой, таких как SILK. [14]

Пример

Document { Префикс (foaf http://xmlns.com/foaf/0.1/) Префикс (pub http://example.org/pub#) Префикс (шелк http: // TBD / silk #) Группа { (* r1 *) Для всей бумаги? a1? a2?  (? a1 [foaf: знает ->? a2]  : -? paper # pub: Публикация [pub: author ->? a1, pub: author ->? a2}]) (* r2 *) Для всех? a1? a2 (neg? a1 [foaf: знает ->? a2]  : -? a1 [hasNeverMet ->? a2]) шелк: отменяет (r2, r1) }}

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

  • Выравнивание онтологий
  • R2ML
  • Представление производственных правил - сравнимо с диалектом RIF, называемым диалектом производственных правил, хотя ориентированное на моделирование, а не на обмен во время выполнения.

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

  1. ^ Кифер, Майкл (2008). « Формат обмена правилами: структура ». в: Веб-рассуждения и системы правил. Конспект лекций по информатике
  2. ^ Обзор РИФ
  3. ^ Велти, Крис (2009). « Формат обмена правилами ». Приглашенная презентация на Встрече по семантической паутине в Нью-Йорке.
  4. ^ Основной диалект РИФ
  5. ^ Сценарии использования и требования RIF
  6. ^ Типы данных схемы XML
  7. ^ XPath-функции
  8. ^ rdf: PlainLiteral: тип данных для простых литералов RDF
  9. ^ М. Krötzsch (октябрь 2010). Описание Логические правила . IOS Press. п. 10. ISBN 978-1-61499-342-1.
  10. ^ Спецификация RIF-PRD
  11. ^ Диалект программирования набора ответов RIF Core
  12. ^ Чжао и Боули. Обработка неопределенности в формате обмена правилами: от кодирования к расширению. В 4-м международном семинаре по объяснению неопределенности для семантической сети (URSW), 2008 г.
  13. ^ РИФ ШЕЛК диалект
  14. ^ ШЕЛКОВЫЙ Язык, Бенджамин Грозоф, Майкл Кифер, Майк Дин. Vulcan Inc., 2009 г.

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

  • Рабочая группа РИФ
  • РИФ FAQ