Composing Neural Learning and Symbolic Reasoning with an Application to Visual Discrimination. (arXiv:1907.05878v2 [cs.LG] UPDATED)

We consider the problem of combining machine learning models to perform
higher-level cognitive tasks with clear specifications. We propose the novel
problem of Visual Discrimination Puzzles (VDP) that requires finding
interpretable discriminators that classify images according to a logical
specification. Humans can solve these puzzles with ease and they give robust,
verifiable, and interpretable discriminators as answers. We propose a
compositional neurosymbolic framework that combines a neural network to detect
objects and relationships with a symbolic learner that finds interpretable …

application arxiv discrimination learning lg reasoning symbolic reasoning