Асельдеров З. М. Исследование, разработка и реализация алгебрологических конструкций для повышения уровня машинного интеллекта

Объект исследования: Алгебрологические конструкции, необходимые при поиске логического вывода теорем в формализованных математических теориях. Цель исследования: Разработка и реализация природно-логического вывода в формализованных теориях; исследование проблемы реконструкции графа по его подграфами. Методы исследования и аппаратура: Современная теория дискретной математики: теория формасних языков, теория доказательства теорем, теория алоритмов, теория градов, теория свободных групп. Теоретические результаты и новизна: Разработано и реализовано алгоритм логического вывода теорем теории свободных групп; разработано и реализовано алгоритм решения уравнений в свободных группах; решена проблема реконструкции графа. Практические результаты и новизна: Реализовано алгоритм поиска логического вывода теорем теории свободных групп; реализовано алгоритм реконструирования р-вершинного графа. Предмет и степень внедрения: Пакет программ "Сетевой монитор процессов". Эффективность внедрения: Подтвержденный годовой экономический эффект составляет 0,5 млн.крб. Сфера (область) использования: Средства для создания дедективных баз знаний и специализированных экспертных систем для решения актуальных заданий ИАСУ.