To establish a set of formalized theories and methods to deal with contradictory problems, and enable people to generate strategy of contradiction solving based on particular procedure.　

　　Studying inference methods and technology operated by computer, leading computer to help people with contradiction solving. Also developing corresponding smart system, helping machine to deal with contradictory problems.