基于相对量词的RDF模糊查询方法

针对RDF含相对量词模糊查询问题,提出支持分组机制的相对量词RDF模糊查询方法.利用语言层次结构理论,构造语言层次结构表,通过在FILTER子句中增加模糊条件并调用GROUPBY和HAVING子句实现特定属性上的分组操作,实现对SPARQL语法的扩展.分析了两种典型情况下的RDF相对量词模糊查询问题,给出将扩展的模糊SPARQL查询转换为标准SPARQL查询的处理方法,从而可利用现有的SPARQL查询引擎完成RDF基于相对量词的模糊查询处理.实验系统及相应的实验结果验证了所提方法的可用性.     

论藏缅语的反响型名量词

反响型量词是研究量词的关键。其特点可以归纳为以下三点：一是具有能产性；二是语法功能超过语义功能；三是具有中介性。反响型量词在发展中从“语音语法”模式走向“语义语法”模式。     

基于广义量词理论的亚氏三段论

揭示了如何从广义量词理论的角度来理解三段论推理。有效的亚氏三段论可以通过作为广义量词特例的亚氏量词的语义定义加以证明。从亚氏量词的语义性质,比如单调性、对称性可以说明亚氏三段论的有效性。亚氏三段论的可化归性反映了亚氏量词与其三种否定量词的语义性质(比如单调性)之间的可转换性。     

一个采用模糊产生式规则的推理方法

在模糊集理论的基础上,本文提出了一种模糊产生式规则.为了采用这类规则进行推理,文中给出了规则前件与事实是否匹配的模糊匹配函数.最后给出了一个生成匹配事实的最大模糊包含演绎树的算法,并用实例说明采用模糊产生式规则进行不精确推理的方法.     

直觉模糊推理的语义匹配度

首先引用Atanassov直觉模糊集的基本概念及运算，描述了直觉模糊逻辑运算及其知识表示形式，重点给出了直觉模糊逻辑命题真值的对称合成方法，定义了直觉模糊逻辑命题的基本运算。讨论了计算直觉模糊集语义匹配度的若干途径，包括贴近度、语义距离、相似度、复合条件的匹配等。最后，阐明了直觉模糊推理冲突消解的基本思想。     

F基数与连续统假设

以模糊映射为基础给出了模糊集基数的定义，不但得到了有关基数的大部分结论，而且有其自身的特有性质；特别对于连续统假高驼一世界难题可能有新的启示。     

所谓“逻辑量词”

数理逻辑一阶谓词演算中,作为一种逻辑词采用的量词,不是传统逻辑中的量词,更不是语言中的量词。F中的全称量词任意x的语义为“对于论域中的每一个个体”,存在量词 x的语义为“论域中至少有一个个体”。人类在求取关于不可逐一列举（有限的或无限的）个体域的作为一般性原理的真知的过程中,事实上从来也不曾在逻辑上使用过这样的量词。这样的量词对人类提出要去逐一确定不可逐一列举的个体域的每一个个体具有什么性质。这样的指令,人类是无法执行的。这样的对外延的无限要求是超乎人类的有限能力和生命的。难怪,A．Church证明了关于,的不可判定定理。     

凉山彝语类别量词的特点

凉山彝语（北部方言什乍话）的类别量词很丰富。量词主要来源于名词、动词和描摹词（有人将其归为形容词）；抽象的量词由具体的量词引申而来。凉山彝语量词有自己独特的一套语义分类标准，名词所指事物都有不同的属性，从量词归类时所依据的属性可以看到该语言所侧重的事物属性。除了这些最显著的语义特点外，量词还有一些变调特点和句法特点。拷贝型量词也是凉山彝语类别量词的一个重要类型，正如其他的藏缅语族语言一样，它是量词发展的初级阶段。     

直觉模糊匹配的语义距离与贴近度

首先引用Atanassov直觉模糊集的基本概念,阐述了直觉模糊推理的语义匹配问题．给出了计算直觉模糊匹配度的语义距离与贴近度扩展方法,重点研究了直觉模糊贴近度扩展计算模型与直觉模糊语义距离,包括在离散论域和连续论域上的海明距离、欧氏距离、明可夫斯基距离、切比雪夫距离等扩展计算模型,提出了将直觉模糊贴近度与直觉模糊语义距离转换成直觉模糊匹配度的方法。     

