Semantic graph kernels for automated reasoning

E. Tsivtsivadze, J. Urban, J.H. Geuvers, T. Heskes

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)


Learning reasoning techniques from previous knowledge is a largely underdeveloped area of automated reasoning. As large bodies of formal knowledge are becoming available to automated reasoners, state-of-the-art machine learning methods can provide powerful heuristics for problem-specific detection of relevant knowledge contained in the libraries. In this paper we develop a semantic graph kernel suitable for learning in structured mathematical domains. Our kernel incorporates contextual information about the features and unlike "random walk"-based graph kernels it is also applicable to sparse graphs. We evaluate the proposed semantic graph kernel on a subset of the large formal Mizar mathematical library. Our empirical evaluation demonstrates that graph kernels in general are particularly suitable for the automated reasoning domain and that in many cases our semantic graph kernel leads to improvement in performance compared to linear, Gaussian, latent semantic, and geometric graph kernels.
Original languageEnglish
Title of host publicationProceedings of the Eleventh SIAM International Conference on Data Mining (SDM 2011, Mesa AZ, USA, April 28-30, 2011)
Place of PublicationPhiladelphia PA
PublisherSociety for Industrial and Applied Mathematics (SIAM)
ISBN (Print)978-0-898719-92-5
Publication statusPublished - 2011


Dive into the research topics of 'Semantic graph kernels for automated reasoning'. Together they form a unique fingerprint.

Cite this