logic in artificial intelligence: it’s role in reinventing the world