Using mixture of experts method in combining search-guiding heuristics for theorem proving

Abstract

The main challenge of automated theorem proving is to find a way to shorten the search process. Therefore using a good heuristic method is essential. Instead of constructing a heuristic from scratch, we propose to use the mixture of experts learning to combine the existing heuristics to construct a heuristic from similar problems. The results show that the combined heuristic is better than each individual heuristic used in combination. © 2011 Springer Science+Business Media B.V.