This somewhat reminds me of the &quot;symbolic AI&quot; software before the first AI winter in the early 90s... It looks like the methodolgy is making progress towards a solution, and you are able to find answers for heavily stylized sample problems...<p>...but then you realize a lot of the complexity is just hidden behind your definitions for the words in the TRIZ matrix (or in the case of &quot;symbolic AI&quot;, in the precise semantic meaning you are assuming for the symbols)