Introduction into the Theory of Discoveries. The program system DISCOVERY A methodological attempt is done to create a general formal Theory of Discoveries. General reasonings about approaches to the obtaining discoveries are discussed and a method of discovering a full set of regularities on samples from empirical systems based on the language of the first order logic is elaborated. Program system DISCOVERY based on a given method is described. A simple testing example is presented.par The work is descriptive and does not contain mathematical or algorithmic results.
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.
- Vityaev, E.E.; Moskvitin, A.A.: Introduction into the Theory of Discoveries. The program system DISCOVERY (1993)