证据推理理论组合规则评价方法研究

证据推理理论(包括DS理论和DSm理论)是处理不确定信息的重要方法,其组合规则性能的好坏直接影响推理结果.为了有效评价证据推理理论组合规则的性质,总结了基于DS理论的组合规则评价方法存在的问题,并深入分析了问题出现的原因;根据DSm理论的特点,提出了基于DSm理论组合规则的评价方法.该评价方法主要从冲突证据处理、证据时序性和计算量3个方面对基于DS理论的组合规则评价方法进行了改进.     

等价类中弱函数依赖的粗糙集度量

提出了一种较有意义的产生推理通道的推理规则,即等价类中的弱函数依赖(WFDoE),并给出了它的形式化定义.利用粗糙集理论定义WFDoE的置信度和支持度,并给出了从数据库中挖掘WFDoE的推理规则算法.实验结果表明,WFDoE可以有效增强防范推理泄露的能力.     

设计与实现计算机推理软件的研究

计算机专家系统是计算机推理软件的典型代表．本文提出了一种设计与实现计算机推理软件的方法．该方法将领域理论、知识、经验转换成计算机能够存储、表示和应用的知识库,该知识库的内容通过知识转换器完成对知识的识别、分析、数据收集、编码处理、地址分配等,随后转换产生用于逻辑推理数据形式的知识规则库文件．在知识规则库文件的基础上建立一个独立的推理执行系统,它采用精确推理的方法,依据由知识转换器产生的知识规则库文件,实现相应的推理结构确定的逻辑控制,论述了计算机推理软件的设计思想、总体设计及其特点,并介绍了采用计算机编程语言的实现方法．     

基于不精确推理模型的诊断型专家系统研究

介绍了采用VB6 0开发的一个营养诊断专家系统 ,它属于一种诊断型专家系统。该系统的知识表示使用了产生式规则形式 ,推理机采用了规则推理和不精确推理相结合的方法。在不确定性知识处理上 ,应用确定性理论、主观Bayes方法和证据理论分别建立了不精确推理模型 ,使推理机具有较高的准确性。     

基于不精确推理模型的诊断型专家系统研究

介绍了采用VB6.0开发的一个营养诊断专家系统,它属于一种诊断型专家系统.该系统的知识表示使用了产生式规则形式,推理机采用了规则推理和不精确推理相结合的方法.在不确定性知识处理上,应用确定性理论、主观Bayes方法和证据理论分别建立了不精确推理模型,使推理机具有较高的准确性.     

法律逻辑应注重对实质推理的研究——由一个案例引起的思考

实质推理是一种通过对若干存在矛盾冲突的推理前提内容法律价值的分析判定,从而确定该前提内容是否具有优先法律适用效力的推理和证明活动。实质推理最显著的特点是引入了辨证思维的方式,以法律价值判断作为分析判定的前提和基础,注重从推理的内容和形式的统一的角度来研究法律推理,注重用辨证思维的方式来正确处理法律适用中的矛盾冲突。对法律推理的研究,应从法律实践的实际需要出发,打破形式与内容的“楚河汉界”,从形式与内容的有机统一来加强和充实对法律推理的研究,走出“形式逻辑＋法律事例”的简单模式,使法律逻辑的理论研究更好的为法律实践服务。     

证据推理理论近似方法研究

Dempster-Shafer （DS）和Dezert-Smarandache （DSm）证据推理理论是信息融合的有力工具。针对在证据处理过程中证据数量多以及证据组合时焦元爆炸使计算量迅速增大的问题,对证据与焦元控制方法、规则近似方法和蒙特卡洛（Monte Carlo）方法三种方法在DS理论和DSm理论下进行了分类分析,指出了下一步值得研究的三个问题。这为证据推理理论不同近似方法的使用提供了理论参考。     

二值命题逻辑中的伪距离不等式与近似推理

伪距离是二值命题逻辑系统的近似推理研究中的一个基本逻辑度量,而伪距离不等式是研究近似推理问题的一种基本工具.以公式真度为基础,通过真度不等式以及公式到有限理论结论集伪距离的真度表示,给出了二值命题逻辑中与有限理论相关的伪距离的一系列不等式,讨论了伪距离不等式在近似推理中的应用,为二值命题逻辑系统的近似推理研究提供数值化工具和方法.     

基于加权模糊Petri网的无人机自主任务推理决策研究

围绕无人机搜索/攻击自主任务推理决策典型想定,针对无人机自主任务推理决策规则中存在的不同输入命题对结论的贡献和影响不同,对加权模糊Petri网(weighted fuzzy petri nets,WFPN)形式化推理算法进行了深入研究;设计了双机自主搜索/攻击任务推理决策规则集;为进一步适应上述想定下规则集中存在的多条规则的输出命题是相同的情形,对WFPN形式化推理算法进行了改进;应用分层的策略,采用改进的WFPN形式化推理算法和上述设计的规则集,仿真验证了双机搜索/攻击自主任务推理结果的合理性,并降低了推算过程中矩阵的维数。     

逻辑定理在科技管理中的应用

讨论并举例介绍了几种常见的命题逻辑推理,包括假言推理（充分条件假言推理、必要条件假言推理、充分必要条件假言推理）、尽举选言推理（尽举相容选言推理、尽举反相容选言推理、尽举不相容选言推理）、非推导逻辑定理（不矛盾定理、排中定理）等在科技管理中的应用。在科技管理中应用逻辑定理理论会更有利于搞好科技管理工作。     

