导读:本文包含了中介逻辑论文开题报告文献综述及选题提纲参考文献,主要关键词:道德经,逻辑起点,逻辑中介,逻辑终点
中介逻辑论文文献综述
宋思运[1](2018)在《《道德经》的逻辑起点、逻辑中介、逻辑终点——老子思想体系的“道——德—势”逻辑结构分析》一文中研究指出老子思想体系以"道"、"德"、"势"为核心范畴,整体上形成了"道—德—势"基本逻辑结构。在本体上坚持"玄同"之"道",这是《道德经》的逻辑起点;在认识和价值上坚持"求同"之"德",这是《道德经》的逻辑中介;在实践上,自觉达成与环境"势"的合意,做到"顺势而为"、"无为善为",这是《道德经》的逻辑终点。(本文来源于《宁夏社会科学》期刊2018年05期)
朱梧槚,李未,眭跃飞,罗杰[2](2016)在《命题中介逻辑的可靠和完备Gentzen推导系统》一文中研究指出中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词~、反对连接词?以及蕴涵连接词?,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.(本文来源于《软件学报》期刊2016年02期)
朱梧槚,宫宁生,杜国平[3](2013)在《数学无穷与中介逻辑(下)——关于△y/△y有意义dy/dx是切线的斜率在中介逻辑中的逻辑数学解读与逻辑分析(英文)》一文中研究指出Ref [5] provides a logical-mathematical explanation of the incompatibility of Leibniz's secant and tangent lines in medium logic. However, the expression(*)(Δy/Δx is meaningful and dy/dx is the tangent slope) derived from 7 and 8 in §4 of Ref [5] is unimaginable within the framework of two-valued logic, why shouldn't the same conflicting conclusion be reached in the medium logic calculus? This paper has subjected these questions to careful logical analysis, and approached them from the perspective of logical mathematics. As the two approaches have led to the identical conclusion, the paper thereby rigorously and thoroughly answers these questions.(本文来源于《数学季刊》期刊2013年03期)
朱梧槚,宫宁生,杜国平[4](2013)在《数学无穷与中介逻辑(上)——Leibniz的割线与切线问题在中介逻辑中的逻辑数学解释方法(英文)》一文中研究指出From the perspective of potential infinity (poi) and actual infinity, Ref [4] has confirmed that poi and aci are in 'unmediated opposition' (P,﹁P ) whether in ZFC or not; it has further been proved that the manners in which a variable infinitely approaches its limit also satisfy the law of intermediate exclusion. With these results as theoretical bases, this paper attempts to provide an accurate and strict logical-mathematical interpretation of the incompatibility of Leibniz's secant and tangent lines in the medium logic system from the perspective of logical mathematics.(本文来源于《数学季刊》期刊2013年01期)
轩敏强[5](2012)在《中介逻辑演算系统和中介公理集合论分析》一文中研究指出本文对中介数学系统的基本内容、中介逻辑演算系统和中介公理集合论的基本内容做了介绍。此外,还对中介数学系统和中介理论公理集合论的现状进行总结,最后还就中介数学系统的应用前景做出了展望。(本文来源于《才智》期刊2012年04期)
黄卫东,刘寅卯,盛昭瀚[6](2011)在《数字化预案中基于中介逻辑的不确定事件表示》一文中研究指出突发公共事件本身的不确定性以及紧急状态下信息采集的时空局限性,要求数字化预案对不确定事件进行有效地表达.基于中介逻辑,研究了不确定事件的有效表示及不确定程度的度量,采用区间代数方法对不确定事件进行了表示,建立了一维和n维情形下不确定事件的不确定程度的度量模型.在此基础上,利用中介逻辑对数字化预案中应急响应规则进行表达,对具体算例进行了分析,初步验证了该模型的有效性.(本文来源于《数学的实践与认识》期刊2011年23期)
贾海涛,潘正华[7](2011)在《基于中介逻辑的带有叁种否定的RDF扩展》一文中研究指出中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立概念间存在中介对象的逻辑系统。基于中介逻辑对RDF(Resource Description Framework)进行扩展,从而提出一种带有矛盾否定、对立否定和中介否定的RDF的扩展ERDF(Extension of Resource Description Framework),并且讨论了ERDF在语义Web搜索引擎中的作用。表明比RDF具有更强的知识表达能力,ERDF能够提高基于语义Web的搜索引擎的查全率和查准率。(本文来源于《计算机应用与软件》期刊2011年03期)
张丽珍,潘正华[8](2010)在《基于中介逻辑的模糊推理算法》一文中研究指出中介逻辑系统完整地反映了知识中的矛盾和对立等否定关系。针对具体处理模糊知识的需要,本文首先改进了中介无穷值语义模型,对其进行了语义描述;在此基础上扩展了Zadeh提出的近似推理方法即CRI算法,给出了基于中介逻辑思想的一种更为具体的算法,并通过一具体的例子进行了说明分析。(本文来源于《计算机工程与科学》期刊2010年09期)
张丽珍[9](2010)在《基于中介逻辑的模糊信息处理的研究》一文中研究指出在现代社会里,模糊信息处理广泛涉及生产、生活的各个领域。由中国学者创立的中介逻辑,作为目前国内外唯一区分否定中的矛盾与对立、肯定一些对立概念间存在中介对象的形式化逻辑系统,在纯数学基础理论意义下,实现了数学研究对象由精确性量性对象到模糊性对象的再扩充。因而,如何运用中介逻辑基本思想和理论研究处理模糊信息,是一个富有新意的研究工作。本文第一章介绍了目前学者们关于信息领域中否定关系的研究;第二章从概念本质上区分知识的矛盾否定与对立否定,介绍了清晰概念中的两种否定关系和模糊概念中的叁种否定关系,即“矛盾”否定、“对立”否定和“中介”否定;第叁章介绍了中介逻辑的思想背景与基本理论,及基于中介逻辑系统的无穷值语义模型的形式化描述,并且对于现有逻辑理论处理否定知识的能力进行了比较。第四章基于中介逻辑思想与距离测度,以中介真值程度函数为工具,建立了模糊评判矩阵,并综合评判因素中肯定信息与否定信息的真值程度确立评判指数,进而以评判指数作为总体评判的数量依据,对评判对象进行比较,从而建立了一种新的模糊评判模型;最后讨论了它在一个具体的模糊评判实例中的应用。模糊语言变量的量化是否合理直接关系着基于这些变量的模糊推理结果是否更符合客观现实。第五章基于模糊语言变量的语义和中介无穷值语义模型的思想,采用距离比率函数通过引入参数提出了一种新的模糊语气算子,并且通过实例加以说明分析。针对具体处理模糊知识的需要,第六章首先改进了中介无穷值语义模型,对其进行了语义描述;在此基础上扩展了Zadeh提出的近似推理方法即CRI算法,给出了基于中介逻辑思想的区分矛盾否定和对立否定的一种更为具体的算法,通过一具体的例子进行应用分析,同时扩展了语义匹配度的度量,包括语义距离和相似度。(本文来源于《江南大学》期刊2010-06-01)
程天笑,潘正华,王岑[10](2009)在《基于中介逻辑的近似推理》一文中研究指出知识处理的发展对"否定知识"的认识提出了新的要求。中介逻辑是一个完全形式化的系统,其完整地反映了矛盾和对立等否定关系以及推理关系。文章针对模糊知识,在中介逻辑无穷值语义模型的基础上,研究了基于中介逻辑的近似推理问题。文章分析了模糊知识中的否定关系,并以中介逻辑及其无穷值语义模型给予其语形与语义描述。然后,扩展了近似推理的CRI算法。同时,给出了语义匹配度的度量,包括语义距离和相似度,进而提出了基于语义匹配度度量的近似推理方法。(本文来源于《计算机工程与应用》期刊2009年21期)
中介逻辑论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
中介逻辑是朱梧槚先生提出的一个3-值逻辑.给出了一个命题中介逻辑,其中引入中介连接词~、反对连接词?以及蕴涵连接词?,并且定义否定连接词.给出了一个Gentzen-型的推导系统,使得该系统关于中介逻辑的3-值语义是可靠的和完备的.
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
中介逻辑论文参考文献
[1].宋思运.《道德经》的逻辑起点、逻辑中介、逻辑终点——老子思想体系的“道——德—势”逻辑结构分析[J].宁夏社会科学.2018
[2].朱梧槚,李未,眭跃飞,罗杰.命题中介逻辑的可靠和完备Gentzen推导系统[J].软件学报.2016
[3].朱梧槚,宫宁生,杜国平.数学无穷与中介逻辑(下)——关于△y/△y有意义dy/dx是切线的斜率在中介逻辑中的逻辑数学解读与逻辑分析(英文)[J].数学季刊.2013
[4].朱梧槚,宫宁生,杜国平.数学无穷与中介逻辑(上)——Leibniz的割线与切线问题在中介逻辑中的逻辑数学解释方法(英文)[J].数学季刊.2013
[5].轩敏强.中介逻辑演算系统和中介公理集合论分析[J].才智.2012
[6].黄卫东,刘寅卯,盛昭瀚.数字化预案中基于中介逻辑的不确定事件表示[J].数学的实践与认识.2011
[7].贾海涛,潘正华.基于中介逻辑的带有叁种否定的RDF扩展[J].计算机应用与软件.2011
[8].张丽珍,潘正华.基于中介逻辑的模糊推理算法[J].计算机工程与科学.2010
[9].张丽珍.基于中介逻辑的模糊信息处理的研究[D].江南大学.2010
[10].程天笑,潘正华,王岑.基于中介逻辑的近似推理[J].计算机工程与应用.2009