Basic Term Kernels

The following sections are included:

• Logics for Learning

  • Propositional Logic for Learning

  • First-Order Logic for Learning

  • Lambda Calculus

  • Lambda Calculus with Polymorphic Types

  • Basic Terms for Learning

• Kernels for Basic Terms

  • Default Kernels for Basic Terms

  • Positive Definiteness of the Default Kernel

  • Specifying Kernels

• Multi-Instance Learning

  • The Multi-Instance Setting

  • Separating MI Problems

  • Convergence of the MI Kernel Perceptron

  • Alternative MI Kernels

  • Learning MI Ray Concepts

• Related Work

  • Kernels for General Data Structures

  • Multi-Instance Learning

• Applications and Experiments

  • East/West Challenge

  • Drug Activity Prediction

  • Structure Elucidation from Spectroscopic Analyses

  • Spatial Clustering

• Summary