Замечание 18.1
Содержание (FireFox,Safari)

18. Конструктивный взгляд на косвенные отношения

Замечание

Главное в отношениях прообраза-проекции между группами состояний, ВС, систем ВС - то, что их можно рассматривать не только как отношения между рядоположенными сущностями, но и как отношения между разными степенями формального знания об одних и тех же состояниях, ВС, системах ВС соответственно.

Здесь уместно объяснить подоплёку именно такого взгляда на проекцию дерева. Причина - в сделанном акценте на косвенных отношениях, здесь формализуемые в понятии порождённых, то есть в отношениях между состояниями разных ВС, сопряжённых с разными вершинами из дерева разбиения. При развитии системы "эта структура" должна оставаться неизменной, для неё далее будет доказываться сохранение порождённых отношений, её и требуется формализовать, что будет здесь сделано в понятиях "фрейма" и его "частей" - "ячеек".

Но начало было положено ранее введённым определением ближайшей общей вершины, поскольку именно она "сопрягает" косвенным отношением каждую порцию рассматриваемых состояний в простейшей структуре - ячейке.

Далее рассуждения следует двумя путями: во-первых, ячейки следует различать по типу "генерируемого" ими отношения - И, ЛИБО или И-ЛИБО, поскольку отношение ЛИБО может быть "сгенерировано" узлом как ЛИБО-, так и И-типа (сейчас этим и займёмся), а во-вторых, следует определить правила сопряжения этих ячеек в понятии суммы ячеек с образованием фрейма (уже сделано).

Итогом этих рассуждений здесь станут И- и ЛИБО-фреймы, которые с одной стороны формируют в конечном итоге (косвенные, порождённые) отношение И и ЛИБО между рассматриваемыми состояниями, а с другой - являются инвариантом в процессе развитии системы.

Назад Вперёд
ru/en