swMATH ID: 
2881

Software Authors: 
Vityaev, E.E.; Moskvitin, A.A.

Description: 
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. 
Homepage: 
http://www.math.nsc.ru/AP/ScientificDiscovery/pages/Vityaev.html

Keywords: 
theory of discoveries

Related Software: 

Referenced in: 
1 Publication
