Evgeniy Garin: Necessary and Sufficient Conditions of an Inventing Machine, MathAI-2025

Evgeniy Garin: Necessary and Sufficient Conditions of an Inventing Machine MathAI-2025 Abstract: In this paper, the process of scientific discovery is presented as a sequence of subtask solutions: 1) assembling a corpus of texts in scientific stylistics; 2) representing a corpus of texts as a graph database (tensor DB) – a graph of semantic proximity of concepts; 3) identifying semantic proximity gaps in the database; 4) filling the gaps using graph isomorphism methods or contracting the gaps by combinatorial replacement of speech concepts according to the criterion of semantic proximity. Each of the four subtasks is a finite automaton. At the same time, the combined sequential solution of all four subtasks allows us to move on to the autogeneration of semantic fields without gaps – that is, to automatically find gaps in knowledge, paradoxes/contradictions and resolve them without human intervention. Гарин Е.В. Необходимые и достаточные условия изобретающей машины Ключевые слова: изобретающая машина, концепты и операторы речи, семантическая близость концептов речи, лакуны семантической близости. Аннотация: В данной работе процесс научного открытия представлен в виде последовательности решения подзадач: 1) сборка корпуса текстов в научной стилистике; 2) представление корпуса текстов в виде графовой базы данных (тензорной БД) – графа семантической близости концептов; 3) выявление в базе данных лакун семантической близости; 4) заполнение лакун методами изоморфизма графов либо...