СТРАТЕГИИ БЫСТРЫХ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ ДЛЯ ИСЧИСЛИТЕЛЬНОЙ ПРОДУКЦИОННОЙ СИСТЕМЫ
Kursk State Technical University, Software Development for Computer Engineering and Computer-Based Systems;;
V. S. Titov
Southwest State University, Department of Computer Science, Kursk; Professor, Head of Department
E. A. Titenko
Kursk State Technical University, Department of Computer Software;
Abstract. Анализируются недостатки известных стратегий выводов исчислительных систем. Показано, что применение алгоритмических представительных систем порождает временную избыточность вследствие переборного с возвратами характера генерации ветвящегося пространства решений. Сущность предлагаемого подхода заключается в разработке набора комплементарных стратегий параллельных выводов с неединичным множеством равноправных исполнителей. Работа стратегий основана на исчислительных законах преобразования информации в многомерном пространстве времени.
