L_n系统和L_n*系统中的真度理论 

2006年,王国俊教授建立了计量逻辑学理论,这种理论一经提出便受到广泛的关注.因为它从语义上对逻辑概念进行了程度化,并将数值计算融入到数理逻辑中来建立起符号化语言与数值计算的桥梁.这使得数理逻辑具有某种灵活性,极大地扩大了其实际的应用范围.吴洪博教授在此基础上提出了广义真度的概念,研究了其主要性质. 基于以上理论...
陕西师范大学  硕士论文  2012年 下载次数(27)| 被引次数(0)

关于格蕴涵代数及其子结构的研究 

格值逻辑系统为智能信息处理提供了一种逻辑基础.格蕴涵代数作为一种重要的逻辑代数,为格值逻辑和不确定性推理的研究提供了一种理论基础.本文在这些已有成果的基础上,进一步研究格蕴涵代数及其子结构的相关性质,丰富基于格蕴涵代数的格值逻辑系统和不确定推理的内容.具体进行了如下三个部分的工作: 1.研究了格蕴涵子代数的性质及...
西南交通大学  硕士论文  2011年 下载次数(34)| 被引次数(2)

基于从众转移的金融资产价格演化 

摘要:本文主要研究市场投资者存在从众效应的情况下金融资产的价格演化过程。重点分析了市场中投资者所具备的一些重要的从众行为参数和市场结构的演化是怎样来影响金融资产的价格并导致泡沫的形成和破灭。为从众效应将会使金融资产的价格偏离价值产生资产泡沫或者危机甚至诱发金融风暴提供了有力的证据,值得市场监管部门的借鉴。 本文具...
北京交通大学  硕士论文  2012年 下载次数(78)| 被引次数(0)

格蕴涵代数及其特殊滤子研究 

格值逻辑将多值逻辑的链型真值域拓广到较一般的格上.它既能处理全序信息,又能处理不可比信息,从而更有效地刻画人脑在不确定性环境中的推理、判断和决策.对真值不完全可比较性的研究能够更真实地刻画人类的思维活动.格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构,是研究格值逻辑系统及不确定性推理的基础.本文在已有关于格蕴涵代数结...
西南交通大学  硕士论文  2012年 下载次数(46)| 被引次数(1)

Disjunctive命题的模型理论 

论域理论(domain theory)是格上拓扑学范畴的一个重要研究领域,其研究基本目的是在为程序设计语言提供语义模型.适用于计算机科学技术的发展,人们除了需要论域的构造算子外,还需要论域的逻辑表示,以便更好地服务于高阶类型的推理.近来,陈仪香教授基于Pitts的Horn命题理论、Johnstone的d...
上海师范大学  硕士论文  2007年 下载次数(36)| 被引次数(0)

稳定模糊谓词与谓词转换器 

本文在格上拓扑学的基础上讨论程序设计语言的语义,而格上拓扑学最近的研究方向主要是论域(Domain)理论。Scott开创了论域理论,其目的是给程序语义建立数学模型。论域是一个定向完备偏序集,即dcpo。在dcpo上的所有Scott开集可构造一个拓扑就是Scott拓扑。在程序设计语言语义中,由于形式化侧重面和...
上海师范大学  硕士论文  2007年 下载次数(45)| 被引次数(0)

n值逻辑系统中命题的绝对真度及其随机化理论 

无论是二值逻辑还是多值逻辑,都注重形式推理而不大关心数值计算。数理逻辑侧重严密的逻辑推理,而缺乏数值计算的灵活性和广泛的应用范围。通过把数值计算引入到数理逻辑中,就可以建立起符号化与数值计算之间的联系。 “指派真值”的做法或多或少已经反映出了数理逻辑概念的程度化思想。程度化的思想也正是人脑智能的反映。...
兰州理工大学  硕士论文  2008年 下载次数(88)| 被引次数(0)

有穷格L生成簇V(L)有有穷基的证明 

有穷基问题是泛代数中的核心问题,本文第一章中介绍了有穷基的发展。 在第二章中先介绍了DPC与DPSC的定义,然后对某些代数类来考虑它们的DPC性质。并得出了如下几个命题: 命题2.1有单位元的交换环类具有DPC性质。这里的证明过程中采用了逻辑中常用的证明方法,归纳于项的...
广西师范大学  硕士论文  2007年 下载次数(23)| 被引次数(0)

关于格蕴涵代数性质的研究 

非经典逻辑是人工智能领域中十分活跃的研究方向,是不确定性推理的理论基础。在非经典逻辑的研究中,格值逻辑的研究具有重要而广泛的意义。格蕴涵代数是徐扬教授为研究格值逻辑把格与蕴涵代数相结合提出的一个代数系统。本文将在格蕴涵代数已有性质的基础上,进一步讨论格蕴涵代数的性质及结构。具体作了以下三方面的工作...
西南交通大学  硕士论文  2003年 下载次数(114)| 被引次数(1)

改进排序的梯形直觉模糊Choquet Bonferroni算子的多属性群决策方法 

针对评价信息为梯形直觉模糊数(TrIFN)且属性间不严格相互独立的多属性群决策(MAGDM)问题,提出一种基于改进排序的Choquet Bonferroni算子的多属性群决策方法。首先介绍TrIFN的概念和运算法则;其次由Choquet积分将决策信息间的交互关系转换为待聚合TrIFN的权重信息;然后融合Choquet积...
《中国管理科学》  2020年 第01期 下载次数(149)| 被引次数(0)

On the Mechanization of Straightedge and Compass Constructions 

The geometric constructions obtained with only straightedge and compass are famous and play a special role in the development of geometry. On the one hand, the ...
《Journal of Systems Science & Complexity》  2019年 第01期 下载次数(8)| 被引次数()

基于线性判别分析的Choquet积分的符号模糊测度提取 

在解决分类问题时,建立在Choquet积分上的分类器以其非线性和不可加性的特点,扮演着越来越重要的角色。由于Choquet积分中的符号模糊测度可以描述各特征对结果的影响,因此Choquet积分在解决数据分类及融合问题方面具有显著的优势。但是,关于Choquet积分符号模糊测度值的求解,学术界一直缺乏有效的方法。目前最常...
《计算机科学》  2019年 第02期 下载次数(103)| 被引次数(3)

基于弱Hopf代数的半单范畴的构造 

本文研究并刻画了交换环上弱Hopf代数、Yetter-Drinfeld模范畴的一些性质,给出了其能够做成半单范畴的充分条件.
《数学学报(中文版)》  2019年 第03期 下载次数(9)| 被引次数()

有界BCHK-代数 

本文提出了有界BCHK-代数的概念,在偏序BCH-代数中给出了一些定理。证明了由一个偏序BCH-代数可构造出一个交换半群,由一个对合BCHK-代数可构造出两个交换幺半群。
《模糊系统与数学》  2019年 第02期 下载次数(11)| 被引次数()

固定点逻辑和积封闭的关系分析 

标准一阶逻辑具有封闭性。其封闭性主要表现在三个方面,其一是在关系下是封闭的,其二是在谓词置换下是封闭的,其三是在某些积构造下也是封闭的。另外,这三条性质在扩充的一阶逻辑语言中也同样成立。通过对基于知识和信息流的认知逻辑中公开宣告逻辑的扩充,刻画包括PDL和模态μ演算的模态固定点逻辑的模态语言可以定义严格的 积封闭 。均...
《贵州工程应用技术学院学报》  2019年 第03期 下载次数(10)| 被引次数()

共找到相关记录443条上一页>234567891011下一页