AUTOMATED REASONING COMPUTATION: THE UPCOMING DOMAIN DRIVING AVAILABLE AND OPTIMIZED NEURAL NETWORK ADOPTION