DOI: 10.14489/vkit.2025.09.pp.041-053

Коновалов В. А.
МОРФИЗМЫ УСТРОЙСТВ В СЕТЯХ МАРКОВА. ЧАСТЬ 3
(с. 41-53)

Аннотация. Предложена классификация творческих последовательностей Л. Э. Я. Брауэра по управлению, назначению, классификации, данным источника. Показан способ формализации творческих последовательностей Брауэра в теории алгоритмов Маркова с использованием cNnet-схемы алгоритма Маркова, разработанной на замену известной γ-схемы нормального алгоритма и отличающейся от нее выводом, который нельзя считать нормальным. Рассмотрен «результат Трулстра» о вычислителе творческих последовательностей, упомянутый в работе Н. Н. Непейводы, из которого извлечена научная задача синтеза математической формулы такого вычислителя и показан способ реализации его алгоритма. Приведены результаты достижения цели исследования – классификация и селекция творческих последовательностей. Синтезирована часть алгоритма (логического), выполняемого контроллером, тем самым достигнута практическая цель исследования. С теоретико-алгоритмических позиций раскрыта «главная» творческая последовательность. Рассмотрена гипотеза о том, что «главные» творческие последовательности возникают в порождающих алгоритмах. Выделение таких алгоритмов позволило выдвинуть дополнительную гипотезу о разделении всех алгоритмов на порождающие, перерабатывающие и модернизирующие. Введен ассоциатор творчества Брауэра, который включен в cNnet-схему алгоритма Маркова и, как следствие, в его сеть непрямого распространения. Отмечено, что способ вычисления творчества в cNnet-схеме алгоритма Маркова ограничен предположением о его результате. Приведена классификация некоторых основных типов беззаконных последовательностей, которые можно определить в теории алгоритмов Маркова. Синтезирована сеть Маркова непрямого распространения с демонстрацией «результата Трулстра». Отмечено, что предположение этого математика о трех входах нельзя понимать буквально, так как более точно вести речь о трех типах входов, где входов каждого типа может быть несколько. Сделаны выводы, позволившие выдвинуть гипотезу о том, что для порождения искусственного интеллекта на современном этапе его осмысления вполне пригодна теория категорий и n-категорий, а алгоритм функционирования может быть представлен композицией уже известных в науке алгоритмов. При этом модернизирующий алгоритм следует рассмотреть отдельно в дальнейших исследованиях.

Ключевые слова:  творческие и беззаконные последовательности; коррелятор; творчество Брауэра; вычислитель Трулстра; морфизмы устройств; сеть Маркова; конструктивная математика; теория категорий; теория алгоритмов; искусственный интеллект.

Konovalov V. A.
DEVICE MORPHISMS IN MARKOV NETWORK. PART 3
(pp. 41-53)

Abstract. A classification of creative sequences by L. E. Ya. Brauer is proposed by: control, purpose, classification, source data. The paper shows a method for formalizing Brouwer’s creative sequences in the theory of Markov algorithms using the cNnet-scheme of the Markov algorithm, developed to replace the well-known γ-scheme of the normal algorithm, and differing from it in that it cannot be considered normal. The article considers the “Trulstra result” about the creative sequence calculator mentioned in the work of N. N. Nepeyvoda, from which the scientific problem of synthesizing the mathematical formula of such a calculator is extracted and a method for implementing its algorithm is shown. The results of achieving the research objective – classification and selection of creative sequences – are presented. A part of the algorithm (logical) executed by the controller is synthesized, thereby achieving the practical goal of the study. The “main” creative sequence is identified and disclosed from the theoretical-algorithmic positions. A hypothesis is put forward that the “main” creative sequences arise in generative algorithms. The selection of such algorithms allowed us to show an additional hypothesis about the division of all algorithms into: generative, processing and modernizing. The Brauer creativity associator is introduced, which is included in the cNnet-scheme of the Markov algorithm and, as a consequence, in network with abnormal inference. It is noted that the method of calculating creativity in the cNnet-scheme of the Markov algorithm is limited by the assumption about its result. A classification of some basic types of lawless sequences that can be defined in the theory of Markov algorithms is given. A Markov network of indirect propagation with a demonstration of the “Troelstra result” is synthesized. It is noted that the assumption of this mathematician “about three inputs” cannot be understood literally, since it is more accurate to talk about three types of inputs, where there can be several inputs of each type. Conclusions were made that allowed us to put forward a hypothesis that category theory and n-categories are quite suitable for generating artificial intelligence, at the current stage of its comprehension. The functioning algorithm can be represented by a composition of algorithms already known in science. The modernizing algorithm should be considered in further research.

Keywords: Creative and illegal sequences; Correlator; Brouwer’s creativity; Troelstra’s calculator; Morphisms of devices; Markov network; Constructive mathematics; Category theory; Theory of algorithms; Artificial intelligence.