面向装配规划的领域知识表示及推理研究

项目名称： 面向装配规划的领域知识表示及推理研究

项目编号： No.60963010

项目类型： 地区科学基金项目

立项/批准年度： 2010

项目学科： 轻工业、手工业

项目作者： 古天龙

作者单位： 桂林电子科技大学

项目金额： 23万元

中文摘要： 以数字化产品、虚拟制造等领域中装配序列生成的高效性和实用性需求出发，研究基于描述逻辑、有序二叉图（OBDD）、规则推理（RBR）和事例推理（CBR）融合的装配规划理论、方法和技术。项目将研究描述逻辑和时序描述逻辑的表示和推理机制，建立适合于装配规划领域知识表示的统一描述逻辑语言UDL；以符号OBDD、代数决策图（ADD）及其操作为基础，研究描述逻辑/时序描述逻辑中Tbox和Abox的符号描述及推理算法，建立UDL中Tbox和Abox的符号OBDD/ADD描述及推理方法；以图结构数据匹配的符号OBDD/ADD算法以及装配体/子装配中的零部件集合、联结关系、接触关系和移动关系的UDL描述为基础，建立装配规划的CBR方法；基于几何推理、RBR及CBR的集成机制和OBDD/ADD高效操作的符号混合推理，开发实现装配序列高效生成的原型系统模块。项目具有源头创新性，对于本领域的技术进步将产生较大影响。

中文关键词： 装配序列规划；描述逻辑；有序二叉决策图；事例推理；规则推理

英文摘要：

英文关键词： assembly sequence planning；description logic；ordered binary decison diagram；case-based reasoning；rule-based reasoning