本文以反绎推理为核心,从几个侧面探讨了一系列有关的问题。
基于模型诊断的两种有代表性的逻辑方法是基于一致性诊断和溯因诊断。
论关联理论语用推理的溯因特征
股骨转子间外展延长截骨术治疗大龄先天性髋脱位
拓展溯因逻辑程序设计的辩论理论基础
基于反绎推理的券商风险控制专家系统研究