知识中不同否定关系的一种逻辑描述

提出知识中的否定关系应当区分为矛盾否定关系和对立否定关系。从概念层面上确立了清晰性知识和模糊性知识中存在的5种矛盾否定关系与对立否定关系（CDC,CFC,0DC,OFC,ROM）及其形式定义;发现具有对立否定关系的概念中存在规律：对立否定概念之间存在中介对象（新的模糊概念）,当且仅当对立否定概念是模糊概念;并且运用中介谓词逻辑MF与其无穷值模型Ф,研究了矛盾否定概念和对立否定概念在真值域[0,1]上的真值描述及其规律,给出了知识中的5种矛盾否定和对立否定关系的处理条件;讨论了现有的数学与逻辑理论刻画和处理这些关系的不足及原因。     

具有三种否定的模糊推理算法及应用

模糊推理中,合成规则推理方法（compositional rule of inference, CRI）与基于贴近度的方法（similarity based approximate reasoning,SAR）都是建立在只有一种否定的经典模糊集上。针对广义模糊集GFScom(generalized fuzzy sets with contradictory, opposite and medium negation)具有三种否定（矛盾否定、对立否定、中介否定）的特点,对模糊推理方法 CRI的蕴含算子作了扩展。提出了具有三种否定的GFScom贴近度定义和公式,得到模糊近似推理的一种新的计算形式GSAR方法,证明了GSAR该方法具有FMP(fuzzy modus ponens)还原性。通过应用实例对比,模糊推理GSAR的新方法不仅克服了CRI方法在建立模糊关系矩阵具有主观性和随意性的不足,而且客观有效地反映了模糊推理中的3种否定信息,丰富了模糊推理的形式。     

基于模糊集IFScom的格贴近度及应用

针对格贴近度在模糊识别中的应用问题,提出一种基于模糊集IFScom的格贴近度(新格贴近度)。它不仅满足公理化的要求,并且区分了3种不同否定:矛盾否定、对立否定和中介否定。另外给出了新格贴近度在网络模糊分类中的应用实例,通过IFScom模糊集方法和经典模糊集方法的对比分析,新格贴近度在否定的区分、表示和模糊识别上是合理可行的。     

模糊知识处理与模糊集理论的若干拓展

模糊系统是一种基于知识或基于规则的系统，模糊知识处理技术的发展引起模糊集理论出现了各种拓展。首先叙述了模糊集理论的形成与发展，以及模糊集理论在人工智能、知识处理领域的作用与应用。其次，给出了对模糊集合的各种拓展，如直觉模糊集、L-模糊集与L-直觉模糊集、区间值模糊集与区间值直觉模糊集、Vague集等的定义与描述。最后，重点讨论了各种模糊集拓展形式之间的相互联系及可能对模糊集理论发展产生重要影响的统一集理论，提出了通过某种变换或算子建立起各种集合理论拓展形式之间联系的假设。结论认为，直觉模糊集是对模糊集理论最重要的一种拓展。     

直觉模糊概念图知识表示及相关操作

模糊概念图作为一种不确定知识表示模型,已得到广泛的关注。将模糊概念图的定义进行推广,提出直觉模糊概念图的概念,侧重于用直觉模糊集合对模糊概念和模糊关系进行表示。同时给出了直觉模糊概念图的一些基本操作。     

CAPP中的模糊工艺知识表达方法研究

模糊知识表达是模糊信息处理的关键环节之一，针对CAPP中工艺知识的模糊性问题，提出将工艺知识划分为精确数值型、模糊数值型、精确符号型和模糊符号型四种类型，分析了各种模糊工艺知识的主要特征，并采用模糊集合及其隶属函数对其进行描述和表达，在此基础上，深入讨论了采用模糊关系、模糊规则和模糊框架表达复杂工艺知识的原理和方法，给出了具体的表达实例。     

基于模糊粗糙集的一种知识获取方法

将粗糙集理论与模糊集理论相结合,提出了一种基于模糊粗糙集的知识获取方法．该方法利用模糊集理论对决策表中连续属性进行模糊化;通过定义模糊等价类得到模糊粗糙近似空间的上、下近似,从而获取决策规则．实例验证了此方法的有效性．     

公理化模糊集合的特征及其分类

基于模糊划分和公理化模糊集合的定义，研究公理化模糊集合的特征和分类．定义公理化模糊集合的2种规范形式：模交模糊集范式和模并模糊集范式，并证明带Zadeh算子、强否定算子的公理化模糊集合的规范形式存在定理．在此基础之上，给出带Zadeh算子、强否定算子的公理化模糊集合隶属函数的特征定理，依据特征定理给出公理化模糊集合的一种分类方式，最后分析在此分类下的类之间的关系．     

否定非对合剩余格的双极值模糊理想格

