Логика описания

редактировать
семейство формальных представлений знаний

Логики описания (DL) представляют собой семейство формальных представлений знаний языков. Многие DL более выразительны, чем логика высказываний, но менее выразительны, чем логика первого порядка. В отличие от последнего, основные проблемы рассуждений для DL являются (обычно) разрешимыми, и для этих проблем были разработаны и реализованы эффективные процедуры принятия решений. Существуют общие, пространственные, временные, пространственно-временные и нечеткие логики описания, и каждая логика описания имеет различный баланс между выразительной силой и , рассуждая сложностью за счет поддержки различных наборы математических конструкторов.

DL используются в искусственном интеллекте для описания и обоснования соответствующих концепций предметной области (известных как терминологические знания). Это особенно важно для обеспечения логического формализма для онтологий и Semantic Web : Web Ontology Language (OWL) и его профиль основаны на DL. Наиболее заметное применение DL и OWL находится в биомедицинской информатике, где DL помогает в кодификации биомедицинских знаний.

Содержание

  • 1 Введение
  • 2 Номенклатура
    • 2.1 Терминология по сравнению с FOL и OWL
    • 2.2 Соглашение об именах
      • 2.2.1 Исключения
      • 2.2.2 Примеры
  • 3 История
    • 3.1 Представление знаний
    • 3.2 Семантическая сеть
  • 4 Моделирование
  • 5 Формальное описание
    • 5.1 Синтаксис
      • 5.1.1 Нотация
      • 5.1.2 Логика описания ALC
        • 5.1.2.1 Концепции
        • 5.1.2.2 Терминологические аксиомы
        • 5.1.2.3 Аксиомы утверждений
        • 5.1.2.4 База знаний
    • 5.2 Семантика
      • 5.2.1 Логика описания ALC
        • 5.2.1.1 TBox
        • 5.2.1.2 ABox
        • 5.2.1.3 База знаний
  • 6 Вывод
    • 6.1 Проблемы принятия решений
  • 7 Взаимосвязь с другими логиками
    • 7.1 Логика первого порядка
    • 7.2 Логика нечеткого описания
    • 7.3 Модальная логика
      • 7.3.1 Примеры
    • 7.4 Логика временного описания
  • 8 См. Также
  • 9 Ссылки
  • 10 Дополнительная литература
  • 11 Внешние ссылки
    • 11.1 Reasoners
    • 11.2 Редакторы
    • 11.3 Интерфейсы

Введение

Логика описания (DL) моделирует концепции, роли и индивидов. ls и их отношения.

Фундаментальной концепцией моделирования DL является аксиома - логическое утверждение, касающееся ролей и / или концепций. Это ключевое отличие от парадигмы кадров, где спецификация кадра объявляет и полностью определяет класс.

Номенклатура

Терминология по сравнению с FOL и OWL

Сообщество логики описания использует другую терминологию, чем сообщество логики первого порядка (FOL) для функционально эквивалентных понятий; некоторые примеры приведены ниже. Язык веб-онтологий (OWL) снова использует другую терминологию, также приведенную в таблице ниже.

Синонимы
FOLOWLDL
константаиндивидуальныйиндивидуальный
унарный предикатклассконцепция
двоичный предикатсвойствороль

Соглашение об именах

Существует множество разновидностей логики описания, и существует неформальное соглашение об именах, примерно описывающее разрешенные операторы. выразительность закодирована в метке для логики, начинающейся с одной из следующих базовых логик:

A L {\ displaystyle {\ mathcal {AL}}}{\ mathcal {AL}} Атрибутивный язык. Это базовый язык, который позволяет:
  • атомарное отрицание (отрицание имен концептов, которые не появляются в левой части аксиом)
  • пересечение концепций
  • универсальные ограничения
  • Ограниченная количественная оценка существования
FL {\ displaystyle {\ mathcal {FL}}}{\ mathcal {FL}} Язык описания на основе фреймов, позволяет:
  • Пересечение концепций
  • Универсальные ограничения
  • Ограниченная количественная оценка существования
  • Ограничение роли
EL {\ displaystyle {\ mathcal {EL}}}{\ mathcal {EL}} Экзистенциальный язык, допускает:
  • пересечение концепций
  • Экзистенциальные ограничения (полного экзистенциальная количественная оценка)

За ней следует любое из следующих расширений:

