Knowledge based approach for formulating TRIZ contradictions