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.
Keywords:Computer-aided foundry production, Application of information technologies in the field of foundry, ADI, the ALSV (FD) logic of attributes, Rule-based XTT format