F {\ displaystyle {\ mathcal {F}}}{\ mathcal {F}} Функциональные свойства, особый случай количественной оценки уникальности.
E {\ displaystyle {\ mathcal {E}}}{\mathcal {E}}Полная экзистенциальная квалификация (экзистенциальные ограничения с другими заполнителями, кроме ⊤ {\ displaystyle \ top}\top ).
U {\ displaystyle {\ mathcal {U}}}{\ mathcal {U}} Объединение понятий.
C {\ displaystyle {\ mathcal {C}}}{\mathcal {C}}Отрицание сложных понятий.
H {\ displaystyle {\ mathcal {H}}}{\ mathcal {H}} Иерархия ролей (подсвойства: rdfs: subPropertyOf).
R {\ displaystyle {\ mathcal {R}}}{\ mathcal {R} } Аксиомы ограниченного включения сложных ролей; рефлексивность и нерефлексивность; разобщенность ролей.
O {\ displaystyle {\ mathcal {O}}}{\ mathcal {O}} Номиналы. (Перечисленные классы ограничений значений объекта: owl: oneOf, owl: hasValue).
I {\ displaystyle {\ mathcal {I}}}{\mathcal {I}}Обратные свойства.
N {\ displaystyle {\ mathcal {N}}}{\ mathcal {N}} Ограничения мощности (owl: cardinality, owl: maxCardinality), особый случай подсчета quantification
Q {\ displaystyle {\ mathcal {Q}}}{\ mathcal {Q}} Квалифицированные ограничения мощности (доступно в OWL 2, ограничения мощности с заполнителями, отличными от ⊤ {\ displaystyle \ top}\top ).
(D) {\ displaystyle ^ {\ mathcal {(D)}}}^ {{\ mathcal {(D)}}} Использование свойств типа данных, значений данных или типов данных.

Исключения

Вот некоторые канонические списки рассылки, которые не совсем соответствуют этому соглашению:

S {\ displaystyle {\ mathcal {S}}}{\mathcal {S}}Аббревиатура для ALC {\ displaystyle {\ mathcal {ALC}}}{\ mathcal {ALC}} с транзитивными ролями.
FL - {\ displaystyle {\ mathcal {FL ^ {-}}}}{\ mathcal {FL ^ {-}}} Подъязык FL {\ displaystyle {\ mathcal {FL}}}{\ mathcal {FL}} , который получается путем запрета ограничения ролей. Это эквивалентно A L {\ displaystyle {\ mathcal {AL}}}{\ mathcal {AL}} без атомарного отрицания.
FL o {\ displaystyle {\ mathcal {FL}} _ {o}}{\mathcal {FL}}_{o}Подъязык FL - {\ displaystyle {\ mathcal {FL ^ {-}}}}{\ mathcal {FL ^ {-}}} , который получается путем запрета ограниченной экзистенциальной количественной оценки.
EL + + {\ displaystyle {\ mathcal {EL ^ {++}}}}{\ mathcal {EL ^ {{+ +}}}} Псевдоним для ELRO {\ displaystyle {\ mathcal {ELRO}}}{\ mathcal {ELRO}} .

Примеры

Например, ALC {\ displaystyle {\ mathcal {ALC}}}{\ mathcal {ALC}} - это центрально важная логика описания, на основе которой можно проводить сравнения с другими разновидностями. ALC {\ displaystyle {\ mathcal {ALC}}}{\ mathcal {ALC}} - это просто AL {\ displaystyle {\ mathcal {AL}}}{\ mathcal {AL}} с дополнением любого разрешенного понятия, а не только атомарные концепции. ALC {\ displaystyle {\ mathcal {ALC}}}{\ mathcal {ALC}} используется вместо эквивалентного ALUE {\ displaystyle {\ mathcal {ALUE}}}{\mathcal {ALUE}}.

Еще один пример, логика описания SHIQ {\ displaystyle {\ mathcal {SHIQ}}}{\ mathcal {SHIQ}} - это логика ALC {\ displaystyle {\ mathcal {ALC}}}{\ mathcal {ALC}} плюс расширенная мощность ограничения, переходные и обратные роли. Соглашения об именах не являются чисто систематическими, поэтому логика ALCOIN {\ displaystyle {\ mathcal {ALCOIN}}}{\ mathcal {ALCOIN}} может упоминаться как ALCNIO {\ displaystyle {\ mathcal {ALCNIO }}}{\ mathcal {ALCNIO}} и другие сокращения также используются там, где это возможно.

Редактор онтологий Protégé поддерживает S H O I N (D) {\ displaystyle {\ mathcal {SHOIN}} ^ {\ mathcal {(D)}}}{\ mathcal {SHOIN}} ^ {{\ mathcal {(D)}}} . Три основные терминологические базы биомедицинской информатики, SNOMED CT, GALEN и GO, могут быть выражены в EL {\ displaystyle {\ mathcal {EL}}}{\ mathcal {EL}} (с дополнительными ролевыми свойствами).

