This text presents my research and teaching activities in the CRAN laboratory and at the IUT Hubert Curien in Epinal between 2012 and 2020. These are globally inscribed in the formalisation and extraction of knowledge in systems related to the intelligent production environment. The introduction presents what production systems are and their evolution up to industry 4.0. In this context we show how knowledge management through methods such as semantic interoperability, formalisation of knowledge, its extraction and reuse are necessary actions for the best functioning of the systems under consideration. Finally, the last chapter presents the research and teaching project whose objective is the definition of knowledge formalisation and extraction models applied to heterogeneous data sources in a factory of the future context.