About algorithmization of knowledge

A. S. Podkolzin

Lomonosov Moscow State University

Abstract: This paper discusses the issues of computer modeling of problem solving processes and automatic creation of solver techniques. The architecture of the process of transitionfrom theorems to techniques (algorithmization of knowledge), which has developed in the process of processing numerous examples, is described. A computer system has been created that allows solving problems from various branches of mathematics and is able to update its database of techniques.

Keywords: computer problem solver, logical system, artificial intelligence.