Ben Goertzel - Interoperability of Logic and Neural Networks (via searchlore.ai)