OWL 2 обеспечивает выразительность SROIQ (D) {\ displaystyle {\ mathcal {SROIQ}} ^ {\ mathcal {(D)}}}{\ mathcal {SROIQ}} ^ {{\ mathcal {(D)}}} , OWL-DL основан на SHOIN (D) {\ displaystyle {\ mathcal {SHOIN}} ^ {\ mathcal {(D)}}}{\ mathcal {SHOIN}} ^ {{\ mathcal {(D)}}} , а для OWL-Lite это SHIF ( D) {\ displaystyle {\ mathcal {SHIF}} ^ {\ mathcal {(D)}}}{\ mathcal {SHIF}} ^ {{\ mathcal {(D)}}} .

История

Логика описания получила свое нынешнее название в 1980-х годах. До этого он назывался (в хронологическом порядке): терминологические системы и концептуальные языки.

Представление знаний

Фреймы и семантические сети не имеют формальной (логической) семантики. DL был впервые введен в системы представления знаний (KR) для преодоления этого недостатка.

Первой системой KR на основе DL была KL-ONE (by Рональд Дж. Брахман и Шмольце, 1985). В течение 80-х годов были разработаны другие системы на основе DL, использующие алгоритмы структурного подчинения, включая KRYPTON (1983), LOOM (1987), BACK (1988), K-REP (1991) и CLASSIC (1991). Этот подход показал DL с ограниченной выразительностью, но относительно эффективным (полиномиальное время) рассуждением.

В начале 90-х годов введение новой парадигмы алгоритмов на основе таблиц позволило эффективно рассуждать о более выразительном DL. Системы на основе DL, использующие эти алгоритмы, такие как KRIS (1991), демонстрируют приемлемую производительность рассуждений по типичным задачам вывода, даже несмотря на то, что сложность наихудшего случая больше не является полиномиальной.

С середины 90-х гг. хорошие практические характеристики на очень выразительном DL с высокой сложностью наихудшего случая. Примеры этого периода включают FaCT, (2001), CEL (2005) и KAON 2 (2005).

Модули рассуждений DL, такие как FaCT, FaCT ++, RACER, DLP и Pellet, реализуют метод аналитических таблиц. KAON2 реализуется с помощью алгоритмов, которые сокращают базу знаний SHIQ (D) до дизъюнктивной программы журнала данных.

Семантическая сеть

Язык разметки агента DARPA (DAML) и Уровень вывода онтологии (OIL) языки онтологий для Семантическая сеть можно рассматривать как синтаксические варианты DL. В частности, формальная семантика и рассуждения в OIL используют S H I Q {\ displaystyle {\ mathcal {SHIQ}}}{\ mathcal {SHIQ}} DL. DAML + OIL DL был разработан как отправная точка Рабочей группе по веб-онтологии Консорциума World Wide Web (W3C) и послужила отправной точкой. В 2004 г. рабочая группа по веб-онтологиям завершила свою работу, выпустив рекомендацию OWL. Дизайн OWL основан на семействе SH {\ displaystyle {\ mathcal {SH}}}{\ mathcal {SH}} DL с OWL DL и OWL Lite на основе SHOIN (D) {\ displaystyle {\ mathcal {SHOIN}} ^ {\ mathcal {(D)}}}{\ mathcal {SHOIN}} ^ {{\ mathcal {(D)}}} и SHIF (D) {\ displaystyle {\ mathcal {SHIF}} ^ {\ mathcal {(D) }}}{\ mathcal {SHIF}} ^ {{\ mathcal {(D)}}} соответственно.

Рабочая группа W3C OWL начала работу в 2007 году над доработкой и расширением OWL. В 2009 году это было завершено выпуском рекомендации OWL2. OWL2 основан на логике описания S R O I Q (D) {\ displaystyle {\ mathcal {SROIQ}} ^ {\ mathcal {(D)}}}{\ mathcal {SROIQ}} ^ {{\ mathcal {(D)}}} . Практический опыт показал, что в OWL DL отсутствуют некоторые ключевые функции, необходимые для моделирования сложных доменов.

Моделирование

В DL проводится различие между так называемыми TBox (терминологическое поле) и ABox (поле утверждения). В общем, TBox содержит предложения, описывающие иерархии понятий (т. Е. Отношения между концептами ), в то время как ABox содержит базовые предложения, указывающие, где в иерархии люди принадлежат (т. концепции). Например, утверждение:

Каждый служащий - это человек

(1)

принадлежит TBox, а утверждение:

Боб - служащий

(2)

принадлежит к ABox.

