导读:本文包含了模糊命题逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,模糊,命题,模态,系统,中介,度量。
模糊命题逻辑论文文献综述
廖丽平,郭开仲,李颖[1]（2019）在《逻辑命题分解变换与模糊错误矩阵包含型集合方程求解研究》一文中研究指出在前期研究的基础上,对错误矩阵的概念作一个介绍,在此基础上,且对于矩阵的每一行又恰好是一个模糊错误逻辑命题.因为构成这类模糊错误矩阵的元素是集合,所以这类模糊错误矩阵之间一般是集合关系式,而不只是通常方程的等式,研究这一类模糊错误矩阵方程解的存在性,求解的方法等是理论与实践的需要.以XA■B研究对象,研究得到模糊错误矩阵集合方程XA′=B解的存在性及给出求解的例子.(本文来源于《数学的实践与认识》期刊2019年03期）
吴霞,张家录,王鲁达[2]（2018）在《命题逻辑公式模糊软集语义及其在决策分析中的应用》一文中研究指出基于论域U上模糊软集S=(F,A),引入软命题逻辑公式概念,给出软命题逻辑公式的模糊软语义解释.将决策模糊信息系统转化为决策模糊软集,软决策规则表示为包含有蕴含联结词的软命题逻辑公式.引入软命题逻辑公式的基本真度、条件真度、绝对真度等指标,从充分性、必要性等方面评价软决策规则的有效性、合理性.提出基于决策软集的典型软决策规则提取算法和基于软决策分析的推荐算法,并通过实例和数值实验证明算法的有效性.(本文来源于《模式识别与人工智能》期刊2018年03期）
陈成,潘正华,吕永席[3]（2017）在《一类具有3种否定的模糊模态命题逻辑》一文中研究指出对不同否定知识的认知、区分、表达、推理及计算是模糊知识研究处理的一个基础。具有矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FL_(COM)是一种能够完整描述模糊知识中的不同否定及其关系与规律的理论。基于FL_(COM)和中介模态命题逻辑MK,提出一类具有3种否定的模糊模态命题逻辑MK_(COM)及其扩充系统MT_(COM),MS_(4COM)和MS_(5COM);讨论了MK_(COM)的语义和语法解释,并证明了MK_(COM)的可靠性定理和完备性定理。(本文来源于《计算机科学》期刊2017年04期）
吴霞,张家录[4]（2017）在《随机模糊环境下的命题逻辑真度理论》一文中研究指出在实单位区间[0,1]具有一定概率分布的基础上,引入命题逻辑公式的随机模糊意义下的真度概念,指出随机真度是已有文献中各种命题逻辑真度的共同推广.利用随机模糊真度定义公式间的随机模糊相似度,导出全体公式集上的一种伪距离——随机模糊逻辑伪距离,证明在随机模糊逻辑伪距离空间无孤立点.利用概率论中的积分收敛定理,证明一个关于随机模糊真度的极限定理.研究已有各种真度之间的联系.证明随机逻辑伪距离空间中逻辑运算的连续性,并将概率逻辑学基本定理推广至多值命题逻辑.在随机逻辑伪距离空间中提出2种不同类型的近似推理模式并应用于实际问题的近似推理.(本文来源于《模式识别与人工智能》期刊2017年04期）
刘磊,王强,吕帅[5]（2017）在《模糊命题模态逻辑的Tableau方法》一文中研究指出为提高模糊命题模态逻辑(fuzzy propositional modal logic,FPML)的推理能力,本文将经典模态逻辑中的Tableau方法推广到FPML中,提出了基于FPML的Tableau规则并证明了其正确性,给出了模糊断言集合的约简策略;在此基础上给出了FPML中的不一致性和不一致估值的定义。最后给出基于Tableau方法的FPML的一致性检测方法 TFPML和模糊断言集合的不一致估值计算方法 CID,并证明了其正确性。实例分析表明,本文提出的方法是正确有效的。(本文来源于《哈尔滨工程大学学报》期刊2017年06期）
陈成[6]（2016）在《模糊命题逻辑系统FL_(COM)的理论及其应用》一文中研究指出在知识处理研究领域中,客观存在一类具有模糊性特征的知识,如“专家系统”领域中专家的经验知识,“自然语言理解”领域中语义不清晰的语言知识,“网络知识库与检索”中语义不分明的搜索词,“自动驾驶与环境感知”领域中自动驾驶车辆的加减速、进退、转弯、避障判断等知识,这些知识以及它们的各种否定知识都体现了模糊性。然而,如何刻画、处理具有“否定性”的知识是既基本而又困难的问题,尤其是判断、处理模糊性知识中的否定性比判断精确性知识中的否定性更为困难。因此,对模糊性知识的各种不同否定知识的认知、区分、表达、推理以及计算等是重要的基础理论问题,是目前国外学者在知识处理研究领域中的一个重要研究动向。对此,潘正华教授从概念本质上对模糊性知识中的各种否定概念进行研究,认为模糊知识中存在叁种否定关系即矛盾否定关系、对立否定关系以及中介否定关系。为了进一步能够有效、完整地描述模糊知识信息中的不同否定,研究否定之间联系与规律,提出了一种新的模糊集:“具有矛盾否定、对立否定和中介否定的模糊集FSCOM(Fuzzy Sets with Contradictory negation,Opposite negation and Medium negation)”与一种新的模糊命题逻辑形式系统:“具有矛盾否定、对立否定和中介否定的模糊命题逻辑FL_(COM)(Fuzzy Propositional Logic with Contradictory negation,Opposite negation and Medium negation)”。本论文包括了对FL_(COM)的理论及其应用的一些研究结果。在理论方面,具体研究了基于FL_(COM)的具有矛盾否定、对立否定和中介否定的模糊模态命题逻辑的构建;在应用方面,具体研究了FL_(COM)在地震灾害等级评判中的应用等。论文结构及具体内容如下:第一章简述了模糊逻辑的形成,以及知识中否定概念的提出与发展,并详细地介绍了国内外学者关于模糊知识中否定的研究成果。第二章阐述了知识概念中存在的叁种不同的否定,并分别给出了模糊集FSCOM和模糊命题逻辑系统FL_(COM)的概念,着重介绍了FL_(COM)的定义、规律及其性质,为后面的论文研究奠定了理论基础。第叁章基于模糊命题逻辑系统FL_(COM),本章提出了模糊综合评判方法及其实际应用。首先给出l-中介否定命题概念和l-区间函数。然后基于模糊矩阵的评判模型,分析对象命题、因素命题和权重命题,提出一种从知识否定角度分析的模糊综合评判方法,并将其应用于松潘地震灾害等级评判中,对比其他评判方法,确认此方法的合理性和正确性。第四章在FL_(COM)理论的基础上,本章内容结合中介模态逻辑MK构造了一类具有叁种否定的模糊模态命题逻辑系统MK_(COM),以及MK_(COM)的扩充系统MTCOM、MS4COM和MS5COM,定义了MK_(COM)的形式系统,讨论了MK_(COM)的语义,并验证了MK_(COM)的可靠性和完备性定理。(本文来源于《江南大学》期刊2016-10-01）
陈成,潘正华,吕永席[7]（2016）在《基于模糊命题逻辑FLCOM的综合评判及其应用》一文中研究指出知识信息的否定关系在处理信息领域中越来越处于不可或缺的地位。在区分3种否定的FLCOM基础上,提出一种新的模糊综合判断方法。给出λ-中介否定命题的概念和λ-区间函数,依据模糊集最大隶属度原则提出基于FLCOM的模糊综合评判方法,并将此方法应用于松潘地震灾害等级评判实例,与运用未确知测度方法和灰色系统方法的等级评判结果进行比较。结果表明,基于模糊命题逻辑形式系统FLCOM的模糊综合评判方法是合理有效的,并考虑到不同评判等级间的内在相互否定关系。(本文来源于《计算机工程》期刊2016年09期）
李修清,李燕[8]（2016）在《模糊命题逻辑系统的计量化》一文中研究指出在模糊命题逻辑系统中提出了公式的随机真度的概念,证明了模糊命题逻辑系统中有效推理的随机真度关系定理。运用随机真度关系定理证明了逻辑算子,→的连续性,给出了公式间距离的计算方法。最后,在系统L*中提出了叁种近似推理模式,并讨论了它们之间的关系。(本文来源于《模糊系统与数学》期刊2016年04期）
黎丽[9]（2016）在《Lukasiewicz模糊命题逻辑系统的计量化与近似推理》一文中研究指出为了在随机逻辑度量空间中展开近似推理理论研究,利用随机化方法,在Lukasiewicz模糊命题逻辑系统中,首先引入了命题公式的随机真度概念,进而引入了命题公式间的随机相似度以及随机伪距离的概念,从而建立了随机逻辑度量空间。在随机逻辑度量空间中,提出3种不同类型的近似推理模式,并论证了这3种近似推理模式的等价性。结果表明:3种近似推理模式在随机逻辑度量空间中是等价的。(本文来源于《中国科技论文》期刊2016年05期）
吴晓刚,潘正华[10]（2015）在《基于模糊命题逻辑形式系统FLcom的模糊推理及应用》一文中研究指出FLcom是建立在模糊集FScom基础上的一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统。在模糊推理中关于否定的认识和处理主要以经典逻辑为基础,为此在FLcom基础上研究了区分3种否定的模糊推理规则的表示,给出了基于FLcom的模糊推理规则的合成算法FLMP和FLMT规则,新算法推广了CRI算法中的蕴涵算子,并给出了模糊推理应用的实例对比。结果表明FLcom在区分不同否定的实际应用中是合理可行的。(本文来源于《计算机科学》期刊2015年S2期）
模糊命题逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
基于论域U上模糊软集S=(F,A),引入软命题逻辑公式概念,给出软命题逻辑公式的模糊软语义解释.将决策模糊信息系统转化为决策模糊软集,软决策规则表示为包含有蕴含联结词的软命题逻辑公式.引入软命题逻辑公式的基本真度、条件真度、绝对真度等指标,从充分性、必要性等方面评价软决策规则的有效性、合理性.提出基于决策软集的典型软决策规则提取算法和基于软决策分析的推荐算法,并通过实例和数值实验证明算法的有效性.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模糊命题逻辑论文参考文献
[1].廖丽平,郭开仲,李颖.逻辑命题分解变换与模糊错误矩阵包含型集合方程求解研究[J].数学的实践与认识.2019
[2].吴霞,张家录,王鲁达.命题逻辑公式模糊软集语义及其在决策分析中的应用[J].模式识别与人工智能.2018
[3].陈成,潘正华,吕永席.一类具有3种否定的模糊模态命题逻辑[J].计算机科学.2017
[4].吴霞,张家录.随机模糊环境下的命题逻辑真度理论[J].模式识别与人工智能.2017
[5].刘磊,王强,吕帅.模糊命题模态逻辑的Tableau方法[J].哈尔滨工程大学学报.2017
[6].陈成.模糊命题逻辑系统FL_(COM)的理论及其应用[D].江南大学.2016
[7].陈成,潘正华,吕永席.基于模糊命题逻辑FLCOM的综合评判及其应用[J].计算机工程.2016
[8].李修清,李燕.模糊命题逻辑系统的计量化[J].模糊系统与数学.2016
[9].黎丽.Lukasiewicz模糊命题逻辑系统的计量化与近似推理[J].中国科技论文.2016
[10].吴晓刚,潘正华.基于模糊命题逻辑形式系统FLcom的模糊推理及应用[J].计算机科学.2015
论文知识图
