AI-aided general clinical diagnoses verified by third-parties with dynamic uncertain causality graph extended to also include classification

Artificial intelligence (AI)-aided general clinical diagnosis is helpful to primary clinicians. Machine learning approaches have problems of generalization, interpretability, etc. Dynamic Uncertain Causality Graph (DUCG) based on uncertain casual knowledge provided by clinical experts does not have these problems. This paper extends DUCG to include the representation and inference algorithm for non-causal classification relationships. As a part of general clinical diagnoses, six knowledge bases corresponding to six chief complaints (arthralgia, dyspnea, cough and expectoration, epistaxis, fever with rash and abdominal pain) were constructed through constructing subgraphs relevant to a chief complaint separately and synthesizing them together as the knowledge base of the chief complaint. A subgraph represents variables and causalities related to a single disease that may cause the chief complaint, regardless of which hospital department the disease belongs to. Verified by two groups of third-party hospitals independently, total diagnostic precisions of the six knowledge bases ranged in 96.5–100%, in which the precision for every disease was no less than 80%.


Introduction
AI-aided clinical diagnosis can help clinicians working at primary hospitals and clinics to avoid or reduce misdiagnoses and missing diagnoses. The ML models based on processed big data are well known, e.g., convolutional neural network (CNN), deep neural network (DNN), recurrent neural network (RNN) and Bayesian network (BN) (Fukushima and Neocognitron 1982;Lo et al. 1995;Russakovsky et al. 2015;Szegedy et al. 2015;Brosch et al. 2016;Shin et al. 2016; Duraisamy and Emperumal 2017; Bardou et al. 2018;Christodoulidis et al. 2017;Lin et al. 2018;Er et al. 2016;Ceccon et al. 2014), etc. However, most of them are applied to solve image and speech recognitions. AI-aided general clinical diagnosis is really needed in practice but is relatively rare. References (Wu et al. 2018) and (Liang et al. 2019) report two deep learning models that can perform general clinical diagnoses. However, it is not clear whether or not they have the same precisions when being applied in different application scenarios as being achieved in the testing dataset, which is called the generalization problem, although some comparisons between the models and clinicians have been made. The real world (primary level) applications are not qualified to judge the precisions, because of lacking the medical check measures, professional knowledge and experience. It is reasonable to doubt the generalization ability of the two models described in Wu et al. (2018) and (Liang et al. 2019), because the essence of deep learning is to establish a nonlinear mapping between the input (combinations of variable states including unknown states) and output (diseases) by adjusting the structure and parameters of the neural network. When the actual application scenario is different from the dataset in terms of sample space, which is common, the precision may drop, leading to the generalization problem.
In the general clinical diagnoses, there are at least 10,000 input variables. Each variable has at least 3 states: negative, positive and unknown. Thus, the number of state combinations of input variables are at least 3 10,000 = 1.6 × 10 4771 , a huge number. The training and testing datasets cover only a small part of these state combinations, which is called the training and testing sample space (TTSS). The real application sample spaces (RASSs) are usually different from TTSS, while different application scenarios may have different RASSs. Thus, the mapping in TTSS may be different from that in RASSs. How the trained model based on TTSS can be applied in different RASSs needs to be verified. In fact, our experience is that the diagnostic precision drops significantly in real applications.
Moreover, how to ensure the model be able to diagnose the rare diseases is another problem, where the common diseases are relatively easy to be diagnosed even by primary clinicians and the rare diseases are really needed to be differentially diagnosed by the AIaided models, which means that we need not only the high precision in total but also the high precision for each disease including rare diseases. Note that the common diseases are the majority in the training and testing datasets and the rare diseases may be marginalized in ML models, while the high precisions can still be achieved in the testing dataset due to the high proportion of common diseases. For the example of arthralgia shown in Table 4 in this paper, five common diseases (Gout, SLE, Osteoarthritis, RA and Trauma) have 95.8% case records in group 1, which implies that once the five diseases are correctly diagnosed, the total diagnostic precision will be 95.8%, even the diagnoses for the other 18 diseases are all incorrect. In practice, the correct diagnoses for the other 18 diseases are really needed.
Furthermore, because of the black box problem of deep learning models, the two models described in Wu et al. (2018) and (Liang et al. 2019) lack interpretability.
To solve these problems, the model based on the domain knowledge/causality is needed, because domain knowledge has invariance, which is essentially different from ML models basing on big data.
It is noted that the existing DUCG model is entirely based on causalities. However, in many practical cases, some non-causal knowledge representations and associated probabilistic reasoning are needed. For example, when representing an uncertain causal relationship between a disease and a blood routing test, it is desirable to use the blood routing test as an inspection type variable, and to use the results of the test as its consequential variables. However, there is no direct causal relationship between the disease and the blood routing test itself, because the blood routing test is not the consequence of the disease. What actually exists is the uncertain causal relationship between the disease and the blood routing test results, i.e. the indicators. On the other hand, such causalities cannot be represented intuitively without the blood routing test variable, where the test is an action to find the consequences/indicators of diseases. In the hierarchical domain knowledge representation, the action is actually a classifier between the disease and the indicators. To solve this problem, the classification type (C-type) variable along with its unit matrix I drawn as its input directed arc is introduced as illustrated in Figs. 1 and 2.
It is proved in Sect. 3 that the DUCG without C-type variables is equivalent to that with them in the sense of inference. The former is resulted from the latter and is really used in the invisible DUCG inference, because the former is obviously easier to compute than the latter, while the latter remains as the visible knowledge base for better DUCG construction and interpretability.
Six DUCG knowledge bases including C-type variables for clinical diagnoses were constructed by clinical experts at Peking Union Medical College Hospital, Beijing Hospital, Xuanwu Hospital and Youan Hospital of Capital Medical University, Beijing, China. The diagnostic precisions were verified by two groups of third-party hospitals. Group 1 was Suining Central Hospital, Sichuan, China, which has a long history of more than 100 years. Group 2 was six hospitals officially organized as a whole by Chongqing Science and to each other. Therefore, the generalization ability of DUCG were verified, which means that the DUCG-aided general clinical diagnoses can be applied in any application scenario without generalization problem that usually exists in ML models. Section 2 introduces DUCG briefly. Section 3 presents the C-type variable methodology. Section 4 applies the C-type variable methodology to the diagnoses of six chief complaints. Two groups of third-party verifications were made. Section 5 summarizes this paper.

