DEDUCING USING AUTOMATED REASONING: A PIONEERING WAVE POWERING AGILE AND UBIQUITOUS AI SYSTEMS