Abstract: 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.

Key words: contradictory problem; reverse thinking; reversed strategy; extension model; formalized model