EXECUTING USING AUTOMATED REASONING: A FRESH CHAPTER IN OPTIMIZED AND REACHABLE COGNITIVE COMPUTING SYSTEMS