Pattern Synthesis Using Fuzzy Partitions of the Feature Set for Nearest Neighbor Classifier Design

Author(s):  
Pulabaigari Viswanath ◽  
S. Chennakesalu ◽  
R. Rajkumar ◽  
M. Raja Sekhar
2005 ◽  
Vol 38 (8) ◽  
pp. 1187-1195 ◽  
Author(s):  
P. Viswanath ◽  
Narasimha Murty ◽  
Shalabh Bhatnagar

10.29007/5gzr ◽  
2018 ◽  
Author(s):  
Cezary Kaliszyk ◽  
Josef Urban

Two complementary AI methods are used to improve the strength of the AI/ATP service for proving conjectures over the HOL Light and Flyspeck corpora. First, several schemes for frequency-based feature weighting are explored in combination with distance-weighted k-nearest-neighbor classifier. This results in 16% improvement (39.0% to 45.5% Flyspeck problems solved) of the overall strength of the service when using 14 CPUs and 30 seconds. The best premise-selection/ATP combination is improved from 24.2% to 31.4%, i.e. by 30%. A smaller improvement is obtained by evolving targetted E prover strategies on two particular premise selections, using the Blind Strategymaker (BliStr) system. This raises the performance of the best AI/ATP method from 31.4% to 34.9%, i.e. by 11%, and raises the current 14-CPU power of the service to 46.9%.


Sign in / Sign up

Export Citation Format

Share Document