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

Известия высших учебных заведений. Приборостроение. [Текст] / МО РФ, СПб ГУИТМО. — СПб.

• УДК // Обчислення інформаційно-теоретичних характеристик для конкретних каналів та повідомлень