Inference and contradictory analysis for binary neural networks

A weak-inference theory and a contradictory analysis for binary neural networks (BNNs).are presented.The analysis indicates that the essential reason why a neural network is changing its slates is the existence of superior contradiction inside the network,and that the process by which a neural network seeks a solution corresponds to eliminating the superior contradiction.Different from general constraint satisfaction networks,the solutions found by BNNs may contain inferior contradiction but not superior contradiction.     

Fuzzy logic systems are equivalent to feedforward neural networks

Fuzzy logic systems and feedforward neural networks are equivalent in essence. First, interpolation representations of fuzzy logic systems are introduced and several important conclusions are given. Then three important kinds of neural networks are defined, i.e. linear neural networks, rectangle wave neural networks and nonlinear neural networks. Then it is proved that nonlinear neural networks can be represented by rectangle wave neural networks. Based on the results mentioned above, the equivalence between fuzzy logic systems and feedforward neural networks is proved, which will be very useful for theoretical research or applications on fuzzy logic systems or neural networks by means of combining fuzzy logic systems with neural networks.     

基于神经网络的智能结构控制与试验研究

智能结构是指系统的几何特性和运动特性在运行中能根据工作的要求而进行调整的结构。由于振动激励的复杂性和不确定性使得智能结构控制具有高度的非线性,因此很难建立准确的动力模型,神经网络强大的非线性映射能力和自适应学习、记忆的特点使得它非常适合于解决智能结构控制问题。本文主要对基于神经网络的结构控制理论进行了研究,通过对压电智能结构基于神经网络的反馈控制进一步确定了控制算法和控制效果。最后进行了三层框架结构的振动台试验,通过对压电材料基于神经网络的反馈控制来主动调节压电层的轴向变形,以此对结构施加控制力,试验结果表明各层加速度都得到了有效地控制。     

基于T-S模糊神经网络的汽车故障诊断的研究

该文根据模糊神经网络的特性结合汽车故障诊断的技术,根据监控排放标准,采用个人手持式故障诊断仪获取数据流,T-S模糊逻辑与神经网络结合,训练模糊神经网络,进行故障诊断。使用误差反馈算法和模糊理论训练神经网络,根据训练完成的T-S模型对汽车防抱死系统故障进行诊断。体现了其诊断的准确性强和适用性广的特性。     

基于阈值逻辑门的任意布尔函数综合

阈值逻辑门具有很强的逻辑功能及独特的优点,用阈值逻辑门实现数字逻辑函数也一直受到关注.该文在研究阈值逻辑门性质的基础上,提出了一种基于阈值逻辑门的任意布尔函数综合的新算法.该算法引入了神经网络的学习法则和化简规则,不但具有简单规范的特点,同时降低了实现数字逻辑函数的复杂性.体现了基于阈值逻辑门综合布尔函数的有效性和优越性.     

多时变时滞细胞神经网络的全局渐近稳定

研究了多时变时滞细胞神经网络的全局渐近稳定问题。给出了多时变时滞细胞神经网络平衡点唯一性和全局渐近稳定的几个新充分判据。所研究的网络模型扩展了现有的同类网络模型,而且所得到的这些新稳定判据考虑了神经元激励和抑制的影响,且能够表示成线性矩阵不等式的形式,易于用现有的内点算法等方法验证。通过2个注释说明了所得结果的有效性。     

一种基于神经网络的专家系统设计

提出了一种基于神经网络的专家系统设计方案,其核心是作为知识库的人工神经网络(ANN)和基于ANN的正向推理机制。研究了一种表达知识的二元产生式规则及其编码方法,通过编码知识被存储在ANN中。基于ANN的知识库,设计了一种具有正向推理的推理机,并且以动物识别为背景,设计了一个原型系统。     

基于神经网络模型的多波长辐射测温的研究

首次将神经网络理论应用于多光谱辐射测温领域,实验结果表明,该方法可以从根本上取消大多数工程材料发射率与波长之间的假设模型,可以克服最小二乘范畴解决上述问题的局限性,是一种解决目标真温及光谱发射率等测量问题行之有效的新方法。     

多阈值神经元及其在多值逻辑中的应用

分析了利用多阈值神经元实现多维空间中多区域非线性划分的原理,以利用神经元实现异或运算为例,阐述了采用多阈值神经元相对于单阈值神经元实现逻辑运算的优点,提出用一个多阈值神经元实现三值逻辑基本运算的方法,从而解决了用多阈值神经网络实现任意三值逻辑函数的问题.在此基础上提出了用一个多阈值神经元实现任意多值函数的方法.此方法简单、规范、有效,可大幅减少神经网络的神经元数量及连线数.     

有限元模拟的H型件自适应锻造专家系统

有限元模拟的Ｈ型件自适应锻造专家系统刘庆斌，季忠，刘马宝，吴诗　用传统人工智能方法建立的锻造专家系统智能水平低，获取新知识的能力差．用人工神经网络（ＡＮＮ）建立的锻造专家系统可以直接采用简单的运算来完成推理，且可以自组织、自学习，为知识获取和推理机制...