Towards a formal definition of contradiction in inventive design

For nearly two decades, TRIZ has appeared as a set of methodological tools useful for supporting inventive aims in industry. The central aspect of a process based on TRIZ invariably involves the formulation of a contradiction, although there has been very little research conducted about the formalization of this notion. Our paper proposes a formal definition of the contradiction and of its potential manipulations useful in inventive design in accordance to the fundamentals of TRIZ. This formalization is particularly important when software tools are needed to implement TRIZ in industry. This work is also necessary at a moment where perceptions associated with the TRIZ point of view about contradictions diverge away from what made TRIZ original and relevant in the innovation area.

[1]  Roberto Torretti,et al.  Vocabulaire européen des philosophies: Dictionnaire des intraduisibles, sous la direction de Barbara Cassin.Paris: Éditions du Seuil/Dictionnaires Le Robert, 2004 , 2005 .

[2]  Denis Cavallucci,et al.  Use of formal ontologies as a foundation for inventive design studies , 2011, Comput. Ind..

[3]  Herbert A. Simon,et al.  The Structure of Ill Structured Problems , 1973, Artif. Intell..

[4]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[5]  Joost Duflou,et al.  Relating properties and functions from patents to TRIZ trends , 2008 .

[6]  Denis Cavallucci,et al.  Initial situation analysis through problem graph , 2010 .

[7]  Dieter Fensel,et al.  Knowledge Engineering: Principles and Methods , 1998, Data Knowl. Eng..

[8]  Gaetano Cascini,et al.  Network of contradictions analysis and structured identification of critical control parameters , 2011 .

[9]  Sébastien Dubois,et al.  Comparison of non solvable problem solving principles issued from CSP and TRIZ , 2008, IFIP CAI.

[10]  Denis Cavallucci,et al.  An ontological basis for computer aided innovation , 2009, Comput. Ind..

[11]  Davide Russo,et al.  Towards the right formulation of a technical problem , 2010 .

[12]  Denis Cavallucci,et al.  From TRIZ to OTSM-TRIZ: addressing complexity challenges in inventive design , 2007 .

[13]  Davide Russo,et al.  Computer-aided analysis of patents and search for TRIZ contradictions , 2007 .

[14]  Altshuller.  Creativity As an Exact Science , 1984 .

[15]  Zhi-gang Xu,et al.  Substance-field analysis and effects for conceptual design , 2008, 2008 9th International Conference on Computer-Aided Industrial Design and Conceptual Design.

[16]  Denis Cavallucci,et al.  Linking Contradictions and Laws of Engineering System Evolution within the Triz Framework , 2009 .

[17]  Gül E. Okudan,et al.  An Investigation on the Effectiveness of Design Ideation Using TRIZ , 2006 .