Theoretical Propositions and Practical Implementation of the Formalization of Structured Knowledge of the Subject Area for Exploratory Research

Today, the choice of the method for solving a scientific problem from any subject area is done using scientist’s natural intelligence that takes much time and is not systematized. Existing formal models of knowledge description are not suitable for the subject area presentation of exploratory research as they use a completely different decision algorithm which results either in the strongest solution from the known or in the strongest inventive one. To solve the problems arised, a method of efficient knowledge structuring has been developed to represent the subject area of the exploratory research that corresponds to the processes occurring in the human intellect. Therefore, it is used in a new formal model of knowledge description. As a result, theoretical provisions for knowledge formalization of the subject area for the exploratory research were developed and a practical implementation of the formalization for the subject area “optimization methods” was carried out. The software product Optimel: Software for selecting the optimal method was obtained; it uses a subject area in the form of a binary tree with questions-answers system.