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

347
{G(τ)}, k C >, на основе которой может функционировать КИС. С
использованием модели ПрО вычисляются, в частности, синдромные и
вероятностные модели знаний, а значит, реализуется синдромный принцип
управления.
Рассмотрим одну из возможных схем работы оператора расширения λ,
которая базируется на модели ПрО [157].
Пусть Σ − рабочая область, в которой хранятся все известные значения
тестов. Для помещения результатов тестов в рабочую область будем
использовать нотацию {b/B} |→ Σ (при выполнении данной операции
применяется механизм разрешения противоречий). Через Σ f обозначим
вспомогательную область, в которую будем помещать пары ,
если к значениям тестов {b/B} применялось отображение f/µ. Для
помещения данных во вспомогательную область также будем использовать
нотацию |→ Σ f . Новые ситуации могут поступать в {Ω}
непрерывно. Самоорганизация знаний на основе метода предельных
обобщений приводит к непрерывной модификации модели ПрО.
Одна из схем работы оператора расширения λ может быть следующей:
Вход: {d/D};
Модель ПрО: ;
Инициализация: Σ f = ∅; {d/D} |→ Σ;
В цикле, пока не наступит стабилизация Σ:
1. Если {c/C} ∈ Σ и {c/C} ∈ W f ({с/С}) и {b/B} ∈ Σ и ∉Σ f ,
то выполнить: f/µ: {b/B} → {a/A}, µ ∈ {µ} f , f ∈ k;
2. {a/A} |→ Σ; |→ Σ f ;
3. ∀ a/A ∈ Σ , a/A → {a/A} + ; {a/A} + |→ Σ;
4. Если {b}/B ∈ Σ и ∉Σ f , то выполнить:
g: {b}/B→ ¬(B \ {b}/B); ¬(B \ {b}/B) |→ Σ; |→ Σ f ;
5. Если ∃ f/µ: {b/B} → a/A на W f ({с/С}), a/A ∈ ОЗ f и ¬a/A ∈Σ и {c/C} ∈ Σ
и ∉Σ f , то выполнить:
h f : ¬a/A → ¬ f a/A = ¬{{b/B} | f/µ: {b/B} → a/A, µ ∈ {µ} f ,
{c/C} ∈ W f ({с/С}), f ∈ k}; ¬ f a/A |→ Σ; |→ Σ f ;
Окончание цикла.
Выход: Σ.
Приведенная выше схема базируется, по сути, на двух основных
законах логики: modus ponens и modus tollens (рассуждение от противного).
В следующем разделе будет рассмотрен пример процедурной реализации
модели ПрО и механизмов вывода. Эффективным инструментом
поддержки решения является консилиум когнитивных агентов [134, 135].
Разработано несколько прототипов программ.