Humans take reasoning for granted, but logic isn’t always self-evident to machines, which have to be hard-coded to make the connections that can support basic deductions. Google’s DeepMind is looking ...