Обратите внимание, что различие TBox / ABox не имеет значения в том же смысле, что два «типа» предложений не обрабатываются по-разному в логике первого порядка (которая включает в себя большую часть DL). При переводе в логику первого порядка аксиома как (1) представляет собой просто условное ограничение на унарные предикаты (концепции) с отображением только переменных в этом. Ясно, что предложение этой формы не является привилегированным или особенным по сравнению с предложениями, в которых только константы («обоснованные» значения) появляются как (2).

Так почему было введено различие? Основная причина состоит в том, что разделение может быть полезно при описании и формулировании процедур принятия решений для различных DL. Например, рассуждающий может обрабатывать TBox и ABox по отдельности, отчасти потому, что определенные ключевые проблемы вывода связаны с одной, но не с другой («классификация» связана с TBox, «проверка экземпляра» - с ABox). Другой пример: сложность TBox может сильно повлиять на производительность данной процедуры принятия решения для определенного DL, независимо от ABox. Таким образом, полезно иметь способ поговорить об этой конкретной части базы знаний.

. Вторичная причина состоит в том, что различие может иметь смысл с точки зрения разработчика модели базы знаний. Правдоподобно провести различие между нашей концепцией терминов / концепций в мире (аксиомы классов в TBox) и конкретными проявлениями этих терминов / концепций (утверждения экземпляров в ABox). В приведенном выше примере: когда иерархия внутри компании одинакова в каждом филиале, но назначение сотрудников различается в каждом подразделении (потому что там работают другие люди), имеет смысл повторно использовать TBox для разных филиалов, которые не работают. используйте тот же ABox.

Есть две особенности логики описания, которые не разделяются большинством других формализмов описания данных: DL не делает предположение уникального имени (UNA) или допущение замкнутого мира (CWA). Отсутствие UNA означает, что две концепции с разными именами могут быть признаны эквивалентными по некоторому выводу. Отсутствие CWA или, скорее, наличие предположения об открытом мире (OWA) означает, что незнание факта не означает сразу знание об отрицании факта.

Формальное описание

Как и логика первого порядка (FOL), синтаксис определяет, какие наборы символов являются допустимыми выражениями в логике описания, и семантика определяют значение. В отличие от FOL, DL может иметь несколько хорошо известных синтаксических вариантов.

Синтаксис

Синтаксис члена семейства логики описания характеризуется его рекурсивным определением, в котором конструкторы, которые могут быть излагаются используемые для формирования понятия термины. Некоторые конструкторы связаны с логическими конструкторами в логике первого порядка (FOL), например, пересечение или соединение концептов, объединение или дизъюнкция концептов, отрицание или дополнение концептов, универсальное ограничение и экзистенциальное ограничение. Другие конструкторы не имеют соответствующей конструкции в FOL, включая ограничения на роли, например, обратная, транзитивность, и функциональность.

Обозначение

Пусть C и D - понятия, a и b - индивидуумы, а R - роль.

Если a связано с R с b, то b называется R-преемником a.

Условное обозначение
СимволОписаниеПримерЧтение
⊤ {\ displaystyle \ top}\top ⊤ - это особая концепция с каждым индивид как экземпляр⊤ {\ displaystyle \ top}\top top
⊥ {\ displaystyle \ bot}\ bot пустой concept⊥ {\ displaystyle \ bot}\ bot bottom
⊓ {\ displaystyle \ sqcap}\sqcap пересечение или соединение концепцийC ⊓ D {\ displaystyle C \ sqcap D}C \ sqcap D C и D
⊔ {\ displaystyle \ sqcup}\sqcup объединение или дизъюнкция концептовC ⊔ D {\ displaystyle C \ sqcup D}C \ sqcup D C или D
¬ {\ displaystyle \ neg}\ neg отрицание или дополнение понятий¬ C {\ displaystyle \ neg C}\ neg C not C
∀ {\ displaystyle \ forall}\ forall универсальное ограничение ∀ R. C {\ displaystyle \ forall R.C}\ forall RC все R-преемники находятся в C
∃ {\ displaystyle \ exists}\exists экзистенциальное ограничение ∃ R. C {\ displaystyle \ exists RC}\ exists RC R-преемник существует в C
⊑ {\ displaystyle \ sqsubseteq}\ sqsubseteq Включение концепцииC ⊑ D {\ displaystyle C \ sqsubseteq D}C\sqsubseteq Dвсе C являются D
≡ {\ displaystyle \ Equiv}\equiv Концептуальная эквивалентностьC ≡ D {\ displaystyle C \ Equiv D}C \ Equ D C эквивалентна D
= ˙ {\ displaystyle { \ dot {=}}}{\dot =}Определение понятияC = ˙ D {\ displaystyle C {\ dot {=}} D}C{\dot =}DC определяется как равное D
: {\ displaystyle :}: Утверждение концепцииa: C {\ displaystyle a: C}a:Ca - это C
: {\ displaystyle:}: Утверждение роли(a, b): R {\ displaystyle (a, b): R}(a,b):Ra связано с R с b

