КРИТЕРИИ ПОЛНОТЫ ДЛЯ ЗАДАЧ КЛАССИФИКАЦИИ С ТЕОРЕТИКО-МНОЖЕСТВЕННЫМИ ОГРАНИЧЕНИЯМИ

摘要

В рамках алгебраического подхода к синтезу корректных алгоритмов описан и исследован класс задач, в которых для каждого элемента пространства начальных информации определено соответствующее подмножество множества финальных информации (задач с теоретико-множественными ограничениями). Введены понятия полноты для моделей алгоритмов и алгоритмических операторов, для семейств решающих правил и корректирующих операций. Получены и доказаны соответствующие критерии полноты. Библ. 7.