10.14489/vkit.2022.08.pp.037-048 |
DOI: 10.14489/vkit.2022.08.pp.037-048 Коновалов В. А. Аннотация. Рассмотрены два незавершенные положения теории, выявленные при практической реализации языков программирования. Первое связано с неполнотой выборок данных и, как следствие, высказываний, которые необходимо подвергнуть проверке истинности, второе – с невозможностью оперирования синонимами и омонимами в алфавите Маркова A. Рассмотрена возможность развития незавершенных положений теории алгоритмов. Выделено главное незавершенное положение теории алгоритмов Маркова, а именно ее алфавит A. Предлагается усилить теорию алгоритмов Маркова теоретико-категорными рассуждениями, для того чтобы исследовать аристотелеву категорию в алфавите Маркова A, через которую можно выйти на конструктивное определение аристотелевых синонимов и омонимов. В качестве эталона системы для теоретико-категорных рассуждений выбрана подсистема противодействия отмыванию доходов, полученных преступным путем, и финансированию терроризма. Рассмотрены одна основная и две частные задачи исследования. В первой части статьи решается основная задача, состоящая в уточнении алфавита Маркова A, обеспечивающего переход от графического равенства слов к категорному, с определением синонимов и омонимов. Упорядочен и расширен алфавит Маркова, синтезируется схема для этого алфавита. Приводится вариант схемы в условиях информационной неопределенности. Реализована схема для системы Маркова. Сделан вывод об алфавите управляющих команд K, используемых в N-схеме, где предлагается понимать алфавит K шире – например как указатель на набор методов и алгоритмов обнаружения и классификации в условиях информационной неопределенности, или как указатель на структуру, содержащую отдельные стандартизованные методы, или как композицию методов из нескольких стандартов. Ключевые слова: Марков; Колмогоров; синонимы; омонимы; большие данные; отмывание доходов; теория категорий; социально-экономическая система; искусственный интеллект.
Konovalov V. A. Abstract. The analysis of foreign criticism of incomplete provisions of the theory of Markov algorithms is carried out. Two incomplete positions of the theory identified during the practical implementation of programming languages are considered. The first is related to the incompleteness of data samples and, as a consequence, propositions that need to be subjected to a truth check. The second is with the inability to operate with synonyms and homonyms in the Markov alphabet A. The possibility of developing incomplete provisions of the theory of algorithms is considered, and scientific and technical ways of such are determined. It is noted that the theoretical justification of the Markov alphabet A has not been completed and requires further development. It is proposed to strengthen the theory of Markov algorithms by categorical reasoning. To investigate the Aristotelian category in the Markov alphabet A for the constructive definition of Aristotelian synonyms and homonyms. In the first part of the article, the main task of clarifying the Markov alphabet A for the constructive definition of synonyms and homonyms is solved. An ordered and expanded Markov alphabet A-+ is determined, an N-scheme for this alphabet is synthesized, and a variant of the N-scheme is additionally given under conditions of information uncertainty. The N-scheme for the Markov system is substantiated and implemented. The conclusion is made about the alphabet of control commands K used in the N-scheme, where it is proposed to understand the alphabet K more broadly, for example, as a pointer to a set of methods and algorithms for detection and classification in conditions of information uncertainty, or as a pointer to a structure containing separate standardized methods, or as a composition of methods from several standards. Keywords: Markov; Kolmogorov; Synonyms; Homonyms; Big data; Money laundering; Category theory; Socio-economic system; Artificial intelligence.
РусВ. А. Коновалов (ОАО «Курскрезинотехника», Курск, Россия) E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript EngV. A. Konovalov (Open Joint-Stock Company “Kurskrezinotekhnika”, Kursk, Russia) E-mail: Этот e-mail адрес защищен от спам-ботов, для его просмотра у Вас должен быть включен Javascript
Рус1. Марков А. А., Нагорный Н. М. Теория алгорифмов. М.: Наука, 1984. 432 с. (Мат. логика и основания математики). 2-е изд., испр. и доп. М.: Фазис, 1996. 493 с. Eng1. Markov A. A., Nagorniy N. M. (1984). Theory of algorithms. Moscow: Nauka. (Mathematical logic and foundations of mathematics). 2nd ed. Moscow: Fazis. [in Russian language]
РусСтатью можно приобрести в электронном виде (PDF формат). Стоимость статьи 500 руб. (в том числе НДС 20%). После оформления заказа, в течение нескольких дней, на указанный вами e-mail придут счет и квитанция для оплаты в банке. После поступления денег на счет издательства, вам будет выслан электронный вариант статьи. Для заказа скопируйте doi статьи: 10.14489/vkit.2022.08.pp.037-048 Отправляя форму вы даете согласие на обработку персональных данных. . EngThis article is available in electronic format (PDF). The cost of a single article is 500 rubles. (including VAT 20%). After you place an order within a few days, you will receive following documents to your specified e-mail: account on payment and receipt to pay in the bank. After depositing your payment on our bank account we send you file of the article by e-mail. To order articles please copy the article doi: 10.14489/vkit.2022.08.pp.037-048 and fill out the .
|