A modification of the paradigm of Artificial Intelligence (AI) is proposed in the paper. The modification is based on the assumption that there are algorithms which are inductive by construction, but can be mathematically proved. The content of traditional artificial intelligence concepts (knowledge, form of presentation, knowledge base, etc.) is determined within the proposed paradigm. The modification ensures unification of many concepts in the field of artificial intelligence.