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

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

cdn.scipeople.com
from cdn.scipeople.com More from this publisher
31.01.2015 Views

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} α & β ∈ Ω}. Обратим внимание на то, что в силу универсальности понятия теста определение информационного множества включает также конструкцию

119 события. Действительно событие можно представить как результат теста: «Значение τ/T в момент t/Λ =τ». Если такое представление, по каким-либо причинам неудобно, то можно использовать развернутое определение информационного множества, а именно: I γ (α,{}) = {β | {} β = {} α & γ(β) = true}. (3.25) В определение информационного множества при необходимости можно включить модели развития ситуаций, а именно: I γ (α,{τ/T}, k) = {β | {τ/T} β = {τ/T} α , k α ⊆ k β , γ(β) = true}. (3.26) Информационным множеством будет являться восстановление любого N-мерного образа объекта по M-мерной проекции, где M < N. Информационное множество может быть получено путем замены в ситуации α точечных событий на совместимые с ними протяженные события, а именно: α = α({}) → I (α) = {β = β ({})}. Относительно простой способ построения информационного множества состоит в автоматической генерации скоростей изменений тестов (для выявления качественной прерывности): α = α({}) → I (α) = α ∪ {}. Более сложная задача состоит в генерации заданных классов событий и гипотез (закономерностей) на основе имеющихся событий. Приведем пример. Пусть ситуация α описывается множеством событий {c(t)} ≡ {}, где c(t) – значение временного ряда в момент времени t. Разный масштаб времени зададим с помощью функций Hour(t) – текущий час и DayOfWeek(t) – текущий день недели (1- понедельник, 2- вторник и т.д.). Пусть значения временного ряда с(t) обобщаются с помощью орграфа доменов G(c), а значения времени t обобщаются с помощью орграфа G(t). Структура орграфа G(t) приведена в разделе 3.1. Для построения информационного множества ситуации α определим новый класс событий следующим образом: ≡ ; ≡ ; ≡ ; ≡ < c(t-i)/C *q/Q, t/Λ3 k >,

119<br />

события. Действительно событие можно представить как<br />

результат теста: «Значение τ/T в момент t/Λ =τ». Если такое представление,<br />

по каким-либо причинам неудобно, то можно использовать развернутое<br />

определение информационного множества, а именно:<br />

I γ (α,{}) = {β | {} β = {} α & γ(β) = true}. (3.25)<br />

В определение информационного множества при необходимости можно<br />

включить модели развития ситуаций, а именно:<br />

I γ (α,{τ/T}, k) = {β | {τ/T} β = {τ/T} α , k α ⊆ k β , γ(β) = true}. (3.26)<br />

Информационным множеством будет являться восстановление любого<br />

N-мерного образа объекта по M-мерной проекции, где M < N.<br />

Информационное множество может быть получено путем замены в<br />

ситуации α точечных событий на совместимые с ними протяженные<br />

события, а именно:<br />

α = α({}) → I (α) = {β = β ({})}.<br />

Относительно простой способ построения информационного множества<br />

состоит в автоматической генерации скоростей изменений тестов (для<br />

выявления качественной прерывности):<br />

α = α({}) → I (α) = α ∪ {}.<br />

Более сложная задача состоит в генерации заданных классов событий и<br />

гипотез (закономерностей) на основе имеющихся событий. Приведем<br />

пример.<br />

Пусть ситуация α описывается множеством событий {c(t)} ≡ {},<br />

где c(t) – значение временного ряда в момент времени t. Разный масштаб<br />

времени зададим с помощью функций Hour(t) – текущий час и<br />

DayOfWeek(t) – текущий день недели (1- понедельник, 2- вторник и т.д.).<br />

Пусть значения временного ряда с(t) обобщаются с помощью орграфа<br />

доменов G(c), а значения времени t обобщаются с помощью орграфа G(t).<br />

Структура орграфа G(t) приведена в разделе 3.1.<br />

Для построения информационного множества ситуации α определим<br />

новый класс событий следующим образом:<br />

≡ ;<br />

≡ ;<br />

≡ ;<br />

≡ < c(t-i)/C *q/Q, t/Λ3 k >,

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!