The Discovery system checks virtually any first-order logic hypothesis on any data in conditions of noise in the data. Thus, the Discovery system is able to solve the main task of Data Mining: extracting knowledge from a database.
Discovery can be considered as an expert tool for database creation or setting expert systems up.
At such setting up, there is a necessity to fill up the System with missing knowledge and check for conflicting knowledge. Such knowledge can be found automatically by the methods of Y.Shapiro. After such knowledge has been found, its verification on the data may be performed by the Discovery system.
Discovery has been successfully used to solve decision-making problems for different projects on international grants.
The results of the System's functioning are fairly widely covered in the world literature (for more see http://server.math.nsc.ru/LBRT/logic/vityaev/ - Scientific Discovery).
- Financial forecasting
- Development of consistent computer-aided diagnostic system for medicine
- Applications to Bioinformatics.