模型抽象及自解释的诊断系统研究

模型化是基于模型系统的一个关键问题。本课题研究约束信息控制的模型构造过程；以模型变换算子为基础，建立诊断任务的模型抽象过程；用溯因推理形式化模型构造，奠定自解释的诊断系统的逻辑基础；在辨论逻辑框架下比较有代表性的模型，探讨模型间的转换问题；以电子传输网为背景，研制电网故障诊断实验系统。