A Soft Version of Predicate Invention Based on Structured Sparsity
IJCAI, pp. 3918-3924, 2015.
In predicate invention (PI), new predicates are introduced into a logical theory, usually by rewriting a group of closely-related rules to use a common invented predicate as a \"subroutine\". PI is difficult, since a poorly-chosen invented predicate may lead to error cascades. Here we suggest a \"soft\" version of predicate invention: ins...More
PPT (Upload PPT)