An approach combining two complementary methods—one for logical reasoning and one for learning patterns—to solve a problem better than either alone.