采用与，或，非，蕴含等逻辑算子的推理，在条件不充足的情况下，很难得出有用的结果，我开始做了一个简单的推理机，但是在如下情况中将难以推理，
例如 A->BV C V D 已知A发生，只能得到B V C V D发生 于是就很继续推理下去
此时可采用基于可信度的推理，
把上述改成 A->B V C V D (各自的可信度为0.33) 那么已知A发生的可信度为1，B,C,D的可信度为0.33然后可以继续推理下去
这五天的成果放在这里，https://files.cnblogs.com/feathersky/ExpertDiagnose.rar
可以完成基于规则，可信度的非单调推理，有兴趣者可以下载试试（C# 2008)
本人准备做个免费的疾病诊断专家系统，呵呵，可惜专家知识库一个人做不出来 嘿嘿