Brief Introduction to DUCG
DUCG is a newly developed model that can explicitly and graphically represent causalities with uncertainties and perform probabilistic reasoning. In clinical diagnoses, it can easily represent various complex and uncertain causalities between diseases (root causes) and risk factors, symptoms, signs, image findings and laboratory results, etc., namely the observations or evidences. Conditional on the evidences collected for each patient, DUCG calculates the conditional probabilities of the found possible diseases, and thus performs intelligent diagnoses with clear casual and mathematical meanings (Zhang et al. 2021). To have the primary clinicians take responsibilities instead of DUCG, DUCG's strong interpretability in knowledge bases, diagnostic results and computation process are very important.
DUCG is composed of two sub-models: single-valued DUCG (S-DUCG) and multivalued DUCG (M-DUCG). The so called single-valued means that only the causes of the true state of a child variable can be specified, while the false state is the complement of the true state. The so-called multivalued means that the causes of every state of a variable can be specified separately (Zhang 2012). In this paper, only M-DUCG is addressed and therefore is abbreviated as DUCG. Figure 3 is an illustrative DUCG. The symbols are described in Table 1. The basic idea of the DUCG model is shown in Fig. 4.
For simplicity, the subscript j i in Fig. 3 is abbreviated as j. The rectangular node B n is the basic or root cause event variable, without any input, and B nj is state j of B n . The circular node X n is the result event variable, X nj is state j of X n , and X n can be both the cause/input and the consequence/output of other nodes. The pentagonal node D n is the default or unknown cause event of X n or X nj , without any input, and its occurrence probability is defined as 1. The hexagonal node SX n is a special X-type event variable, and SX nj is state j of SX n . When SX nj occurs, where j ≠ 0 and 0 indicates normal state, a particular disease or variable state must be true with a certain confidence θ, and therefore SX nj is called gold-criterion in clinical Its state division and definition are exactly the same as B n , and only the state probability distribution of BX n may be different from B n (affected by the associated risk factors). The logic gate variable G n represents the various state combinations of the input variable and its input is connected with a directed arc . The double line logic gate SG n represents various state combinations of the associated risk factors (such as age, gender, etc., represented as X-type variables), changing the state probability distribution of B n as that of BX n . The output of SG n is BX n , through a double-line directed arc that zooms in or zooms out the state probabilities of B n as that of BX n according to the combinations of risk factors. The reversal logic gate RG n drawn as represents that the input of RG n may cause some combinations of output. The single-line directed arc represents the causality matrix F n;i = (r n;i /r n )A n;i , where A nk;ij is the element in the matrix A n;i , A nk;ij is the virtual random event that the parent event V ij (V ∈ {B, X, D, G, BX, SX}) causes the child event X nk (including SX nk ) directly. r n;i > 0 is the strength of the causal relationship between V i and X n , r n ≡ ∑ i r n;i . The dashed directed arcs or is conditional or respectively, conditional on condition event Z n;i , where n indexes the child/output and i indexes the parent/input. When Z n;i is true, or becomes or respectively; otherwise, or is eliminated. In DUCG, the upper-case letter represents event or event variable and the corresponding lower-case letter represents the probability, i.e., b nj = Pr{B nj }, bx nj = Pr{BX nj }, x nj = Pr{X nj }, sx nj = Pr{SX nj }, g nj = Pr{G nj }, rg nj = Pr{RG nj }, d n = Pr{D n }≡1, z n;i = Pr{Z n;i }, f nk;ij = Pr{F nk;ij } = (r n;i /r n )a nk;ij , a nk;ij = Pr{A nk;ij }, f n;i = Pr{F n;i }, a n;i = Pr{A n;i }, etc. The indices before ";" are for the child and the indices after ";" are for the parent. The {a-, b-, r-}-type parameters are usually given by domain experts based on statistics or their experience. Note that the main formulas of DUCG are in the form of numerator divided by denominator (see (Zhang et al. 2021) for details). Therefore, only the relative values of parameters are sensitive, not the absolute values, which means that the parameters are easy to be given by clinical experts.
The variable index is inside the symbol without the letter of the variable type. The symbol shape represents the variable type. State index 0 denotes the normal/negative state, while the other states indicate abnormal/positive states. Moreover, V nj ∈ {X nj , SX nj , RG nj }, j ≠ 0, is assigned with attention parameter ε nj ≥ 1 that quantifies the attention of domain experts to explain the cause of V nj . If no cause can be found, a virtual D n drawn as dashed pentagon will be assigned as the default cause of V nj according to the DUCG simplification rule 10 listed in the Appendix of Zhang et al. (2021), and a nj;nD between V nj and the virtual D n is defined as a nj;nD = 1/ε nj , in which the index D indicates the invariable state of D n . In this case, V nj is called the isolated evidence. Also, 0 < θ nj ≤ 1 is assigned to SX nj to quantify the confidence that the specific disease does exist given SX nj , where j ≠ 0. Ref. (Zhang et al. 2021) gives more details.
As shown in Fig. 4, the above events and probabilities satisfy Eqs.
(1) and (2) respectively: In which, F n;i ≡(r n;i /r n )A n;i and f n;i ≡(r n;i /r n )a n;i . F nk;ij ≡(r n;i /r n )A nk;ij , f nk;ij ≡(r n;i /r n )a nk;ij and a nk;ij = Pr{A nk;ij }, where F nk;ij , f nk;ij , A nk;ij and a nk;ij are members of F n;i , f n;i , A n;i and a n;i respectively. In the case of only one input to X n , F n;i = A n;i and f n;i = a n;i . (1) Equation (1) can be repeatedly applied until the expression becomes the sum-of-products composed of {BX-, D-, A-, r-}-type events and parameters, which is the event expanding process, and then the probability of the expression can be calculated by replacing the upper-case letters with the corresponding lower-case letters as illustrated in Eqs. (1) and (2). The state probability distribution of BX k can be calculated from bx km = sa km;kj b km , where sa km;kj is the zoom factor transforming b km to bx km (see (7) in Zhang et al. (2021) for details). Then, BX-type variables can be treated as root causes/diseases.
The evidences can be written as E = ⋂ i X ij . The diagnostic inference is to calculate the conditional probability Pr{BX kj |E} = Pr{BX kj E}/Pr{E}, BX kj ∈ S H , S H is the possible disease set conditional on E. We need to expand E as the sum-of-products composed of {BX-, D-, A-, r-}type events and parameters. In which, logic computations such as absorption and exclusion and the r-type parameter calculation are applied. In general, Eq. (3) is satisfied, in which "1" denotes complete set.
Based on Eq.

