The man who's restoring common logic to artificial intelligence