Логика описания ALC

Прототип языка атрибутивных концепций DL с дополнениями (ALC {\ displaystyle {\ mathcal {ALC}}}{\ mathcal {ALC}} ) был введен Манфредом Шмидт-Шауссом и Гертом Смолкой в ​​1991 году и является основой многих более выразительных DL. Следующие определения соответствуют трактовке в Баадере и др.

Пусть NC {\ displaystyle N_ {C}}N _ {C} , NR {\ displaystyle N_ {R}}N_{R}и NO {\ displaystyle N_ {O}}N_{O}be (соответственно) задает имен концептов (также известных как атомарные концепции), имен ролей и имен отдельных лиц (также известных как отдельные лица, номиналы или объекты). Тогда упорядоченная тройка (NC {\ displaystyle N_ {C}}N _ {C} , NR {\ displaystyle N_ {R}}N_{R}, NO {\ displaystyle N_ {O}}N_{O}) является подпись.

Concepts

Набор концептов ALC {\ displaystyle {\ mathcal {ALC}}}{\ mathcal {ALC}} является наименьшим набором, так что:

  • следующие являются понятиями:
    • ⊤ {\ displaystyle \ top}\top (вверху - понятие)
    • ⊥ {\ displaystyle \ bot}\ bot (внизу - понятие)
    • Каждый A ∈ NC {\ displaystyle A \ in N_ {C}}A \ in N_ {C} (все атомарные концепции являются концепциями)
  • Если C {\ displaystyle C}C и D {\ displaystyle D}D - концепции, а R ∈ NR {\ displaystyle R \ in N_ {R}}R\in N_{R}то следующие концепции :
    • C ⊓ D {\ displaystyle C \ sqcap D}C \ sqcap D (пересечение двух концептов - это концепция)
    • C ⊔ D {\ displaystyle C \ sqcup D}C \ sqcup D (объединение двух понятий - это понятие)
    • ¬ C {\ displaystyle \ neg C}\ neg C (дополнение к понятию - это понятие)
    • ∀ R. C {\ displaystyle \ forall R.C}\ forall RC (универсальное ограничение понятия ролью - это понятие)
    • ∃ R. C {\ displaystyle \ exists RC}\ exists RC (экзистенциальное ограничение понятия ролью - это понятие)
Терминологические аксиомы

Общее включение понятия (GCI) имеет форму C ⊑ D {\ displaystyle C \ sqsubseteq D}C\sqsubseteq Dгде C {\ displaystyle C}C и D {\ displaystyle D}D это понятия. Запишите C ≡ D {\ displaystyle C \ Equiv D}C \ Equ D , когда C ⊑ D {\ displaystyle C \ sqsubseteq D}C\sqsubseteq Dи D ⊑ C { \ Displaystyle D \ sqsubseteq C}D\sqsubseteq C. TBox - это любой конечный набор GCI.

Аксиомы утверждения
  • Утверждение концепции - это утверждение формы a: C {\ displaystyle a: C}a:Cгде a ∈ NO {\ displaystyle a \ in N_ {O}}a \ in N_ {O} и C - понятие.
  • Утверждение роли - это утверждение формы (a, b): R {\ displaystyle (a, б): R}(a,b):Rгде a, b ∈ NO {\ displaystyle a, b \ in N_ {O}}a, b \ in N_ {O} и R - роль.

ABox является конечным набором аксиом утверждения.

База знаний

База знаний (KB) - это упорядоченная пара (T, A) {\ displaystyle ({\ mathcal {T}}, {\ mathcal {A}) })}( {\ mathcal {T}}, {\ mathcal {A}}) для TBox T {\ displaystyle {\ mathcal {T}}}{\ mathcal {T}} и ABox A {\ displaystyle {\ mathcal {A}}}{\ mathcal {A}} .

Семантика

семантика логики описания определяется путем интерпретации концептов как наборов индивидуумов и ролей как наборов упорядоченных пар индивидуумов. Обычно предполагается, что эти люди принадлежат к определенной области. Затем семантика неатомарных концепций и ролей определяется в терминах атомарных концепций и ролей. Это делается с помощью рекурсивного определения, аналогичного синтаксису.

Описание логики ALC

Следующие определения следуют трактовке в Баадер и др.

