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

30
элемент дискретного домена (не базового) может быть снабжен одной или
несколькими функциями принадлежности, а именно:
T = {a {µ a }; b {µ b }; c {µ c };…},
где µ – функции принадлежности (влияют только на нисходящую
детерминацию). Функции принадлежности одного элемента отличаются
друг от друга, в частности, привязкой к доменам предшественникам
(вплоть до базового домена). В общем случае, нисходящая детерминация
на множестве тестов описывается взаимосогласованными
(калибровочными) колебательными процессами типа «маятника». Такие
процессы базируются на законах гомеостатики и предполагают наличие
модели системы (базы знаний). Более детально этот вопрос будет
рассмотрен в разделе 2.4.
Необходимо стремиться к тому, чтобы в любом орграфе G(τ) все
терминальные вершины являлись дуадами или бинарными оппозициями.
Примеры: {Истина; Ложь}, {Норма: Отклонение}, {Эффективно;
Неэффективно}, {Жалобы есть; Жалоб нет}, {Благоприятный;
Неблагоприятный} и т.д. Очевидно, орграф может состоять из одной
базовой вершины, например: Пол/ {М; Ж}. Орграфы всех тестов, имеющих
дихотомические значения, состоят из одной вершины.
На алгоритм преобразования (обобщения) значений доменов могут
влиять значения других тестов. Пусть (T → T′) ∈ G(τ), а внешние тесты
{a/A} влияют на алгоритм пересчета значений из домена T в домен T′. Для
фиксации данного факта будем использовать нотацию: T {a/A} → T′. Если
результат какого либо теста из {a/A} неизвестен, то будем считать, что и
преобразование T {a/A} → T′ не определено, следовательно, не определен
весь подграф с базовой вершиной T′. Таким образом, орграф G(τ |{a/A}),
где {a/A} – множество всех используемых внешних тестов, имеет
переменную структуру.
Правила вычислений элементов некоторых доменов на основе значений
других тестов, в общем виде, имеют вид: f/µ: τ/T, {a/A} → τ/T′, где f/µ –
некоторая однозначная функция (µ – механизм реализации функции).
Данные правила будем относить к онтологическим соглашениям, так как
сами орграфы принадлежат онтологии (задачи, предметной области).
Примеры таких соглашений будут приведены ниже. Наиболее общие
правила пересчета значений одних тестов в значения других тестов
содержатся в базе знаний.
Примеры доменов для теста τ = ‘Возраст’:
В1 = [0; 100];
В2 = {юный; молодой; средних лет; пожилой; старческий};