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

Пример терминологии TBox (описаний онтологии) семейных отношений показан на рис. 4.9, а описание конкретных экземпляров предметной области (ABox) показан на рис. 4.10:

Рис. 4.9. Терминология (TBox) понятий о семейных отношениях

Рис. 4.10. Описание мира (ABox)

Можно считать, что TBox соответствует онтологии предметной области, а ABox состоит из метаданных описываемых объектов системы.

Словарь (TBox, онтология) включает понятия (классы, concept), которые обозначают некоторые термины предметной области (классы элементов, понятия), и роли (отношения, свойства, role), которые обозначают бинарные отношения между различными элементами. В дополнение к атомарным понятиям и ролям (имена понятий и ролей) все ДЛ позволяют строить описания сложных понятий и ролей.

АBox (метаданные) может использоваться для назначения имен сложным описаниям (descriptions).

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

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

Основными задачами логического вывода о терминологии (TBox) является:

•    определение выполнимости (satisfiable) описания (т.е. не противоречивости);

•    определение того, что одно описание (description) является более общим, чем другое, т. е. что одно включает в виде категории другое (subsumes).

Важными задачами для ABox являются:

•    определение непротиворечивости (cons,stent) набора содержащихся утверждений, т. е. имеет ли она модель;

•    следует ли из утверждений, содержащихся в ABox, заключение о том, что конкретный представитель является экземпляром заданного описания понятия.

4.7.2. Дескриптивный язык

Элементарными описаниями ДЛ являются атомарные понятия и атомарные роли. На их основе с помощью понятийных (концептуальных) конструкторов (concept constructors) могут быть построены сложные описания. В абстрактном обозначении используют буквы A и B для атомарных понятий, букву R для атомарных ролей и буквы С и D для описания сложных понятий. Для обозначения всеобщего, универсального понятия, т. е. понятия, которое включает все другие понятия, используется знак т. Пустое понятие обозначается как _L (табл. 4.2).

Таблица 4.2

Обозначение

Описание

A, B

Aтомарные понятия, которые не определяются через другие понятия

С, D

Сложные понятия, которые могут быть определены через другие понятия

R, S

Роли, отношения между двумя элементами (понятиями, ролями, экземплярами)

т

Всеобщее, универсальное понятие, т.е. понятие, которое включает все другие понятия

±

Пустое понятие

В описаниях логик могут использовать следующие основные конструкторы для понятий и ролей (табл. 4.3 и 4.4).

Таблица 4.3

Некоторые понятийные конструкторы дескриптивной логики

п/п

Название

Синтак сис

Семантика

Сим вол

Вершина (Top)

т

A1

AL

Основание (Bottom)

±

AL

Пересечение

C П D

C1 П D1

AL

Объединение

C U D

C1 U D1

U

Отрицание

-C

A1 \ C1

С

Ограничение на значение

VR.C

{aGA1 | Vb. (a,b) G R1 ^b G C1 }

AL

Квантификатор существования

3R.C

{aG A1 | 3b. (a,b) GR1 л b G C1 }

£

Неуточненное (безусловное) числовое ограничение

>n R In R =n R

{aG A1 | |{bG A1 | (a,b) GRI}| > n} {aG A1 | |{bG A1 | (a,b) GRI}| < n} {aG A1 | |{bG A1 | (a,b) GRI}| = n}

N

Уточненное (условное) числовое ограничение

.C .C .C R R R

n n n

><=

{aGA1 | |{bGAI | (a,b) G R1 л b G C1 }| > n} {aGA1 | |{bGAI | (a,b) G R1 л b G C1 }| < n} {aGA1 | |{bGAI | (a,b) G R1 л b G C1 }| = n}

Q

Именной

I

I1 G A1 c | I1 | = 1

O

Таблица 4.4 Некоторые ролевые конструкторы дескриптивной логики


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

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

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

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

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

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

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

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