Abstract. This paper brings together two strands of machine learning of increasing importance: kernel methods and highly structured data. We propose a general method for constructing a kernel following the syntactic structure of the data, as defined by its type signature in a higher-order logic. Our main theoretical result is the positive definiteness of any kernel thus defined. We report encouraging experimental results on a range of real-world data sets. By converting our kernel to a distance pseudo-metric for 1-nearest neighbour, we were able to improve the best accuracy from the literature on the Diterpene data set by more than 10%.
Recently, REF proposed a logic-based kernel on individuals represented as (closed) terms in a typed higher-order logic.
Kernels and Distances for Structured Data
Machine Learning
Machine Learning
Computer Science Mathematics