ПРИНЦИП ПРЕДЕЛЬНЫХ ОБОБЩЕНИЙ: методология, задачи ...

118
Последние три строчки описывают, по сути, автоматизмы вычислительной
среды, которые функционируют постоянно в процессе решения любой
задачи анализа и синтеза.
Моделью естественной предметной области назовем четверку
А = , где O – онтология ПрО; k − модель знаний ПрО; Ω = {α} –
множество ситуаций (прецедентов) ПрО; π − принципы оптимальности и
смысловые регуляторы процессов ПрО, например, процессов принятия
решений и управления. Модель знаний k включает в себя, в частности,
автоматизмы и локальные модели знаний {k α }, где α ∈ Ω, а также
метазнания (глава 7). Рефлексия над системой знаний {k α } приводит к
выходу за ее пределы и порождению нового знания.
Модель ситуации (3.22) в сочетании с моделью ПрО отражает
понимание эволюции ситуации α некоторым познающим субъектом Agent
(индекс − Ag), если она содержит в себе ответы на потенциальные вопросытесты
{q/Q} Ag . Модель ситуации α является полной для агента Ag тогда и
только тогда, когда ∃ (g/µ) Ag : α → {q/Q} Ag , где (g/µ) Ag − инструменты
добычи информации, а {q/Q} Ag – ответы на вопросы агента Ag. Поскольку у
каждого агента своя модель предметной области A Ag , то и полнота модели
ситуации может быть разной.
3.6 Информационные множества. Множества обобщения
Под информационным множеством I γ (α,{τ/T}) для ситуации α и
аспекта {τ/T} будем понимать совокупность всех реальных или
гипотетических ситуаций действительности, удовлетворяющих заданным
критериям истинности γ и совместимых с ситуацией α на уровне общности
{τ/T}. Можно записать:
I γ (α,{τ/T}) = {β | {τ/T} β = {τ/T} α & γ(β) = true}, (3.24)
где γ( ) – оператор оценки истинности информации. Разные ситуации
β ∈ I γ (α) могут формироваться разными агентами. В самом общем случае
ситуации β из информационного множества охватывают прошлое,
настоящее и будущее развитие ситуации α.
В ряде приложений оператор γ может осуществлять проверку
принадлежности ситуаций β к множеству прецедентов Ω. В таком случае
будем использовать следующую нотацию:
I Ω (α,{τ/T}) = {β | {τ/T} β = {τ/T} α & β ∈ Ω}.
Обратим внимание на то, что в силу универсальности понятия теста
определение информационного множества включает также конструкцию