La thèse présentée ici s'attache à répondre au manque de formalisation de la TRIZ. Cet objectif répond au manque scientifique permettant de reconnaître la TRIZ en tant que théorie ; et de proposer un outil informatique d'assistance à la formulation des problèmes, selon les cadres de la TRIZ, enjeu industriel reconnu. <br />La méthode déployée s'appuie sur les outils de l'Intelligence Artificielle pour construire une ontologie de la formulation des problèmes en conception inventive de systèmes techniques, selon les cadres de la TRIZ. Cette ontologie est une représentation centrée-objet des concepts liés à la formulation des problèmes. Cette représentation est validée par une analyse, en logique de description, de la cohérence de la hiérarchisation des concepts et de leur bonne définition. L'opérationnalisation du modèle s'appuie sur la programmation d'une interface d'instanciation. Cette interface est basée sur un moteur de systèmes experts à base de règles.