ВУЗ:
Составители:
290
множество отношений порядка
≤
≤
≤
cba
,, на X.
МНОЖЕСТВО РЕШЕНИИ:
)},yxxy)(Xy(|Xx{X
**
s
≤
≤
⇒∈∀∈=
где
≤
*
- объединенный порядок предпочтения на X, определенный для
всех х, у∈Х следующим образом:
yx
*
≤
тогда и только тогда, когда yx
a
≤
,
и yx
a
≤
, и yx
c
≤
, и ...
В процессе решения задачи реконструкции необходимы три
набора процедур:
1) процедуры порождения всех нужных реконструктивных гипотез;
2) процедуры оценки и сравнения порожденных реконструктивных ги-
потез с точки зрения целей задачи реконструкции;
3) процедуры, которые на соответствующих этапах процесса решения
задачи принимают решение о том, какие из порожденных реконструктив-
ных гипотез должны быть включены в множество решений, какие исполь-
зованы для дальнейшего порождения реконструктивных гипотез и должен
ли процесс решения продолжаться или закончиться.
На рисунке Г.25 показано, каким образом эти три набора процедур
объединяются в единый процесс решения. Ядром процесса является порож-
дение всех подходящих реконструктивных гипотез. Удобно это делать,
порождая соответствующие структуры, которые затем интерпретируются
как реконструктивные гипотезы для заданной обобщенной системы. Ин-
терпретация эта сводится к установлению соответствия между перемен-
ными обобщенной системы и целыми числами, которыми идентифицированы
узлы структур, а также к вычислению, если нужно, проекций обобщенной
функции поведения. Порожденные структуры можно разными способами
сократить, что уменьшает время вычислений и их цену, а также, возможно,
и по другим соображениям. Например, можно выбрать подмножество со-
ответствующих G-, С- или L-структур или ограничиться рассмотрением
только тех уровней уточнения (классов l-эквивалентности), для которых
потеря информации не превышает некоторого заданного пользователем зна-
чения. Таким образом, процесс порождения реконструктивных гипотез мо-
жет быть ограничен либо набором рассматриваемых структур, либо огра-
ничениями на способ порождения.
Для достижения гибкости в решении задачи реконструкции УРСЗ
должен располагать разнообразным набором способов порождения, но
этот вопрос находится за пределами проблем, связанных с архитектурой
УРСЗ. Это способы порождения соответствующих уточнений (или укрупне-
ний) имеющихся реконструктивных гипотез, примерами чему служат RG-
процедура и RС-процедура (и их укрупняющие аналоги).
Как уже говорилось выше, порождение структур также может быть
организовано на нескольких уровнях вычислений. Так, например, RС-
a b c множество отношений порядка ≤ ,≤ ,≤ на X. МНОЖЕСТВО РЕШЕНИИ: * * X s = { x ∈ X | ( ∀y ∈ X )( y ≤ x ⇒ x ≤ y )}, * где ≤ - объединенный порядок предпочтения на X, определенный для всех х, у ∈ Х следующим образом: * a x ≤ y тогда и только тогда, когда x ≤ y , a c и x ≤ y , и x ≤ y , и ... В процессе решения задачи реконструкции необходимы три набора процедур: 1) процедуры порождения всех нужных реконструктивных гипотез; 2) процедуры оценки и сравнения порожденных реконструктивных ги- потез с точки зрения целей задачи реконструкции; 3) процедуры, которые на соответствующих этапах процесса решения задачи принимают решение о том, какие из порожденных реконструктив- ных гипотез должны быть включены в множество решений, какие исполь- зованы для дальнейшего порождения реконструктивных гипотез и должен ли процесс решения продолжаться или закончиться. На рисунке Г.25 показано, каким образом эти три набора процедур объединяются в единый процесс решения. Ядром процесса является порож- дение всех подходящих реконструктивных гипотез. Удобно это делать, порождая соответствующие структуры, которые затем интерпретируются как реконструктивные гипотезы для заданной обобщенной системы. Ин- терпретация эта сводится к установлению соответствия между перемен- ными обобщенной системы и целыми числами, которыми идентифицированы узлы структур, а также к вычислению, если нужно, проекций обобщенной функции поведения. Порожденные структуры можно разными способами сократить, что уменьшает время вычислений и их цену, а также, возможно, и по другим соображениям. Например, можно выбрать подмножество со- ответствующих G-, С- или L-структур или ограничиться рассмотрением только тех уровней уточнения (классов l-эквивалентности), для которых потеря информации не превышает некоторого заданного пользователем зна- чения. Таким образом, процесс порождения реконструктивных гипотез мо- жет быть ограничен либо набором рассматриваемых структур, либо огра- ничениями на способ порождения. Для достижения гибкости в решении задачи реконструкции УРСЗ должен располагать разнообразным набором способов порождения, но этот вопрос находится за пределами проблем, связанных с архитектурой УРСЗ. Это способы порождения соответствующих уточнений (или укрупне- ний) имеющихся реконструктивных гипотез, примерами чему служат RG- процедура и RС-процедура (и их укрупняющие аналоги). Как уже говорилось выше, порождение структур также может быть организовано на нескольких уровнях вычислений. Так, например, RС- 290
Страницы
- « первая
- ‹ предыдущая
- …
- 288
- 289
- 290
- 291
- 292
- …
- следующая ›
- последняя »