УДК 16:17:51-7:1(091)

Лобовиков В.О.
Математическая модель «диалектической логики» и относительно автономные познающие роботы // Антиномии: Научный ежегодник Института философии и права УрО РАН).– 2019.– Т. 19. Вып. 1.– С. 29-48.

Объект исследования – пресловутая проблема «диалектической логики» и ее релевантность в отношении конструирования относительно автономных познающих роботов. Предмет исследования – формально-аксиологический аспект упомянутого объекта. Метод – конструирование и изучение дискретных математических моделей. Научная новизна: впервые предложена такая постановка проблемы «диалектической логики» и такое ее психологически неожиданное решение, которые создают основание для научного исследования возможности моделирования «диалектической логики» мышления искусственными интеллектуальными системами. Согласно развиваемой в статье концепции, значением метафорического выражения «диалектическая логика» является формальная аксиология мышления. Поэтому для моделирования «диалектической логики» относительно автономными познающими роботами конструируется дискретная математическая репрезентация предмета исследования, а именно логически непротиворечивая система уравнений двузначной алгебры формальной аксиологии, моделирующая формально-аксиологический аспект адекватного мышления об объективных противоречиях материального мира. Теоретическая и практическая значимость полученного нового научного результата – создание необходимых предпосылок для конструирования относительно автономных познающих роботов.

Abstract. The object of investigation is the notorious problem of “dialectical-logic”, and its relevance to constructing relatively autonomous cognitive robots. The subjectmatter
is formal axiological aspect of the mentioned object. The method is constructing and studying discrete mathematical models. Scientific novelty: for the first time such a formulation of the problem of “dialectical-logic” and such a psychologically unexpected solution of it are submitted, which make up a foundation for scientific investigation of possibility of modeling “dialectical-logic” of thinking by artificial intellectual systems. According to the conception developed in this paper, the meaning of the metaphorical expression “dialectical-logic” is formal axiology of thinking. Therefore, to model “dialectical-logic” by relatively autonomous cognitive robots, a discrete mathematical representation of the subject-matter of investigation is constructed, namely; a logically consistent system of equations of two-valued algebra of formal axiology which system models formal-axiological aspect of adequate thinking about objective contradictions of material world. Theoretic and practical significance of the obtained new scientific result is creating necessary prerequisites for constructing relatively autonomous cognizing robots.
Полный текст>>