Вспомогательные

В семантических сетях часто используются также следующие отношения [Гаврилова]:

• функциональные связи (определяемые обычно глаголами «производит», «влияет»…);

• количественные (больше меньше, равно…);

• пространственные (далеко от, близко от, за, под, над…);

• временные (раньше, позже, в течение…);

• атрибутивные (иметь свойство, иметь значение);

• логические (И, ИЛИ, НЕ);

• лингвистические.

Этот список может сколь угодно продолжаться: в реальном мире количество отношений огромно.

Язык SC (Semantic Code) хорошо приспособлен к описанию сложно структурированных данных предметных областей, а также к описанию синтаксиса и семантикисобственных языков. Представление информации на языке SC осуществляется при помощи ключевых узлов и дуг между ними. Язык содержит в своем составе множество подъязыков, направленных на решения определенных классов задач. Для представления знаний о предметной области, то есть логических соотношениях между понятиями предметной области используется язык SCL (Semantic Code Logic). В качестве подъязыка обработки SC-конструкций выступает SCP (Semantic Code Programming). Как и все языки семейства SC язык SCP относиться к разряду графовых языков. Средства языка SCQ (Semantic Code Questions) позволяют обрабатывать вопросы, задаваемые пользователем, при помощи однородных семантических сетей. SCT (Semantic Code Tutoring) подъязык языка SC, позволяющий представлять знания об обучаемом в обучающих системах.

43. Язык sc. Понятие семантически нормализованного множества.

Множество, каждый элемент которого является знаком множества, будем называть нормализованным множеством. Понятие нормализованного множества имеет для нас важное значение, т. к. нормализованное множество достаточно хорошо "подготовлено" к его изображению или описанию в виде текста того или иного языка. Такая "подготовленность" обусловлена тем, что в нормализованном множестве все его элементы являются знаками, которые вместе со знаком самого этого множества могут быть изображены произвольным образом в соответствии с требованиями любого языка.

Множество является семантически нормализованным множеством тогда и только тогда, когда все его элементы являются обозначениями семантически нормализованных множеств, либо обозначениями семантически ненормализованного синглетона.

44. Язык sc. Семантика позитивной дуги.

Каждая позитивная sc-дуга обозначает пару, первый элемент которой обозначает некоторое множество а второй – является его элементом

45. Язык sc. Семантика негативной дуги.

Каждая негативная sc‐дуга обозначает пару, первый элемент которой обозначает некоторое множество, а второй является элементом, который не принадлежит* этому множеству.

46. Язык sc. Кортеж.

Кортеж – это множество, у которого каждому вхождению каждого его элемента явно или неявно (по умолчанию) ставится в соответствие некоторый атрибут, указывающий роль этого вхождения элемента в рамках рассматриваемого кортежа. Формально атрибут вхождений элементов в кортежи – это множество знаков пар принадлежности, связывающих знаки кортежей с такими вхождениями их элементов, которые в рамках указанных кортежей выполняют некоторую одинаковую роль. Кортеж – это множество, для которого существенным является не только набор вхождений элементов в это множество, но и дополнительное явное указание роли (атрибута) в рамках этого множества хотя бы одного вхождения какого-либо его элемента. Кортежи также называют ролевыми структурами, упорядоченными наборами, упорядоченными множествами, ориентированными множествами, векторами, n - ками. В частном случае атрибуты могут быть числовыми. В кортеже с числовыми атрибутами все вхождения его элементов нумеруются от 1 до некоторого n.

Числовой атрибут – это условный порядковый номер вхождения элемента в кортеж. Количество всех вхождений в состав кортежа всех его элементов, т. е. мощность кортежа будем также называть арностью кортежа. Элемент кортежа, имеющий в рамках этого кортежа атрибут ai, будем называть ai -элементом ( ai –компонентом ) этого кортежа.

Можно выделить:

1) по признаку кратности элементов:

• кортежи без кратных элементов,

• кортежи с кратными элементами (т.е. кортежи, каждого из которых имеется, по крайней

мере, один элемент, который входит в состав кортежа более, чем однократно)

2) по признаку рефлексивности:

• нерефлексивные кортежи,

• рефлексивные кортежи (т.е. кортежи, каждый из которых включает в число элементов знак самого себя). Очевидно, что рефлексивные кортежи являются достаточно редким видом кортежей;

3) по мощности:

• 2-мощные кортежи (пары),

• тернарные кортежи (тройки),

• 4-арные кортежи (четверки),

Вектор – это упорядоченный набор элементов (другой синоним – «кортеж»), также как и множество будем считать это понятие неопределяемым. Элементы, образующие вектор, называются координатами или компонентами вектора. Координаты нумеруются слева на право. Число координат называется длиной или размерностью вектора. В отличие от элементов множества координаты вектора могут совпадать. Векторы длины 2 часто называют упорядоченными парами (или просто парами), векторы длины 3 – тройками и т.д.