%0 Conference Proceedings %T Mathematical Modelling and Formalization of TRIZ: Trimming for Product Design %+ University of Malaysia [Sarawak] (UNIMAS) %A Edward, Chris %A Labadin, Jane %A Kulathuramaiyer, Narayanan %Z Part 1: New Perspectives of TRIZ %< avec comité de lecture %@ 978-3-031-17287-8 %( IFIP Advances in Information and Communication Technology %B 22th International TRIZ Future Conference (TFC) %C Warsaw, Poland %Y Robert Nowak %Y Jerzy Chrząszcz %Y Stelian Brad %I Springer International Publishing %3 Systematic Innovation Partnerships with Artificial Intelligence and Information Technology %V AICT-655 %P 3-16 %8 2022-09-27 %D 2022 %R 10.1007/978-3-031-17288-5_1 %K Data dictionary %K Graph modelling %K Trimming principles %K Trimming iteration %K Semantic invariant %K Formal Logic %K Set Theory %K Graph Theory %Z Computer Science [cs]Conference papers %X This work aims to formalize TRIZ modelling framework and trimming techniques through mathematical notations to lay the foundations for rigorous analysis of TRIZ as a Science of Innovation. Mathematical modelling has been employed to formalize the heuristic models of trimming. A case study was presented to demonstrate the use of the proposed modelling scheme. The paper has demonstrated the correlation of TRIZ modelling framework and trimming techniques with well-established mathematical fields such as Formal Logic, Set Theory and Graph Theory. It presents initial efforts in formalizing the functional analysis and trimming techniques as a rigorous formal approach. The acceptance of systematic innovation as a scientific discipline that can be supported by knowledge systems and can be connected to mathematical models remains a dream. This work provides directions for inquiry into this non-trivial endeavour. The value of this work will see future computational models for supporting systematic innovation. The real-life use case demonstrates the powers and gaps with regards to Genrich Altshuler’s modelling of product innovation using heuristics. %G English %Z TC 5 %Z WG 5.4 %2 https://inria.hal.science/hal-04449809/document %2 https://inria.hal.science/hal-04449809/file/527541_1_En_1_Chapter.pdf %L hal-04449809 %U https://inria.hal.science/hal-04449809 %~ IFIP %~ IFIP-AICT %~ IFIP-TC %~ IFIP-TC5 %~ IFIP-WG5-4 %~ IFIP-TFC %~ IFIP-AICT-655