Терминологическая интерпретация I = (Δ I, ⋅ I) {\ displaystyle {\ mathcal {I}} = (\ Delta ^ {\ mathcal {I}}, \ cdot ^ {\ mathcal {I}})}{\mathcal {I}}=(\Delta ^{{{\mathcal {I}}}},\cdot ^{{{\mathcal {I}}}})над подписью (NC, NR, НЕТ) {\ displaystyle (N_ {C}, N_ {R}, N_ {O})}(N_ {C}, N_ {R}, N_ {O}) состоит из

  • непустого набора Δ I {\ displaystyle \ Delta ^ { \ mathcal {I}}}\ Delta ^ {{{\ mathcal {I}}}} вызвал домен
  • функцией интерпретации ⋅ I {\ displaystyle \ cdot ^ {\ mathcal {I}}}\ cdot ^ {{{\ mathcal {I}}}} который сопоставляет:
    • каждого индивидуума a {\ displaystyle a}aс элементом a I ∈ Δ I {\ displaystyle a ^ {\ mathcal {I}} \ в \ Delta ^ {\ mathcal {I}}}a^{{{\mathcal {I}}}}\in \Delta ^{{{\mathcal {I}}}}
    • каждое понятие к подмножеству Δ I {\ displaystyle \ Delta ^ {\ mathcal {I}}}\ Delta ^ {{{\ mathcal {I}}}}
    • каждое имя роли к подмножеству Δ I × Δ I {\ displaystyle \ Delta ^ {\ mathcal {I}} \ times \ Delta ^ {\ mathcal {I}}}\Delta ^{{{\mathcal {I}}}}\times \Delta ^{{{\mathcal {I}}}}

так, что

  • ⊤ I = Δ I {\ displaystyle \ top ^ {\ mathcal {I}} = \ Delta ^ {\ mathcal {I} }}\top ^{{{\mathcal {I}}}}=\Delta ^{{{\mathcal {I}}}}
  • ⊥ I = ∅ {\ displaystyle \ bot ^ {\ mathcal {I}} = \ emptyset}\ bot ^ {{{\ mathcal {I}}}} = \ emptyset
  • (C ⊔ D) I = CI ∪ DI {\ displaystyle (C \ sqcup D) ^ { \ mathcal {I}} = C ^ {\ mathcal {I}} \ cup D ^ {\ mathcal {I}}}(C \ sqcup D) ^ {{{\ mathcal {I}}}} = C ^ {{{ \ mathcal {I}}}} \ чашка D ^ {{{\ mathcal {I}}}} (объединение означает дизъюнкция )
  • (C ⊓ D) I = CI ∩ DI {\ displaystyle (C \ sqcap D) ^ {\ mathcal {I}} = C ^ {\ mathcal {I}} \ cap D ^ {\ mathcal {I}}}(C \ sqcap D) ^ {{{\ mathcal {I}}}} = C ^ {{{\ mathcal {I}}}} \ cap D ^ {{{\ mathcal {I}}}} (пересечение означает соединение )
  • (¬ C) I = Δ I ∖ CI {\ displaystyle (\ neg C) ^ {\ mathcal {I}} = \ Delta ^ {\ mathcal {I}} \ setminus C ^ {\ mathcal {I}}}(\ neg C) ^ {{{\ mathcal {I}}}} = \ Delta ^ {{{\ mathcal {I }}}} \ setminus C ^ {{{\ mathcal {I}}}} (дополнение означает отрицание )
  • (∀ R. В) I = {x ∈ Δ I | для каждого y (x, y) ∈ RI следует y ∈ CI} {\ displaystyle (\ forall RC) ^ {\ mathcal {I}} = \ {x \ in \ Delta ^ {\ mathcal {I}} | { \ text {for}} \; {\ text {every}} \; y, (x, y) \ in R ^ {\ mathcal {I}} \; {\ text {implies}} \; y \ in C ^ {\ mathcal {I}} \}}{\ displaystyle (\ forall RC) ^ {\ mathcal {I}} = \ {x \ in \ Delta ^ {\ mathcal {I}} | {\ text {for}} \; {\ text {every}} \; y, (x, y) \ in R ^ {\ mathcal {I}} \; {\ text {подразумевает}} \; y \ in C ^ {\ mathcal {I}} \}}
  • (∃ R. C) I = {x ∈ Δ I | существует y, (x, y) ∈ RI и y ∈ CI} {\ displaystyle (\ exists RC) ^ {\ mathcal {I}} = \ {x \ in \ Delta ^ {\ mathcal {I}} | { \ text {there}} \; {\ text {exists}} \; y, (x, y) \ in R ^ {\ mathcal {I}} \; {\ text {and}} \; y \ in C ^ {\ mathcal {I}} \}}{\displaystyle (\exists R.C)^{\mathcal {I}}=\{x\in \Delta ^{\mathcal {I}}|{\text{there}}\;{\text{exists}}\;y,(x,y)\in R^{\mathcal {I}}\;{\text{and}}\;y\in C^{\mathcal {I}}\}}

