智能世界的建模与诊断
统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比)。
人工智能 自动推理 抽象模型 数值分析
王楠 欧阳丹彤 孙善武
吉林财经大学管理科学与信息工程学院 长春 130117;物流产业经济与智能物流吉林省重点实验室(吉林财经大学) 长春 130117;符号计算与知识工程教育部重点实验室(吉林大学) 长春 130012; 符号计算与知识工程教育部重点实验室(吉林大学) 长春 130012 吉林财经大学管理科学与信息工程学院 长春 130117;物流产业经济与智能物流吉林省重点实验室(吉林财经大学) 长春 130117
国内会议
北京
中文
1954-1962
2013-07-31（万方平台首次上网日期，不代表论文的发表时间）