Generalised method of diagnostic reasoning about faults based on binary diagnostic matrix

W artykule wprowadzono i zdefiniowano pojęcia sygnatur alternatywnych i dominujących. Wprowadzenie tych pojęć pozwoliło na sformalizowanie i uogólnienie schematu wnioskowania o uszkodzeniach obejmującego zarówno podejścia bazujące na binarnej macierzy diagnostycznej jak i podejścia bazujące na podstawie dwuwartościowego systemu informacyjnego FIS. Przedstawiono przykład ilustrujący uogólniony schemat wnioskowania. W podsumowaniu przedstawiono kierunki dalszych prac.A brief survey of diagnostic fault isolation methods based on a binary diagnostic matrix and bi-valued FIS [3] information system is presented in the introductory part (Section 1) of the paper. It is shown on an example of carcinoma renis disease (Tab.2), that the classic reasoning scheme about single faults based on a binary diagnostic matrix is insufficient and should be revised. It is also shown that the problems of proper reasoning remain unsolved even if the Fault Information System - FIS will be applied. In both cases, there is possible to reject true diagnosis as well as generate a false one. To solve the problem, there were introduced and defined the so called: alternative (10) and dominant signatures (11). Introduction of these signatures enables formal generalisation and extension of the inference scheme about faults (16) including approaches based on a binary diagnostic matrix as well as bi-valued FIS. The advantages of introducing the dominant signatures are described in Section 5. Also, some hints for implementation of the general reasoning scheme are formulated in Section 5. The proposed general reasoning method is useful for applications to system with embedded diagnostics, particularly to those making use of on-line serial and parallel diagnostics [6]. The future works are outlined in the summary (Section 6), including generalization of the inference scheme based on multi-valued FIS and fuzzy evaluation of diagnostic signals