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

47
это целесообразно, вместо чисел нужно использовать параметры {p/P},
которые также являются тестами (со своими орграфами). Итоговая
спецификация орграфа имеет вид:
G(τ |[{a/A}] | [{p/P}] | [Σ τ ]) = {T → T′} τ , (2.5)
где {a/A} – внешние тесты для расчета значений теста; {p/P} – структурные
параметры; Σ τ – схема деления домена-потомка для базового домена.
Параметры могут быть взаимозависимы, что определяется
онтологическими соглашениями. Структурные параметры должны быть
заданы перед началом использования орграфа. Пример:
Температура блока химических батарей ^ ТБХБ:
D2 {Низкая ^H [0; p1]; Средняя ^C (p1; p2]; Высокая ^B (p2; 50]};
D1 {[0; 50]}.
G (ТБХБ | {p1/P1; p2/P2}) = {D1 → D2},
где p1/P1 ≡ p1/[18; 22], а p2/P2 ≡ p2/[28; 32]. Здесь «ТБХБ» – условное
обозначение теста, а «H», «C», «B» – условные обозначения элементов
домена D2. Условные обозначения могут использоваться наравне с
исходными названиями. Интервал [0; p1] задает правило:
D1.[0; p1] → D2.{Низкая}.
Аналогично трактуются другие интервалы. Подобная простая нотация
позволяет во многих случаях избежать явного задания правил пересчета из
одного домена в другой. Конкретизация параметров выглядит следующим
образом: G(ТБХБ | {p1/P1 20; p2/P2 30}).
Параметры {p/P} произвольного орграфа G(τ) могут быть адаптивными
и определяться автоматически на основе имеющихся эмпирических
данных. В дальнейшем под записью G(τ) без ограничения общности будем
понимать G(τ |{p/P}).
2.2 Каноническое представление орграфа доменов
Непрерывный или конструктивно непрерывный базовый домен орграфа
G(τ) обозначим {}. Элементы самого точного дискретного домена заменим
их порядковыми номерами: {1; 2; 3; …; N}. Элементы других доменов –
вершин заменим комбинациями номеров 1,…, N в соответствии со схемами
обобщения. Все домены могут содержать интервалы (в этом проявляется
двойственность восприятия элементов домена). Результирующее
представление орграфа назовем каноническим, а сам канонический орграф
обозначим G(τ). Названия доменов в каноническом орграфе можно
оставить прежними, а можно изменить, например, присвоив числовые