聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 基于模型诊断的形式化方法
出处:第六届中国人工智能职合学术会议
摘要:本文对基于模型诊断的一般过程进行了形式化,论证了它与本原蕴涵/蕴涵式的直接关系,从而将该理论结果与实现... 显示全部
关键词: 溯因符号 本原蕴涵 蕴涵式 基于模型诊断
找到1条结果
`