Roux M, Fieschi M, Sambuc R, Gouvernet J, San Marco J L, Simonin R
Pathol Biol (Paris). 1978 Feb;26(2):107-15.
Medical diagnosis assistance is described in terms of step by step logical reasoning methods. Boolean functions, possibly connected with phi-fuzzy functions, and a theorem proving algorithm may be used at each step. The choice merely depends on the accuracy of diagnosis at a given step. Numerical results based on a study of patients with thyroid diseases are presented.
医学诊断辅助是根据逐步的逻辑推理方法来描述的。布尔函数,可能与φ-模糊函数相关联,以及一种定理证明算法可用于每一步。选择仅取决于给定步骤的诊断准确性。给出了基于对甲状腺疾病患者研究的数值结果。