Multitask Kernel-based Learning with First-Order Logic Constraints

In this paper we propose a general framework to integrate supervised and unsupervised examples with background knowledge expressed by a collection of first-order logic clauses into kernel machines. In particular, we consider a multi-task learning scheme where multiple predicates defined on a set of objects are to be jointly learned from examples, enforcing a set of FOL constraints on the admissible configurations of their values. The predicates are defined on the feature spaces, in which the input objects are represented, …

collection constraints cs.ai cs.lg cs.lo examples framework general kernel knowledge logic machines multiple multi-task learning objects paper set unsupervised