Solving contradictory problems formally and quantitatively is one of the hot research topics in the field of artificial intelligence. Based on the extension model and formalized model of reverse thinking
it studies the reversed strategy generating method of solving contradictory problems
and illustrates the feasibility and effectiveness of this method.