The objective of studies presented in this publication was structuring of research knowledge about the ADI functional properties and
changes in these properties due to material treatment. The results obtained were an outcome of research on the selection of a format of
knowledge representation that would be useful in further work aiming at the design, application and implementation of an effective system
supporting the decisions of a technologist concerning the choice of a suitable material (ADI in this case) and appropriate treatment process
(if necessary). ALSV(FD) logic allows easy modelling of knowledge, which should let addressees of the target system carry out
knowledge modelling by themselves. The expressiveness of ALSV (FD) logic allows recording the values of attributes from the scope of
the modelled domain regarding ADI, which is undoubtedly an advantage in the context of further use of the logic. Yet, although the logic
by itself does not allow creating the rules of knowledge, it may form a basis for the XTT format that is rule-based notation. The difficulty
in the use of XTT format for knowledge modelling is acceptable, but formalism is not suitable for the discovery of rules, and therefore the
knowledge of technologist is required to determine the impact of process parameters on values that are functional properties of ADI. The
characteristics of ALSV(FD) logic and XTT formalism, described in this article, cover the most important aspects of a broadly discussed,
full evaluation of the applicability of these solutions in the construction of a system supporting the decisions of a technologist.