Theorem 1
Which means that the causality chains in DUCG are self-relied. Therefore, we do not need to specify all parameters in a n;i . For example, we may have Eq. (5).
Which means that we can specify only the parameters in concern. In other words, for a variable whose state is normal (indexed by 0), we do not care about the causality and probability related to this state. What we are interested in is the causality between abnormal states. For example, a certain disease B ij (j ≠ 0) causes a certain abnormal state X nk (k ≠ 0), where X n may represent a medical check result. We also do not care about the unconditional probability b i0 (i.e. without disease). That is to say, b i0 , a n0;ij and a nk;i0 in {a-, b-}-type matrices do not need to be given. Usually, we express b i0 , a n0;ij and a nk;i0 as " − " or blank, which is equivalent to null set in expanding E.
The DUCG diagnostic inference is to calculate the probability distribution of BX i affected by risk factors observed for a patient and calculate Pr{BX kj |E} = Pr{BX kj E}/Pr{E}, j ≠ 0, in which BX kj ∈ S H is composed of the abnormal states of BX-type variables. S H is the set of possible diseases conditional on E, and is found by the logical expanding and simplification of DUCG. The appendix in Zhang et al. (2021) lists the DUCG simplification rules. The detailed inference algorithm can be found in Zhang (2012)- (Zhang and Zhang 2016;Zhang et al. 2021).