Определите I ⊨ {\ displaystyle {\ mathcal {I}} \ models}{\ mathcal {I}} \ models (читается в I) следующим образом

TBox
  • I ⊨ C ⊑ D {\ displaystyle {\ mathcal {I}} \ models C \ sqsubseteq D}{\ mathcal {I}} \ models C \ sqsubseteq D тогда и только тогда, когда CI ⊆ DI {\ displaystyle C ^ {\ mathcal {I}} \ substeq D ^ {\ mathcal {I}}}C^{{{\mathcal {I}}}}\subseteq D^{{{\mathcal {I}}}}
  • I ⊨ T {\ displaystyle {\ mathcal {I}} \ models {\ mathcal {T}}}{\ mathcal {I}} \ models {\ mathcal {T}} тогда и только тогда, когда я ⊨ Φ {\ displaystyle {\ mathcal {I}} \ models \ Phi}{\mathcal {I}}\models \Phi для каждого Φ ∈ T {\ displaystyle \ Phi \ in {\ mathcal {T}}}\ Phi \ in {\ mathcal {T}}
ABox
  • I ⊨ a: C {\ displaystyle {\ mathcal {I}} \ models a: C}{\ mathcal {I}} \ models a: C тогда и только тогда, когда a I ∈ CI {\ displaystyle a ^ {\ mathcal {I}} \ in C ^ {\ mathcal {I}}}a ^ {{{\ mathcal {I}}}} \ in C ^ {{ {\ mathcal {I}}}}
  • I ⊨ (a, b): R {\ displaystyle {\ mathcal {I}} \ models (a, b): R}{\ mathcal { I}} \ models (a, b): R тогда и только тогда, когда (a I, b I) ∈ RI {\ d isplaystyle (a ^ {\ mathcal {I}}, b ^ {\ mathcal {I}}) \ in R ^ {\ mathcal {I}}}(a^{{{\mathcal {I}}}},b^{{{\mathcal {I}}}})\in R^{{{\mathcal {I}}}}
  • I ⊨ A {\ displaystyle {\ mathcal {I}} \ models {\ mathcal {A}}}{\ mathcal {I}} \ models {\ mathcal {A}} тогда и только тогда, когда I ⊨ ϕ {\ displaystyle {\ mathcal {I}} \ models \ phi}{\ mathcal {I}} \ models \ phi для каждого ϕ ∈ A {\ displaystyle \ phi \ in {\ mathcal {A}}}\ phi \ in {\ mathcal {A}}
База знаний

Пусть K = (T, A) {\ displaystyle {\ mathcal {K }} = ({\ mathcal {T}}, {\ mathcal {A}})}{\ mathcal {K}} = ({\ mathcal {T}}, {\ mathcal {A}}) быть базой знаний.

  • I ⊨ K {\ displaystyle {\ mathcal {I}} \ models {\ mathcal {K}}}{\ mathcal {I}} \ models {\ mathcal {K}} тогда и только тогда, когда I ⊨ T {\ displaystyle {\ mathcal {I }} \ models {\ mathcal {T}}}{\ mathcal {I}} \ models {\ mathcal {T}} и I ⊨ A {\ displaystyle {\ mathcal {I}} \ models {\ mathcal {A}}}{\ mathcal {I}} \ models {\ mathcal {A}}

Вывод

Проблемы принятия решений

В дополнение к способности описывать концепции формально, можно также использовать описание набора концепций, чтобы задать вопросы об описанных концепциях и примерах. Наиболее частыми проблемами принятия решений являются базовые вопросы, похожие на запросы к базе данных, такие как проверка экземпляра (является ли конкретный экземпляр (член ABox) членом данной концепции) и проверка отношения (выполняется ли отношение / роль между двумя экземплярами, в других слова действительно a имеют свойство b ), и более глобальные вопросы базы данных, такие как подчинение (это понятие является подмножеством другого понятия) и согласованность концепций (нет ли противоречия между определения или цепочка определений). Чем больше операторов включается в логику и чем сложнее TBox (имеющий циклы, позволяющий неатомарным концепциям включать друг друга), обычно тем выше вычислительная сложность для каждой из этих задач (см. Описание логической сложности Navigator для примеров).

Отношения с другими логиками

Логика первого порядка

Многие DL являются разрешимыми фрагментами первого порядка логика (FOL) и обычно являются фрагментами логики с двумя переменными или защищенной логики. Кроме того, некоторые DL имеют функции, не охваченные FOL; сюда входят конкретные домены (такие как целые числа или строки, которые могут использоваться в качестве диапазонов для ролей, таких как hasAge или hasName) или оператор для ролей для транзитивного закрытия этой роли.

