[01123937]基于模型诊断中求解冲突集的系统
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
登录后向技术服务商咨询
发布技术需求
服务免费，交易还可领红包哦
技术详细介绍
实现了基于SE—Tree的求解冲突集、基于ATMS的求解所有极小冲突集的新方法和其它的改进方法。大大提高了冲突集的求解效率。技术成熟度：本系统已经实现，并能成功的用在模型诊断中求解冲突集.技术优势及创新点 基于模型诊断是一种不依赖于专家经验的高效诊断方法，其关键步骤之一就是冲突识别。本系统依据General Diagnostic Engine（GDE）思想并基于Assumption-based Truth Maintenance System（ATMS）技术实现了一种产生所有极小冲突集的方法，并通过定义负节点和新的规则解决了ATMS 在使用时完备性丢失的问题。该方法通过环境的传播进行增量的计算，具有正确性、完备性、一致性、极小化的特点，经实验证明效率较高，具有较强的通用性，并且易于实现和扩展。