ISSN 0021-3454 (print version)
ISSN 2500-0381 (online version)
Menu

12
Issue
vol 59 / DECEMBER, 2016
Article
UDC 681.3

СТРАТЕГИИ БЫСТРЫХ СИМВОЛЬНЫХ ВЫЧИСЛЕНИЙ ДЛЯ ИСЧИСЛИТЕЛЬНОЙ ПРОДУКЦИОННОЙ СИСТЕМЫ

V. M. Dovgal
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. Анализируются недостатки известных стратегий выводов исчислительных систем. Показано, что применение алгоритмических представительных систем порождает временную избыточность вследствие переборного с возвратами характера генерации ветвящегося пространства решений. Сущность предлагаемого подхода заключается в разработке набора комплементарных стратегий параллельных выводов с неединичным множеством равноправных исполнителей. Работа стратегий основана на исчислительных законах преобразования информации в многомерном пространстве времени.