基于遗忘的逻辑程序诊断推理研究及应用2013年1月1资助来源: 贵州省长征资金项目编号: (2012)62资助金额: 5.5万元项目周期: 2013.01 - 2015.12项目简介基于遗忘的逻辑程序诊断推理研究及应用。诊断推理 遗忘 逻辑程序