Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning | IEEE Conference Publication | IEEE Xplore