Architecture of a Simplified Automated Reasoning System Based on A. S. Podkolzin's Approach

Annenkov Alexander Petrovich

Architecture of a Simplified Automated Reasoning System Based on A. S. Podkolzin’s Approach

Annenkov A. P.

Annenkov Alexander Petrovich

graduate student, Lomonosov Moscow State University, Faculty of Mechanics and Mathematics, Chair of Mathematical Theory of Intellectual Systems

0009-0002-9332-1569

Received: 29 Jan 2026 Revised: 11 Mar 2026 Accepted: 19 Mar 2026

Published: 2026, vol. 30, issue 1, pp. 6–35

Download full text (In Russian)

Abstract

Solving formalizable mathematical problems using computers remains a relevant challenge with several fundamentally different approaches. A significant contribution to this field was made by A. S. Podkolzin, who proposed an original solver architecture based on logical inference using term rewriting rules. This article describes the architecture of a simplified system that implements the key ideas of this approach: an attention-switching mechanism via levels, organization of a rule base, and context representation with metadata.

Keywords: mathematical problem solver, automated reasoning, logical processes, logical language, logical formalization of problems

BibTeX

@article{IS-Annenkov2026,
  author  = {Annenkov, Alexander Petrovich},
  title   = {{Architecture of a Simplified Automated Reasoning System Based on A. S. Podkolzin's Approach}},
  journal = {Intelligent Systems. Theory and Applications},
  year    = {2026},
  volume  = {30},
  number  = {1},
  pages   = {6--35},
}

AMSBIB

\Bibitem{IS-Annenkov2026}
\by A.\,P.~Annenkov
\paper Architecture of a Simplified Automated Reasoning System Based on A. S. Podkolzin's Approach
\jour Intelligent Systems. Theory and Applications
\yr 2026
\vol 30
\issue 1
\pages 6--35
\lang In Russian

Published under Creative Commons Attribution 4.0 International (CC BY 4.0)

← Back to issue