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) заполнение лакун методами изоморфизма графов либо стягивание лакун путем комбинаторной замены концептов речи по критерию семантической близости. Каждая из четырех подзадач представляет собой конечный автомат. При этом совокупно последовательное решение всех четырех подзадач позволяет перейти к автогенерации семантических полей без лакун – то есть автоматически без участия человека находить пробелы в знаниях, парадоксы/противоречия и разрешать их.