9. Отношения. Определение, характеристики.

Под n-местным отношением (отношением с n аргументами) на множестве X понимается всякое подмножество множества Xⁿ т.е. всякое множество упорядоченных n-ок элементов X, где Xⁿ – n кратное декартовое произведение X на себя. Отношения, по-сути это связь объектов, то есть как выражается один объект через другой, как они друг к другу относятся. В общем случае различают следующие типы отношений:

- теоретико-множественные (определяющие принадлежность к одному множеству, включение одного множества в другое, не пересечение и др.);

- арифметические (определяющие результаты сравнения чисел, их упорядоченность и др.);

- логические (предикатные, отношения операндов логического выражения или аргументов логической функции, отношения переопределения);

- причинно-следственные отношения и др.

Для установления связей между группами объектов используют групповые отношения.

10. Правила. Определение, характеристики.

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

1) Последовательности целенаправленных действий;

2) Наступающих следствиях;

3) Принимаемых решениях.

Правила представляются чаще всего в виде продукций - предложений типа:«Если Х, то У»

Рассмотрим более подробно каждый из трех указанных типов правил:

1) Х = условие, а У = действие. Это правило в условной части содержит перечень фактов, связанных между собой чаще всего конъюнктивно. Выполнение всех составляющих условной части приводит к выполнению целенаправленного действия (или действий). Перечень фактов условной части представляет собой декларативную составляющую знаний о предметной области, а действия – процедурную.

2) Х = причина, а У = следствие. Правила этого типа реализуют связь между причиной и порождаемым ею следствием. Причина может исчезнуть после произведенного ею действия, но может также полностью или частично существовать в составе самого следствия (имманентная причинность) или же вне его (трансцендентная причинность).

Следствие, произведенное некоторой причиной, само становится причиной другого явления, которое в свою очередь становится причиной третьего явления и т.д. Эта последовательность называется причинно-следственной связью.

В условной части правила, так же как и в предыдущем, указаны факты, связанные конъюнктивно. Их совместное подтверждение должно характеризовать причину, приводящую к соответствующему следствию.

3) Х = ситуация, а У = решение. В семантике естественных языков термин «ситуация» употребляется почти как синоним термина «взаимосвязь». Это позволяет, рассматривать оба термина как «референты языкового выражения с пропозициональным значением». Таким образом, с лингвистической точки зрения объекты – это референты (денотаты) имен, а ситуации – референты суждений, пропозиций, которым принято приписывать некую оценку истинности. Ситуации делятся на Статические (Состояния (устойчивые и временные) и Постоянные свойства и отношения) и Динамические (Процессы и События (результаты и происшествия)).