本体与规则整合的推理方法研究及设计

在给出混合知识表示的基础上,提出基于Tableau演算的变种算法Model-Tableau,将其与以SLD原理为基础的Top-down算法混合,给出知识查询的推理方法设计。最后,给出了算法相关证明和系统原型。结果表明:该方案丰富了语义Web的知识表示能力,有效解决了由本体层和规则层结合所产生的查询推理问题。     

An Autonomous Navigation Methodology for a Pioneer 3DX Robot

Autonomous navigation is a complex challenge that involves the interpretation and analysis of information about the scenario to facilitate the cognitive processes of a robot to perform free trajectories in dynamic environments. To solve this, the paper introduces a Case-Based Reasoning methodology to endow robots with an efficient decision structure aiming of selecting the best maneuver to avoid collisions. In particular, Manhattan Distance was implemented to perform the retrieval process in CBR method. Four scenarios were depicted to run a set of experiments in order to validate the functionality of the implemented work. Finally, conclusions emphasize the advantages of CBR methodology to perform autonomous navigation in unknown and uncertain environments.     

基于可拓激励推理的冲压工艺方案决策研究

冲压工艺方案决策是冲模设计中的关键部分之一,将可拓激励推理方法引入到冲压工艺方案决策问题中,首先对冲压工艺用可拓信息物元表示,接着介绍了可拓激励算法,再给出了可拓激励推理的冲压工艺方案决策的实现过程,最后给出了一个冲压工艺决策的实例.     

供应链伙伴关系诊断管理研究

为监控供应链节点企业之间信任的合作状态,提出了供应链伙伴关系诊断管理.应用集成规则推理、案例推理和支持向量机,共同应对供应链伙伴关系诊断管理问题.首先,描述了供应链伙伴关系诊断管理的概念.然后,进行了供应链伙伴关系诊断运作的详细分析.在其基础上,综合规则推理、案例推理和支持向量机的优势,构建了一种新型的混合推理方法,以支撑供应链伙伴关系协同诊断.建立了供应链伙伴关系诊断混合推理的过程与结构.最后,在节点企业意愿信任诊断中应用了该管理过程.     

一种模糊推理方法在冷压工艺设计中的应用

研究了冷挤压工艺设计系统的模糊推理机制.由于冷挤压工艺设计领域知识存在不确定性和模糊性等异构性特点,运用传统单一的不确定性推理方法不能很好的解决系统的推理问题.本文综合分析和利用各种不确定性推理方法的优点,提出了广义可信度的概念和一种基于广义可信度的模糊推理方法,为冷挤压工艺设计系统的研究与开发奠定了基础.     

面向维修性CAD的支持功能设计与集成方法

如何建立维修性设计支持模块是维修性CAD平台技术面临的核心问题。根据维修性设计的特点深入研究了维修性设计支持模块的设计集成方法,构建了包含信息获取层、知识推理层、指导应用层的模块层次化模型,并详细论述了模块各层次的实现方法。通过研究设计支持模块中维修性设计信息的组织表示问题,提出了基于维修性信息结点结构的推理方法。最后通过VB和COM编程形成了基于CATIA软件的维修性CAD平台,实现了机架、箱体类零件的维修性辅助设计支持功能。     

An approximate reasoning method in Dezert-Smarandache Theory

With the increment of focal elements number in discernment framework, the computation amount in Dezert-Smarandache Theory (DSmT) will exponentially go up. This has been the bottle- neck problem to block the wide application and development of DSmT. Aiming at this difficulty, in this paper, a kind of fast approximate reasoning method in hierarchical DSmT is proposed. Presently, this method is only fit for the case that there are only singletons with assignment in hyper-power set. These singletons in hy-per-power set are forced to group through bintree or tri-tree technologies. At the same time, the assignments of singletons in those different groups corresponding to each source are added up respectively, in order to realize the mapping from the refined hyper-power set to the coarsened one. And then, two sources with the coarsened hyper-power set are combined together according to classical DSm Combination rule (DSmC) and Proportional Conflict Redistribution rule No. 5 (PCR5). The fused results in coarsened framework will be saved as the connecting weights between father and children nodes. And then, all assignments of singletons in different groups will be normalized respectively. Tree depth is set, in order to decide the iterative times in hierarchical system. Finally, by comparing new method with old one from different views, the superiority of new one over old one is testified well.     

基于蚁群算法的产品拆卸序列规划方法

拆卸是回收的前提,为了得到最大的回收效益,对拆卸序列进行规划,得到最优的拆卸序列.根据拆卸的特点构建适合计算和优化的产品拆卸混合图模型,该模型描述了零部件之间的连接关系和优先关系.然后通过几何推理方法产生所有可行的拆卸序列,建立目标函数并构建适合拆卸序列规划的蚁群算法:设计了满足连接关系和优先关系的可拆卸零件搜索空间,得到最优或接近最优的拆卸序列.最后通过实例验证了该方法的实用性和可行性.     

推理机制与推理方法

推理是人们在长期社会实践中，对客观事物的联系与关系的一种反映，可以从已有的知识推导出新的知识。所以，推理也是人类特有的智能活动，是逻辑演绎的过程。一般说来，推理包括两种判断，一种是已知的判断，称为前提；另一种是由已知的判断推出的新判断，称之为结论。一、推理的机制和推理的方法根据人脑思维方式上的特点，可以把推理分为演绎推理、归纳推理、类比推理等。演绎推理是一种充分置信报理，而归纳推理则不同，它是主观上不充分置信推理，当然也有一种可认为是部分地转移置信度的情况，而从推理过程的方向上，即前提与结论之间…