Логика нечеткого описания

Логика нечеткого описания объединяет нечеткую логику с DL. Поскольку многие концепции, которые необходимы для интеллектуальных систем, не имеют четко определенных границ или точно определенных критериев принадлежности, нечеткая логика необходима для работы с понятиями нечеткости и неточности. Это предлагает мотивацию для обобщения логики описания для работы с неточными и расплывчатыми понятиями.

Модальная логика

Логика описания связана с модальной логикой (ML), но разработана независимо от нее. Многие, но не все, DL являются синтаксическими вариантами ML.

В общем, объект соответствует возможному миру, концепция соответствует модальному предложению, а квантор с ограничениями по ролям модальному оператору с этой ролью в качестве отношения доступности.

Операции над ролями (например, композиция, инверсия и т. Д.) Соответствуют модальным операциям, используемым в динамической логике.

Примеры

Синтаксические варианты
DLML
ALC {\ displaystyle {\ mathcal {ALC}}}{\ mathcal {ALC}} K
SR {\ displaystyle {\ mathcal {SR}}}{\ mathcal {SR}} PDL
FSR {\ displaystyle {\ mathcal {FSR}}}{\mathcal {FSR}}DPDL (детерминированный PDL)
TSL или SRI {\ displaystyle {\ mathcal {TSL}} {\ text {, или}} {\ mathcal {SRI}}}{\ displaystyle {\ mathcal {TSL}} {\ text {или}} {\ mathcal {SRI}}} Converse- PDL
FSL или FSRI {\ displaystyle {\ mathcal {FSL}} {\ text {, или}} {\ mathcal {FSRI}}}{\ displaystyle {\ mathcal {FSL}} {\ text {или}} {\ mathcal {FSRI}}} Converse- DPDL (детерминированный PDL)

Логика временного описания

Логика временного описания представляет - и позволяет рассуждать - концепции, зависящие от времени, и существует множество различных подходов к этой проблеме. Например, логика описания может быть объединена с модальной временной логикой, например, линейной временной логикой.

См. Также

  • Философский портал

Ссылки

Дополнительная литература

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

Разумники

Есть некоторые семантические рассуждающие, которые имеют дело с OWL и DL. Вот некоторые из самых популярных:

  • CEL - это средство рассуждений на основе LISP с открытым исходным кодом (лицензия Apache 2.0).
  • Cerebra Engine - коммерческое средство рассуждений на основе C ++, приобретенное в 2006 году компанией webMethods..
  • FaCT ++ - это бесплатный модуль рассуждений на основе C ++ с открытым исходным кодом.
  • KAON2 - бесплатный (для некоммерческого использования) модуль рассуждений на основе Java, предлагающий быструю поддержку рассуждений для онтологий OWL. 683>MSPASS - это бесплатный модуль рассуждений на языке C с открытым исходным кодом для множества моделей DL.
  • Pellet - коммерческий модуль рассуждений на основе Java с двойной лицензией (AGPL и проприетарный).
  • RacerPro of Racer Systems был коммерческим (доступны бесплатные пробные версии и исследовательские лицензии) рассуждением на основе Lisp, сегодня существует как версия RACER с открытым исходным кодом от исходных разработчиков из Любекского университета, использующая лицензию BSD 3, так и коммерческая версия, все еще называемая RacerPro от Franz Inc.
  • Sim-DL - это бесплатная программа на основе Java с открытым исходным кодом для языка ALCHQ. Он также обеспечивает функцию измерения сходства между концепциями. Для доступа к этой функциональности можно использовать плагин Protégé.
  • HermiT - это модуль рассуждений с открытым исходным кодом, основанный на исчислении «гипертаблицы». Он разработан Оксфордским университетом..
  • Owlready2 - это пакет для онтологически ориентированного программирования на Python. Он может загружать онтологии OWL 2.0 как объекты Python, изменять их, сохранять и выполнять рассуждения через HermiT (в комплекте). Owlready2 обеспечивает прозрачный доступ к онтологиям OWL (в отличие от обычного API на основе Java).

Editors

  • Protégé - это бесплатный редактор онтологий с открытым исходным кодом и структура базы знаний, который может использовать рассуждения DL, предлагающие интерфейс DIG в качестве серверной части для проверки согласованности.
  • SWOOP на GitHub, браузер / редактор OWL, который использует стандартный веб-браузер в качестве базовой парадигмы UI .

Интерфейсы

Последняя правка сделана 2021-05-17 14:42:21
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте