Ограничения целостности знаний

(2.1) (v: реакции) реагенты(v) Ç результаты(v) = Æ

множества реагентов и результатов реакции не могут содержать одинаковых химических веществ

Определение системы понятий действительности

Определение терминов для описания ситуаций

(3.1) c(процесс) = возможные химические процессы

термин "процесс" обозначает химический процесс, имеющий место в ситуации

(3.2) c(реакция процесса) = (I[1, length(процесс) -1] ® {} реакции)

термин "реакция процесса" обозначает функцию, которая каждому шагу процесса (кроме последнего) сопоставляет множество протекающих на этом шаге химических реакций

(3.3) c(прореагировало полностью) = (I[1, length(процесс)-1] ® {} химические вещества)

термин "прореагировало полностью" обозначает функцию, аргументами которого являются номер шага процесса, а результатом - множество химических веществ

(3.4) c(множество начальных веществ) = {} химические вещества

термин "множество начальных веществ" обозначает множество веществ, которые заданы в начале химического процесса

(3.5) c(результат процесса) = {} химические вещества

термин "результат процесса" обозначает множество веществ, которые необходимо получить в результате химического процесса

Ограничения целостности ситуаций

(4.1) (v: [1, length(процесс) - 1]) реакция процесса(v)¹ реакция процесса(v+1)

множества реакций на предыдущем и последующем шагах процесса различны

(4.2) множество начальных веществ = p(1, процесс)

множество веществ на первом шаге процесса должно совпадать с множеством начальных веществ

(4.3) результат процесса Í p(length(процесс), процесс)

множество веществ на последнем шаге процесса должно содержать требуемые вещества

Связь знаний и действительности

(4.4) (v: [1, length(процесс) -1]) (v₁: реакция процесса(v)) реагенты(v₁) Í p(v, процесс) & результаты(v₁) Í p(v+1, процесс)

если на некотором шаге химического процесса имеет место химическая реакция, то ее реагенты должны входить во множество веществ этого шага процесса, а ее результаты – во множество веществ следующего шага процесса

(4.5) (v₁: [1, length(процесс) -1]) p(v₁+1, процесс) =p(v₁, процесс) \

(È(v₂: реакция процесса(v₁) {(v₃: реагенты(v₂)) прореагировало полностью(v₃)}) È (È (v₄: реакция процесса(v₁)) результаты(v₄))

множество веществ на каждом следующем шаге процесса состоит из веществ предыдущего шага, за исключением тех веществ, которые полностью прореагировали, и веществ, полученных в результате реакций, имевших место на предыдущем шаге процесса

2.2. Упрощенная модель знаний предметной области "Неорганическая химия" представленная одним из возможных обогащений необогащенной системы логических соотношений O₃, заданная множеством предложений – описаний значений имен.

(5.1) химические вещества º { S, O₂, SO₂, SO₃, H₂O, H₂SO₄}

рассматриваются только следующие химические вещества: S, O₂, SO₂, SO₃, H₂O, H₂SO₄

(5.2) реакции º {реакция₁, реакция₂, реакция₃}

рассматриваются только три реакции, имеющие названия реакция₁, реакция₂, реакция₃

(5.3) реагенты º (l(v: {реакция₁, реакция₂, реакция₃}) /(v = реакция₁ Þ {S, O₂}), (v = реакция₂ Þ {O₂, SO₂}), (v = реакция₃ Þ {SO₃, H₂O})/

реагентами реакции₁ являются S и O₂, реакции₂ – SO₂ и O₂, реакции₃ – SO₃ и H₂O

(5.4) результаты º (l(v: {реакция₁, реакция₂, реакция₃}) /(v = реакция₁ Þ {SO₂}), (v = реакция₂ Þ {SO₃}), (v = реакция₃ Þ {H₂SO₄})/

результатами реакции₁ являются SO₂, реакции₂ – SO₃, реакции₃ – H₂SO₄

2.3. Модель ситуации предметной области "Неорганическая химия"

(6.1) процесс º <{S, O₂}, {SO₂, O₂}>

на первом шаге процесса имеются вещества S и O₂, на втором шаге - вещества SO₂ и O₂

(6.2) реакция процесса º (l(v: I[1,1]) /(v = 1 Þ реакция₁)/)

на первом шаге процесса имела место одна реакция с идентификатором "реакция₁"

(6.3) прореагировало полностью º (l(v: I[1,1]) /(v = 1 Þ{S})/)

вещество S на первом шаге процесса прореагировало полностью

(6.4) множество начальных веществ º {S, O₂}

исходные вещества - S и O₂

(6.5) результат процесса º {S, O₂}

требуется получить SO₂

3. Проверка адекватности выполняется так же, как и в примере 1.

6. ПРИМЕР АНАЛИЗА ПРЕДМЕТНОЙ ОБЛАСТИ "ПРОЕКТИРОВАНИЕ ЯХТСМЕНОМ МОДЕЛИ ЯХТЫ" [2]