直觉模糊语义匹配的相似性度量

首先引用Atanassov直觉模糊集的基本概念和运算,综合考虑其隶属度函数与非隶属度函数两个因素的影响,通过对Zadeh模糊集相似度的计算模型进行扩展,给出了直觉模糊语义匹配的相似度的几种扩展计算方法,即最大最小法、算术平均最小法、几何平均最小法、相关系数法、指数法等,并举例阐明其应用,从而使直觉模糊语义匹配度的计算方法得到进一步拓广。最后,研究了直觉模糊相似关系,证明了直觉模糊相似矩阵的一个定理。     

E-广义凸模糊集和E-广义反凸模糊集

通过将P凸集与相关文献中广义凸模糊集和广义反凸模糊集相结合,定义了E-广义凸模糊集和P广义反凸模糊集,并根据定义对它们的重要性质做了研究．     

基于Fuzzy集的插值模糊推理

对于模糊概念 (用Fuzzy集表示 )的隶属函数为连续的情况 ,将规则前件中的模糊概念的论域与后件的模糊概念的论域作一一映射 ,然后给出基于Fuzzy集的隶属函数为连续情况下的插值模糊推理方法 ;对于Fuzzy集的隶属函数为离散的情况 ,在作上述相同的映射后 ,再将规则前件中的Fuzzy集与事实中的Fuzzy集的隶属函数分别进行线性插值 ,使它们都成为连续函数 ,然后给出基于Fuzzy集的隶属函数为离散情况下的插值模糊推理方法 .     

E-广义凸直觉模糊集

凸集及其性质是最优化领域的一个重要研究课题.同样,凸模糊集也是模糊数学中研究的一个热点.本文通过将E-广义凸模糊集、凹模糊集和凸直觉模糊集相结合,定义了E-广义凹模糊集和E-广义凸直觉模糊集,并根据定义对它们的基本性质做了研究,从而推广了凸模糊集和反凸模糊集,并且引出一个相对较新的研究方向和领域.     

自反模糊滤子与自反模糊序理想

引入ＢＣＫ－代数Ｘ的自反模糊滤子及ＢＣＫ－代数伴随半群Ｍ（Ｘ）的自反模糊序理想的概念,由自反模糊滤子可诱导一个自反模糊序理想,反过来,由自反模糊序理想也可诱导一个自反模糊滤子,最后证明了ＢＣＫ－代数的所有自反模糊滤子的集合与ＢＣＫ－代数伴随半群Ｍ（Ｘ）的所有自反模糊序理想的集合之间存在一一对应。     

模糊滞后积分微分方程解的性质

讨论了一类模糊滞后积分微分方程u(t)=∫^t0g(t,s,u(s))ds f(t,xt)的性质，利用Banach不动点定理和模糊集度量空间的性质证明了这类方程解的存在性、惟一性和连续依赖性。     

模糊圈的性质

本文在模糊圈的定义和一些基本定理的基础上得到了模糊拟阵的模糊圈集与它的r1导出拟阵的模糊圈集之间的关系,同时还给出了闭正规模糊拟阵的模糊基与特定模糊圈之间的相互转化,为进一步研究模糊圈打下了一定的基础．     

模糊拟阵闭集的结构

模糊闭集和模糊超平面是模糊拟阵的2个基本概念,在模糊拟阵理论中起着重要的作用.文中研究了模糊闭集和模糊超平面的性质和结构,得到了相关的几个结论:模糊拟阵的闭集和它的导出拟阵的闭集之间的关系;普通拟阵所有超平面的交集是最小闭集且秩为0;模糊拟阵所有超平面交集也是最小的闭集且秩为0;利用数学归纳法证明了闭模糊拟阵模糊闭集的结构特征;找到了判定闭模糊拟阵的模糊闭集的一个充要条件.这些结果有利于进一步研究模糊拟阵的其他性质.     

基于模糊覆盖的粗糙模糊集模型

构造了基于模糊覆盖的粗糙模糊集模型,从理论上论证了定义的合理性,刻画了模糊覆盖粗糙集的一些基本性质.     

线性空间中的2-型模糊集

讨论线性空间中2型模糊子集,给出其为特殊2型模糊子集的充要条件,推广了线性空间中一般模糊子集的相应结果.