REASONING USING AUTOMATED REASONING: A TRANSFORMATIVE GENERATION DRIVING AGILE AND UBIQUITOUS AI SYSTEMS