描述逻辑中基于边界的模块提取方法

模块化是优化本体推理的一种有效的手段,提出了一种针对推理的模块提取方法,该方法通过分析符号解释域的边界和公理之间的关系计算出基于边界的模块。文中给出该基于边界的模块的理论基础,并证明了其模块的正确性。在评估实验中,通过与最优模块和符号模块进行比较,基于边界的模块和最优模块大小很接近,非常适合对推理进行优化。     

基于Voronoi图的定性路径

定性路径是定性空间推理的一个基本概念。给出了一个基于Voronoi图的定性路径表示与推理方法。该方法应用Voronoi图的邻近关系来表示定性位置和定性路径,即用运动点所在Voronoi区域的邻域来表示定性位置,用运动点所经过的定性位置序列来表示定性路径。设计并实现了一个定性路径推理算法,基于初始Voronoi图及不同时刻所有Voronoi区域的边数来动态更新Voronoi图邻近关系,可识别出运动点并找出定性路径。实验结果表明,该方法是可行的。     

亲属关系的逻辑意义及其自动推理

用一阶谓词逻辑设计了一个亲属关系的自动推理模型。首先,把亲属关系（称谓）视为谓词,相关的人物视为变元,把亲属关系和有关性质用“或”、“与”及“逆”等运算符号联结成亲属关系表达式。然后,选取11种基本的亲属关系作为亲属基元,并构造亲属基元转换和化简的九大定理,用以描写和定义其他一百多种亲属关系,从而形成亲属关系转换的核心知识库。最后,给出一种简洁的亲属关系转换算法,主要包括连接、求逆、化简和组配等运算。     

基于事例推理的安全评价报告审核系统研究

基于事例推理原理,对安全评价报告审核系统进行研究,采用已有的安全评价报告审核案例为基础,提供一种简化知识获取、提高安全评价报告审核效率和质量、进行知识积累和重用的思路和方法。     

Modeling the effects of argument length and validity on inductive and deductive reasoning.

In an effort to assess models of inductive reasoning and deductive reasoning, the authors, in 3 experiments, examined the effects of argument length and logical validity on evaluation of arguments. In Experiments 1a and 1b, participants were given either induction or deduction instructions for a common set of stimuli. Two distinct effects were observed: Induction judgments were more affected by argument length, and deduction judgments were more affected by validity. In Experiment 2, fluency was manipulated by displaying the materials in a low-contrast font, leading to increased sensitivity to logical validity. Several variants of 1-process and 2-process models of reasoning were assessed against the results. A 1-process model that assumed the same scale of argument strength underlies induction and deduction was not successful. A 2-process model that assumed separate, continuous informational dimensions of apparent deductive validity and associative strength gave the more successful account. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

基于敏度分析和知识推理的产品协同决策

在对产品设计进程组成元素及其信息关联关系描述的基础上,针对设计中的连续和离散问题,提出基于敏度分析和知识推理的产品协同设计决策方法,给出几种敏度分析和知识推理方法及基于敏度分析和知识推理的产品协同决策进程。提出和实现了基于Agent的软件系统结构,以数控机床进给伺服系统的快速性耦合设计任务和同轴减速器零部件设计任务为例对协同决策进程及软件系统进行了说明。证明上述方法和系统可以快速地实现设计参数、上下游耦合设计任务之间的冲突检测和消解,减少设计迭代,提高机电类产品设计、协商的效率。     

基于实例面向产品的工艺信息推理系统

利用基于实例推理技术,开发了基于实例面向产品的工艺信息推理系统.详细介绍了系统实现的关键技术:面向产品的工艺信息的表达、搜索、复用、校验和保存.实际应用表明,基于实例的推理技术提高了推理系统的效率,缩短了产品的研制周期.     

基于泛逻辑学的概率命题逻辑的研究与分析

概率逻辑是不确定推理的一个重要逻辑基础,但其目前还不太完善．泛逻辑学是何华灿教授在探索各种不确定性问题求解中建立起来的一种新的柔性逻辑体系．理论上,概率逻辑仅是泛逻辑学的一个特例．在对目前比较典型的几种概率逻辑模型进行分析的基础上,基于命题泛逻辑学的思想和方法,指出了概率命题逻辑中存在的一些主要问题,探讨了解决这些问题的思路与方法。     

基于案例推理的工作流异常处理研究

对工作流的异常和案例推理(Case-Based Reasoning,简称CBR)的机制进行了介绍,给出了一个应用CBR技术进行异常处理的工作流模型,并研究了应用CBR方法处理工作流异常的关键技术。     

集成模糊数学与范例推理的变压器故障诊断方法

提出一种在范例推理框架上集成模糊数学的故障诊断方法,并进一步建立起可应用于电力变压器故障诊断的实用模型。由于较好地将模糊数学理论融入到了范例推理过程中,该模型可期望具有较高的诊断准确率和实用价值。