Introducing C-type Variables to Extend DUCG to Include
Classification Relationship

The basic idea
Consider Fig. 5, where B 1 represents pituitary prolactin adenoma, X 2 indicates whether thyroid function is normal, X 3 indicates whether TSH (Thyroid Stimulating Hormone) is low, and X 4 indicates whether FT3 (free triiodothyronine) is low. In Fig. 5, the hierarchy and relationships are clearly represented. It also embodies the medical knowledge of the disease, that is, pituitary prolactinoma (B 1 ) may cause thyroid function abnormal (X 2 ), and these abnormalities are manifested as TSH (X 3 ) and FT3 (X 4 ). However, problems are exposed when assigning values to the a-type matrices for each directed arc. Since A 2;1 is a causal event matrix between pituitary prolactinoma B 1 and thyroid function X 2 , a 2,1;1,1 should be the probability of thyroid dysfunction caused by pituitary prolactinoma. Since A 3;2 is a causal event matrix representing the causality from thyroid function X 2 to TSH (X 3 ), a 3,1;2,1 should be the probability that thyroid dysfunction (X 2,1 ) triggers low TSH (X 3,1 ). Similarly, a 4,1;2,1 should be the probability of thyroid dysfunction (X 2,1 ) triggering low FT3 (X 4,1 ). But this is obviously wrong, because the real causal relationship is: X 3,1 and X 4,1 are the causes of X 2,1 , not the opposite. At the same time, there is no direct causal relationship between B 1 and X 2 . It is an indirect causal relationship with X 2 through X 3 and X 4 , and the direction is opposite. According to the expression in Fig. 5, the inference results of DUCG and the diagnosis results of clinical experts will be inconsistent, because the knowledge of the clinical experts is actually as shown in Fig. 6. In other words, Fig. 5 is incorrect. This example illustrates how easy the mistake may occur without classification variables.
To solve this problem, we introduce C-type variable along with I matrix as follows: Definition 1 The state partition of the classification variable C n drawn as is identical to its parent variable i, F n;i is fixed as a unit matrix I n;i = , and F m;n is actually the causality between cause variable i and consequence variable m.
Equivalently, f n;i = I n;i , because f n;i = Pr{F n;i } = Pr{I n;i } = I n;i . Note that "1" in DUCG stands for both numerical one and complete set. With this definition, Fig. 6 can be better represented as Fig. 7. In Fig. 7, according to Definition 1, f 2;1 = I 2;1 , and f 3;2 and f 4;2 equal to f 3;1 and f 4;1 in Fig. 6 respectively.
Theorem 2 In the sense of inference, the DUCG with C-type variable along with its corresponding I matrix is equivalent to the DUCG without C-type variables.
Theorem 2 constitutes the inference algorithm of the DUCG with C-type variables, i.e. we can use the C-type variables along with I matrices to construct the DUCG with C-type variables, while the corresponding DUCG without C-type variables is really used in the DUCG inference. The latter is resulted from the former by (1) the elimination of C-type variables along with I directed arcs and (2) the connections between the cause and consequences of the C-type variable in the former. i.e., simplify Fig. 7 as Fig. 6. The inference equivalence is proved in follows: Proof First, we prove a simple case, i.e. Figures 6 and 7 are equivalent in inference. For this, we only need to prove that Pr{B 1 X 3 X 4 } in Fig. 6 and in Fig. 7 are equal. According to Fig. 6 and Eq. (1), we have.
In which the operator "*" indicates to multiply the corresponding elements in the two matrices as defined in Corollary 15 1 in Zhang et al. (2014). According to Fig. 7 and Eq. (1), we have
The last step in Eq. (7)  Obviously, the above proof can be applied in the case when the child variables of B 1 in Fig. 6 and C 2 in Fig. 7 are increased, which covers all cases of theorem 2. ■ According to Theorem 2, we can use Fig. 7 to express the medical hierarchical knowledge in the DUCG editor, automatically change Fig. 7 as Fig. 6 in the invisible inference, and perform the inference according to Fig. 6.
More details are addressed in follows.

