English
Архитектура упрощённой системы автоматического вывода на основе подхода А. С. Подколзина
Анненков А. П.
Получена: 29.01.2026 Доработана: 11.03.2026 Принята: 19.03.2026
Опубликована: 2026 год, том 30, выпуск 1, С. 6–35
Аннотация
Решение формализуемых математических задач с помощью ЭВМ остаётся актуальной проблемой, для которой существует несколько принципиально различных подходов. Значительный вклад в развитие данного направления внесла монография А. С. Подколзина, в которой предложена оригинальная архитектура решателя задач, основанная на логическом выводе с помощью правил преобразования термов. В данной статье описывается архитектура упрощённой системы, реализующей ключевые идеи этого подхода: механизм переключения внимания через уровни, организацию базы правил и представление контекста с метаданными.
Ключевые слова: решатель математических задач, автоматический вывод, логические процессы, логический язык, логическая формализация задач
BibTeX
@article{IS-Annenkov2026,
author = {Анненков, Александр Петрович},
title = {{Архитектура упрощённой системы автоматического вывода на основе подхода А.\,С.~Подколзина}},
journal = {Интеллектуальные системы. Теория и приложения},
year = {2026},
volume = {30},
number = {1},
pages = {6--35},
}
AMSBIB
\RBibitem{IS-Annenkov2026}
\by А.\,П.~Анненков
\paper Архитектура упрощённой системы автоматического вывода на основе подхода А.\,С.~Подколзина
\jour Интеллектуальные системы. Теория и приложения
\yr 2026
\vol 30
\issue 1
\pages 6--35