计量逻辑学中的近似推理

在多值逻辑系统中给出了计量逻辑学中单个公式到Γ结论集的距离公式,在此基础上,给出发散度的简化形式,讨论了计量逻辑学中三种近似推理模式之间的关系。     

手写数字识别实验系统的研究

以无限制手写数字的机器自动识别系统的研究对象，旨在达到对书写人员、笔墨、纸张、字体大小、取向、位置不作限制，对常见书写风格均能识别。     

矿井设计支持系统综合分析器的数学模型

本文介绍了在矿井设计主持系统的综合分析器中所采用的理论方法。由于在矿井设计系统中有许多多目标多层次的模糊综合决策问题，作者针对这些问题提出并应用了一种新的计算方法；同时，此方法也可以应用于其它领域中的类似问题。     

基于GIS与CBR的城市绿地规划支持系统及其关键技术

分析和指出了现行城市绿地规划设计方法的缺陷，在此基础上，基于GIS与CBR技术，尝试性地提出了建立城市绿地规划支持系统进行规划设计的思想，同时给出了城市绿地规划支持系统的总体结构设计，并着重阐述了实现这种系统的关键技术，即基于G1S技术的现状信息网络发布与修改技术及CBR技术支持下的城市绿地规划参考方案的产生方法。     

不确定性推理在文本分类上的应用研究

在文本分类中k-NN分类方法简洁而有效,但在多类分类问题中,由于类的重叠和属性的不足导致训练文本和类边界出现不确定性,而传统k-NN分类方法无法处理这种不确定性.该文借助于几种经典的不确定性推理方法:DS证据理论、模糊集理论、模糊-粗糙集理论,来改进传统k-NN文本分类方法,实验表明基于不确定性推理的方法能够提高文本分类的精度和召回率.     

态势估计中一种模糊时间推理方法

时间推理是态势估计的一个重要组成部分,本文研究了当两个模糊时间点之间的时间间隔已知时,综合来自不同推理路径的推理结果方法,并建立了检验时间数据与专家知识模型符合程度的方法及时间网络的一致性检验方法。     

可作废推理

推理的不确定性来自信息或知识的不完全,这种不确定性几乎是无处不存在的,它使得修改乃至废除推理过程中的结论显得十分重要,从而也使可作废推理成为智能行为(不论是人或机器的)的显著特征。因此,研究推理的不确定性并使之形式化成为人工智能中最新、最热也最难的方向。本文扼要介绍可作废推理的研究途径、发展、特征和有待解决的问题;同时简介作者的一些新近研究结果,以期引起同行的更深入、更有价值的探索。     

数理逻辑中的数值化方法

数理逻辑的本质是形式推理而不是数值计算,非此即彼式的严谨性是其特征,因而在一定意义下它是"两极化"的.比如,(1)一个逻辑理论或者是相容的,或者是不相容的,不存在"半相容的"理论.(2)"逻辑公式A是假设集T的推论"或者成立,或者不成立,说它近似成立是无意义的.(3)逻辑公式中有重言式和矛盾式,但没有0.8重言式.本文的目的在于为上述基本概念提供程度化的版本,并从而建立一种近似推理理论.     

基于三角模糊集划分的MISO Mamdani模糊系统参数关联性分析

基于三角模糊集划分的MISO Mamdani模糊系统是模糊规则获取研究领域的一类重点研究对象。在这种划分下，系统的输入空间被划分成若干个超立方体，在每个超立方体内系统的输出与2^p条模糊规则中的参数相关。本文将每个超立方体分成若干个区域，并且严格论证了在每个区域内系统输出仅与其中2^p-1条模糊规则及另2^p-1条模糊规则中相应参数平均值相关。这个结论使得可以根据样本误差的区域分布情况优化参数的选取。对于该类系统的参数优化过程中的参数选取具有积极的意义。     

认知角度下同义反复话语的阐释

逻辑学家、修辞学家、语言学家等都对有关同义反复话语的解读提出了各自的观点,但还存在一些问题。本文从认知语言学的角度,运用转喻理论对同义反复话语进行阐释,力求找寻一种更好的方法。