Using mixture of experts method in combining search-guiding heuristics for theorem proving
25th International Symposium on Computer and Information Sciences, ISCIS 2010, London, İngiltere, 22 - 24 Eylül 2010, cilt.62 LNEE, ss.7-10, (Tam Metin Bildiri)
- Yayın Türü: Bildiri / Tam Metin Bildiri
- Cilt numarası: 62 LNEE
- Doi Numarası: 10.1007/978-90-481-9794-1_2
- Basıldığı Şehir: London
- Basıldığı Ülke: İngiltere
- Sayfa Sayıları: ss.7-10
- Boğaziçi Üniversitesi Adresli: Evet
Özet
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.