ВУЗ:
Составители:
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
- …
- следующая ›
- последняя »