Single parent
In Fig. 8, C 3 has more than one parent, where the real causalities that we want to represent are as shown in Fig. 9. However, Fig. 8 may cause some trouble.
Thus, Fig. 8 is changed as Fig. 10, in which C 3 = C 4 . As defined, f 5;3 , f 5;4 , f 6;3 and f 6;4 in It is seen that Eq. (10) equals to Eq. (9), which means that Fig. 10 is equivalent to Fig. 9 in the sense of inference. In conclusion, Fig. 8 is not allowed and Fig. 10 should be used.

Normalizing paths
In practice, the repeated paths shown in Fig. 13 are possible. These repeated paths can be merged, that is, Fig. 13 can be calculated according to Fig. 14. Figure 14 merges C 8 and C 9 in Fig. 13 into C 10 . The calculation of the merged parameters is as follows: First, I 8;4 and I 9;4 in Fig. 13 are merged as I 10;4 in Fig. 14. Next, F 5;10 in Fig. 14 is equal to the sum of F 5;8 = (r 5;8 /r 5 )A 5;8 and F 5;9 = (r 5;9 /r 5 )A 5;9 in Fig. 13 as shown in Eq. (11).

Theorem 3 Once a group of C-type variables share a same child variable and a same parent variable, this group of C-type variables can be merged as a single C-type variable along with its single I matrix. The merged F-type variable as the only output of the merged C-type variable is the sum of the group of F-type variables as the outputs of the group of C-type variables.
(11) F 5;10 = F 5;8 + F 5;9 f 5;10 = f 5;8 + f 5;9 Proof Suppose the group of C-type variables are C i , i ∈ S C . They share a child variable X n and a parent variable V m . Let C j be the merged C-type variable, j ∉ S C , and F n;j be the merged F-type variable that is the single output directed arc of the merged C-type variable. According to Eq. (1) and based on the original group of C-type variables, we have.
Also, according to Eq. (1) but based on the merged C-type variable, we have Let Eq. (12) equal to Eq. (13), we have Of course, the merged DUCG with C-type variable can be replaced in inference by the one without C-type variable.

The Third-Party Verifications
To verify the diagnostic precisions and generalization ability of DUCG, we constructed six DUCG knowledge bases according to six chief complaints respectively, in which the C-type variables were used.

Construction of DUCG with C-type variables
The construction steps are as follows.
Step 1 Determine the diseases that may cause the chief complaints across hospital departments, which means that the diseases are not limited in a specific hospital department and the triage may not be necessary, although the DUCG triage methodology has been presented in Bu et al. (2020).
Step 2 Construct the subgraph for every disease determined in step 1 as illustrated in Figs. 15 and 16 in which the symbols are described in Table 2. In subgraphs, the interpretability of DUCG knowledge bases is well demonstrated.
Step 3 Synthesize the subgraphs under a same chief complaint as a DUCG by fusing the same variables in different subgraphs. For example, the synthesized arthralgia DUCG is as shown in Fig. 17.

Verifications, precisions and comparisons
After the DUCG construction, we tested its correctness carefully by using the case records in the hospital information system (HIS) of the knowledge base constructor's hospitals as illustrated in Ref. (Zhang et al. 2021). Then, two groups of third-party verifications for six DUCG knowledge bases were performed independently to verify the generalization ability and diagnostic precisions of DUCG. The verifications done by 13) X n = F n;j C j = F n;j I j;m V m = F n;j V m (14) F n;j = ∑ i∈S C F n;i 1 3

Fig. 15
The subgraph with C-type variables for lyme disease under chief complaint arthralgia

