2. Свойства и отношения. Классификация отношений.

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

Теоретико-множественные отношения позволяют сформировать классы понятий, а также упорядочить понятия в рамках этих классов. Этот вид взаимосвязей представляется отношениями «род-вид» и «часть-целое», которые используются для построения рабочей модели организации знаний, выражая свойство вложенности (наследственности) понятий.

Характеристические отношения «иметь свойство» и «иметь состоя­ние» дают возможность описать объекты предметной области и процессы пу­тем выделения наиболее существенных их характеристик и установить таким образом зависимости между объектами и свойствами, процессами и состоя­ниями.

Каузальные отношения лежат в основе построения формальных логи­ческих рассуждений, которые могут использоваться для формирования мар­шрута проектирования, прогнозирования, анализа проектных ситуаций и т. д. Отношения «причина-следствие» связывают факты, между которыми суще­ствует причинно-следственная зависимость, например результат оценки свойства и последующий процесс. Отношения «влиять на» не отражают су­ществование причинно-следственных зависимостей и определяют вероят­ность следствия при наличии причины. Этот вид каузальных отношений но­сит нечеткий характер и отражает неполноту знаний проектировщика.

Инструментальные отношения «выполняться посредством» связыва­ют процессы и реализующие их процедуры. Необходимость разграничения понятий «процесс» и «процедура» обусловлена тем, что процесс может быть реализован посредством набора альтернативных процедур, различающихся временем выполнения, качеством получаемых результатов и т. д.

Квантифицирующие отношения позволяют установить соответствие между свойствами и их значениями. Поскольку значения могут быть как чи еловыми, так и лингвистическими, отношения этого вида представляются как «иметь числовое значение» и «иметь лингвистическое значение».

Временные отношения отражают относительное протекание процессов во времени. Они имеют вид «быть раньше», «быть позже», «быть одновре­менно» и дают возможность построения рабочих моделей, определяющих последовательности процессов в ходе проектирования.

Пространственные отношения характеризуют пространственное рас­положение объектов и определяют абсолютное расстояние между ними (от­ношение «расстояние между») или их взаиморасположение (отношение «быть расположенным»).

Арифметические отношения используются для построения вычисли­тельных моделей для определения значений свойств и характеристик объек­тов и процессов.

Логические отношения служат связками при описании всех указанных функций и в этом смысле являются универсальными.