Системы управления знаниями стр.48

п/п

Название

Синтаксис

Семантика

Универсальная роль (Universal role)

U

A'xA1

Пересечение (Intersection)

R П S

r' П S'

Объединение (Union)

R U S

R' U S'

Дополнение (Complement)

-R

A'xA' \R

Инверсия (Inverse)

R-

{(b,a) G A'xA1 | (a, b) G R1}

Транзитивное замыкание

R+

U B>1(R’)B

Различные дескриптивные языки различаются используемыми наборами конструкторов для понятий и ролей, а также ограничениями на интерпретацию ролей. Минимальным языком, имеющим практический интерес, является язык AL (атрибутивный язык, attributive language). Все другие языки семейства ДЛик являются расширениями языка AL.

4.7.5. Обозначение дескриптивных логик

Имеется несколько возможностей по расширению языка AL для того, чтобы получить более выразительные (экспрессивные) ДЛ. Наиболее известными методами являются три:

1.    Добавление дополнительных конструкторов для понятий.

2.    Добавление конструкторов для ролей.

3.    Формулирование ограничений на интерпретацию ролей.

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

•    для понятийных конструкторов буквы/символы записываются после начальных символов AL;

•    для ролевых конструкторов пишутся буквы/символы в качестве верхних индексов;

•    для ограничений на интерпретацию ролей пишутся буквы/символы в виде нижних индексов.

Например, ДЛ ALCQ-1R+ расширяет язык AL

•    понятийным конструктором отрицания (C) и уточненными число -выми ограничениями (Q),

•    ролевым конструктором инверсии (-1) и

•    ограничением, что некоторые роли являются транзитивными (R+).

Для того, чтобы избежать очень длинных имен выразительных языков ДЛ, была введена аббревиатура S вместо записи наименования языка ALCr+. Т.е. S - это базовый язык (AL), в который добавлено отрицание для сложных понятий (С) и транзитивные роли (R+).

Известными представителями семейства языков S являются:

•    SIN - расширение ALCR+ числовыми ограничениями и инверсными ролями;

•    SHIF- расширение ALCR+ иерархией ролей, инверсными ролями и числовыми ограничениями в форме <1 R;

•    SHIQ - расширение иерархией ролей, инверсными ролями и уточненными числовыми ограничениями в форме <1 R.

Кроме этого, к обозначениям используется дополнение (D), для того, чтобы показать, что в данной ДЛ используются некоторые стандартные типы данных.

4.7.6. Логический вывод

ДЛ предоставляют не только средства для описания терминов и экземпляров (онтологий и метаданных), но также и возможность выполнять рассуждения различного вида. БЗ, включающие компоненты TBox и ABox, имеют семантику, которая делает ее эквивалентной набору аксиом в логике предикатов первого порядка. Поэтому, подобно любому другому набору аксиом, она содержит неявные (implicit) знания, которые могут быть сделаны явными с помощью логического вывода. Например, из TBox на рис. 4.9 и ABox на рис. 4.10 можно сделать заключение, что Мария является Бабушкой, хотя это знание не записано явно, в виде утверждения.

Различные виды рассуждений, выполняемые в ДЛ, определяются как логический вывод. Оказывается, что разные задачи логического вывода сводимы друг к другу и решение одной задачи позволяет решить другую. Рассуждения могут выполняться с TBox и ABox. Далее будет рассматриваться только логический вывод над понятиями.

4.7.7. Задачи логического вывода

При моделировании предметной области создается терминология T, определяющая новые понятия, в терминах других понятий, которые были определены ранее. В ходе этого процесса важно выяснить, имеет ли смысл вновь определенное понятие или оно противоречит тому, что уже было сказано. С логической точки зрения, понятие имеет смысл, если в некоторой существующей интерпретации, которая удовлетворяет аксиомам T (модели Т), оно обозначает не пустой набор. Говорят, что понятие с таким свойством выполнимо (satisfiable) по отношению к Т и невыполнимо (unsatisfiable) иначе.


⇐ назад к прежней странице | | перейти на следующую страницу ⇒

Читайте также:

AlgoMusic M51 Galaxy - виртуальный инструмент на основе PD-синтеза

Виртуальный инструмент M51 Galaxy позволяет синтезировать "космические" звуки, обладает завораживающим звучанием. Обычно музыканты не очень жалуют инструменты, созданные с помощью SynthEdit. Однако M51, хоть и относится к их числу, действительно очень хорош. Секрет его звучания кроется в оригинальной архитектуре синтеза. На M51 Galaxy распространяется поговорка, что "все новое - это хорошо забытое старое". Идеи, заложенные в M51, уже были успешно реализованы в 80-х годах XX века.

Яркая жизнь с компьютерными программами

На каждом шагу сегодня мы слышим нарекания на современную молодёжь и её бездеятельность. А ведь и правда – ребят кроме компьютера и досконального его знания мало что интересует и беспокоит, даже будучи на шашлыках, они тянут с собой компьютер и включают музыку либо фильмы. Такая зависимость является страшной для развития человечества в целом хотя б потому что все вокруг становятся замкнутыми и променивают реальный мир на виртуальное общение. Раньше, вспоминают люди постарше, у костра играли на гитаре вживую, ездили в горы с палатками, игрались миниатюрными поездами теперь заменённое компьютерными играми и различными программами симуляторами. Возникает закономерный вопрос – так ли вредны эти самые компьютерные программы и для чего они были созданы.

Помоги себе сам

Что может быть обыденней интернета в наши дни? Он стал незаменимой частью жизни всех нас. И это можно понять, ведь с его помощью люди работаю во всевозможных сферах деятельности, является очень эффективным. Но очень часто стоит вопрос о том, с помощью чего лучше всего добиваться лучших результатов и делать это более оперативно и с комфортом.