Fig. 16
The subgraph with C-type variables for polymyositis under chief complaint arthralgia Group 1 contain more diseases than Group 2, because Group 2 did verifications earlier than Group 1 when less diseases were considered. However, the diseases in Group 2 are all included in Group 1, so that we can compare the results of them in a comparable scale. The verifications were performed as follows: 1. Under each chief complaint, search the cases recorded in the HISs of the third-party hospitals for each disease. 2. For the total cases searched for each disease, randomly select no more than 10 cases for test. 3. Check the selected case record to ensure that it is in high quality, otherwise give up the case and make a new selection. 4. Manually input the evidences found in the tested case record into the DUCG cloud platform developed to implement the DUCG methodology. 5. Click the DUCG diagnosis function on the platform to find the possible diseases and rank them according to their conditional probabilities. 6. Compare the diagnosed diseases with the tested case record. If the diagnosed diseases with significant conditional probabilities cover the diseases in the record, and the clinical experts confirm that the diseases not in the record (if any) are also reasonable, label this tested case as "correct," otherwise label it as "incorrect." In fact, because of the uncertain quality, norm and format in the records, it was not easy to judge the correctness. In the confusing cases, discussions with clinical experts were the final means to make judgements. 7. Calculate the precision for each disease by the correct case number divided by the total tested case number of the disease. 8. Calculate the total precision for the DUCG of the chief complaint by the total correct case number divided by the total tested case number under the chief complaint.
As an example, the arthralgia DUCG verified in Group 1 is as shown in Fig. 17. Total 23 diseases are listed in Table 3, in which the 16 diseases in Group 2 are included. The verification results are shown in Tables 4, 5. The results for the other five chief complaints are in Tables 6, 7 , 8, 9, 10 respectively in the Appendix. The total precisions from the two groups are listed and compared in Table 5. Note that the precisions from Group 2 are all 100%. Rheumatic fever* It is seen that the total precisions of the six DUCGs from the two groups respectively are very close to each other and no less than 96.5%, in which the lowest precision for all diseases was no less than 80%. The precision difference of the two groups is no more than |96.53 − 100|% = 3.47%. The mean precision difference of the six chief complaints is:

Verification discussions
For some relatively rare diseases, the case records were less than 10. In such cases, all the qualified records were selected. If there was no case found, the precision of this disease could not be calculated and was not considered in the precision calculations.  We believe that it is enough to test no more than 10 randomly selected cases for a disease in verifications, because 10 cases can cover most knowledge points related to the disease. If the knowledge base is correct, the test results will be correct, regardless of how many cases are tested. Given the total number of cases, if we increase the tested cases for every disease, only the tested cases of common diseases will be increased and the results will likely be correct, while the tested cases of rare diseases will not be increased due to the lack of cases, leading to an improper higher precision in total. The scientific way to perform the verification is to have the numbers of tested cases as equal as possible for all diseases. As a balance, we chosen to have no more than 10 tested cases.
The so-called "rare" disease means that it is rare under the chief complaint. A disease is rare under a chief complaint does not mean that it is also rare under other chief complaints.
It is easy to understand that only the discharged patient case records meet the highquality requirement (the recorded information was sufficient and diagnosis was correct) for the third-party verifications. We did not use the outpatient case records for verifications, because it was hard to judge whether the outpatient diagnoses were correct or not. In general, the case record for a discharged patient contains more medical information than the case record of an outpatient. How to verify the diagnostic precision of DUCG conditional on less information for an outpatient is another issue and will be addressed elsewhere.

Summery and discussions
The C-type variables are used only in the DUCG construction. Without C-type variables, the DUCG knowledge base is hard to be well organized and interpreted, and mistakes occur easily. The inference is based on the DUCG without C-type variables, which is automatically generated from the DUCG with C-type variables and is invisible.
Two groups of independent verifications for the six DUCG knowledge bases corresponding to six chief complaints verify that DUCG has strong generalization ability, which means that DUCG can be applied in any real application scenarios with almost the same precisions. This is because of the knowledge invariance.
The diagnostic interpretability of DUCG is provided by the generated sub-DUCG for each possible disease. A sub-DUCG is for a possible disease, in which all the evidences and causalities including the connected state-known variables and the isolated state-abnormal variables to this possible disease are displayed to the users in a graphical manner with text. More details can be found in Zhang et al. (2021).
DUCG does not deal with AI-aided medical image examination and medical sound recognition. They could be done by ML models. Hence, the relationship between DUCG and ML is cooperation.
In real applications, the AI-aided system should be able to recommend next medical checks based on the known information to collect further information for more accurate diagnosis. This will be discussed in another paper.

Table 6
Diagnostic precisions of DUCG for dyspnea, in which cases are randomly selected not more than 10 for each disease and "*" indicates only in Group 1   Table 7 Diagnostic precisions of DUCG for cough and expectoration, in which cases are randomly selected not more than 10 for each disease and "*" indicates only in Group  Bile duct infection