Содержание (FireFox,Safari)
|
18. Конструктивный взгляд на косвенные отношенияЗамечаниеГлавное в отношениях прообраза-проекции между группами состояний, ВС, систем ВС - то, что их можно рассматривать не только как отношения между рядоположенными сущностями, но и как отношения между разными степенями формального знания об одних и тех же состояниях, ВС, системах ВС соответственно. Здесь уместно объяснить подоплёку именно такого взгляда на проекцию дерева. Причина - в сделанном акценте на косвенных отношениях, здесь формализуемые в понятии порождённых, то есть в отношениях между состояниями разных ВС, сопряжённых с разными вершинами из дерева разбиения. При развитии системы "эта структура" должна оставаться неизменной, для неё далее будет доказываться сохранение порождённых отношений, её и требуется формализовать, что будет здесь сделано в понятиях "фрейма" и его "частей" - "ячеек". Но начало было положено ранее введённым определением ближайшей общей вершины, поскольку именно она "сопрягает" косвенным отношением каждую порцию рассматриваемых состояний в простейшей структуре - ячейке. Далее рассуждения следует двумя путями: во-первых, ячейки следует различать по типу "генерируемого" ими отношения - И, ЛИБО или И-ЛИБО, поскольку отношение ЛИБО может быть "сгенерировано" узлом как ЛИБО-, так и И-типа (сейчас этим и займёмся), а во-вторых, следует определить правила сопряжения этих ячеек в понятии суммы ячеек с образованием фрейма (уже сделано). Итогом этих рассуждений здесь станут И- и ЛИБО-фреймы, которые с одной стороны формируют в конечном итоге (косвенные, порождённые) отношение И и ЛИБО между рассматриваемыми состояниями, а с другой - являются инвариантом в процессе развитии системы.
Назад Вперёд |
ru/en |