An efficient multiple predicate learner

In this paper, we examine the issue of learning multiple predicates from given training examples. A proposed MPL-CORE algorithm efficiently induces Horn clauses from examples and background knowledge by employing a single predicate learning module CORE. A fast failure mechanism is also proposed which contributes learning effiency and learnability to the algorithm. MPL-CORE employs background knowledge that can be represented in intensional (Horn clauses) or extensional (ground atoms) forms during its learning process. With the fast failure mechanism, MPL-CORE outperforms previous multiple predicate learning systems in both the computational complexity and learnability.