对否定非对合剩余格的双极值模糊理想问题做进一步深入研究,给出了由一个双极值模糊集生成的双极值模糊理想的定义并建立了其两个表示定理,证明了一个否定非对合剩余格L的全体双极值模糊理想之集BFI(L)在偏序下构成完备Heyting代数,为进一步揭示否定非对合剩余格的结构特征拓展了研究思路。     

基于变精度粗糙-模糊集模型的诊断知识获取

提出一种基于变精度粗糙-模糊集模型的诊断知识获取算法,利用相似性聚类方法自动获取模糊隶属函数,将连续属性表示成模糊值,通过定义模糊相似关系和模糊相似类给出了变精度粗糙-模糊模型的近似表示,并引入蚁群算法求取模糊相似关系下的属性约简,进行诊断知识的获取。将其应用于精对苯二甲酸生产过程尾氧浓度故障诊断知识获取中,结果表明:该算法可以从故障数据中提取更客观有效的诊断规则,在实际故障诊断中具有很好的应用价值。     

模糊蕴涵关于合取2-一致模满足输入律的刻画

首先引入了模糊否定关于 2-一致模满足(COMP_U²)的概念,并讨论了连续的模糊否定分别关于4类合取2-一致模满足(COMP_U²)的情形;其次,引入了模糊蕴涵关于合取 2-一致模满足输入律的概念,并给出了其相关性质;最后,利用(COMP_U²)给出了模糊蕴涵分别关于4类合取 2-一致模满足输入律的刻画。     

英汉双重否定对比及英语双重否定句的汉译

双重否定是一个重要的语言现象和修辞现象,是英汉两种语言中共有的。英汉双重否定既有相同之处,又有显著不同。对英汉双重否定的对比分析,能使英汉语言学习者更深入地了解目的语,促进语言教学和跨文化交流。     

一类由一致模与模糊否定构造的新模糊蕴涵——(N,U)-蕴涵

在(U,N)-蕴涵的基础上,从经典蕴涵算子p→q=?p∨q的对偶形式p→q=?(p∧?q)出发,用合取一致模U取代?(p∧?q)中的∧运算,用一般模糊否定N取代?(p∧?q)中的?运算,生成了一类新的模糊蕴涵,称为(N,U)-蕴涵。(N,U)-蕴涵是一类不同于(U,N)-蕴涵的蕴涵算子,与(U,N)-蕴涵形成了互补,丰富了蕴涵算子的生成方法。     

对偶直觉非下模糊选择函数拟传递合理性的刻画

给出一个新的模糊选择函数的合理性条件，证明了它是刻画对偶直觉非下模糊选择函数拟传递合理性的充要条件，从而将普通情形下Nehring的结论推广到了模糊情形。     

英汉否定焦点的差异及翻译

英汉两种语言在否定问题上具有大体的一致性。然而，当否定句中出现一些肯定强项词和肯定弱项词时，二者则常会在否定焦点的问题上表现出巨大的差异，从而给语义的正确理解带来诸多麻烦。因此，需对英汉语习惯否定焦点的差异进行分析解释，并提出相应的翻译策略。     

知识型员工的绩效评价

传统意义上的知识型员工绩效评价只是一种概念,缺乏量化标准及相关体系.本文通过对知识型员工特征的分析,建立一套知识型员工绩效评价指标体系,构建评判指标集、评语集和权重集,以模糊综合评价法建立知识型员工绩效评价模型.从群体角度对中小企业知识型员工进行绩效评价研究,利用熵理论构建针对中小企业知识型员工间的熵权模糊评价模型,并对相关模型进行实证分析.这种全面有效地对知识型员工进行评价已成为人力资源管理的一项重要研究内容.     

直觉模糊逻辑算子的研究

给出了直觉模糊逻辑“补”、“与”、“或”及“蕴涵”算子的定义，并利用区间值模糊集与直觉模糊集之间的关系，给出了利用经典的模糊逻辑算子构造直觉模糊逻辑算子的三个定理。从而得到了构造直觉逻辑算子的新方法，这种方法无需验证其运算的封闭性，因而简单易行。文中用此方法构造出了一系列新的直觉模糊逻辑“补”、“与”、“或”及“蕴函”算子，将K.Atanassov最早提出的直觉逻辑模糊逻辑算子推广到了更一般情形。     

(T,N)-蕴涵及其基本性质

模糊蕴涵在模糊逻辑和近似推理领域中发挥着非常重要的作用。 不同的构造方法可以生成不同的模糊蕴涵, 其中常见的模糊蕴涵类有(S,N)-蕴涵、 R-蕴涵、 QL-蕴涵和Yager蕴涵等。 从经典逻辑中的重言式p→q≡(p∧q)出发, 在模糊逻辑中研究由三角模T和模糊否定N按上述方式生成的模糊蕴涵, 称为(T,N)-蕴涵, 进而研究(T,N)-蕴涵的一些基本性质, 包括输入律与分配性等。 最后讨论(T,N)-蕴涵与 f-蕴涵、 g-蕴涵、(S,N)-蕴涵和R-蕴涵间的关系。