导读:本文包含了扩展的逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译,主要关键词:逻辑,量词,不确定性,主体,模糊,复合体,时态。
扩展的逻辑论文文献综述
佟德志,郭瑞雁[1](2019)在《当代西方生态民主的主体扩展及其逻辑》一文中研究指出20世纪60年代随生态政治运动应运而生的生态民主理论,要求重新审视人与自然的关系,对传统民主主体提出了挑战,试图扩展西方民主的主体。生态主义者要求对自然进行道德承认及在此基础上对其赋予政治主体地位并给予权利保障,其主张也从动物主体到生物主体,再到自然主体不断深入,为我们勾画了一条不断开放的民主主体线索。同时,生态主义者还从利益保障路径、相似性路径以及代言人路径等几个方面对这一主体的扩展进行了全面论证。(本文来源于《社会科学研究》期刊2019年01期)
姜根华,陈莉[2](2018)在《论家国情怀培育的内在扩展逻辑——以“爱在家人间”为例》一文中研究指出一、引言在中国,说不完、道不尽的正是家国情怀,史书万卷,字里行间都是"家国"二字。处理好与自我、与他人、与国家的关系,是贯穿整个道德与法治教材的一条主线。《义务教育思想品德课程标准(2011年版)》指出:"养成孝顺父母……有责任心……的品质""感受个人成长与民族文化和国家命运之间的联系,提高文化认同感、民族自豪感,以及构建社会主义和谐社会的责任意识"。由此可见,将个人成长与国家命运相结合的家国情怀教育愈加凸显为道德与法治课程追求的价值目标之一。道德与法治课堂作为承担立德树人任务的主战场,要深人开展家国情怀教育,培(本文来源于《中学政治教学参考》期刊2018年23期)
苏河[3](2017)在《扩展型动词词组复合体的逻辑语义关系分析》一文中研究指出功能语法学者提出,根据内在逻辑语义关系,从属型动词词组复合体分为扩展型和投射型。Halliday(1994/2000)提出,从属型动词词组复合体的主从关系总是α^β(^表示顺序关系);黄国文(2000)称投射型动词词组复合体的主从关系是α^β,但扩展型动词词组复合体的主从关系应为β^α,因扩展型动词词组复合体第一个动词词组表达多种语义意义,对第二个动词词组进行修饰。本文以典型的由两个动词词组构成的动词词组复合体为例,对扩展型动词词组复合体第一个动词词组的逻辑语义关系进行分析讨论,就原来五小类的划分提出了调整建议,以更清晰地理解扩展型动词词组复合体和投射型动词词组复合体的主从关系。(本文来源于《东北亚外语论坛(2017 NO.4)》期刊2017-12-25)
霍颖瑜,马莉,胡敬文,钟勇[4](2017)在《可更新Datalog的分布式时态逻辑扩展及应用》一文中研究指出针对现有的分布式逻辑语言缺乏完整时态表达力等问题,将分布式时态逻辑谓词引入Datalog规则,提出TU-Datalog语言。该语言通过融入U-Datalog的非即时性更新语义,形成完全声明式具有强大时态表达力的逻辑编程语言和环境。通过扩展U-Datalog逻辑固定点语义,提出TU-Datalog语言的固定点时态演化规则,并对该语言的语法、语义、评价算法进行了研究,最后对该语言的应用做了说明和示例。(本文来源于《计算机工程与应用》期刊2017年15期)
王莹莹,刘杰,骆力明,周建设[5](2017)在《一种描述逻辑SROIQ(D)的云模型扩展》一文中研究指出客观世界存在大量的不确定性现象和知识。鉴于经典描述逻辑在表示不确定知识上存在一定缺陷,模糊描述逻辑在表示不确定知识时会丢失模糊性,为此,将云模型引入到描述逻辑SROIQ(D)中,实现对SROIQ(D)的云扩展,提出基于云模型的不确定描述逻辑C-SROIQ(D)。并给出其完整的语法、语义及知识库,从而实现了描述不确定性现象,保留了模糊性,还将模糊性和随机性相关联,丰富了描述逻辑的表达能力。(本文来源于《计算机应用与软件》期刊2017年02期)
刘国栋,周敏,王勇,李保民[6](2016)在《基于扩展主观逻辑的ARP入侵实时检测动态信任模型》一文中研究指出本课题中引述了ARP协议和工作原理,对当前流行的防御ARP欺骗攻击进行介绍,说明了这些方法的检测与防控特征。分析了上述涉及方法的复杂性、原理架构,判断其适用条件以及自身的优势与不足。ARP欺骗攻击是属于目前普遍存在的网络安全问题,它将不正确的IP/MAC地址更新发送后可以欺骗主机ARP缓存表导致主机相互间中断通信。ARP欺骗攻击难以预判,破坏力极强,因此极大地干扰着正常的网络秩序与安全。该怎样来避免网络受到(本文来源于《电脑迷》期刊2016年12期)
陈晖,马亚平[7](2016)在《面向不确定性知识表示的描述逻辑S ROIQ(D)不确定性扩展》一文中研究指出为增强描述逻辑对不确定性知识的表示能力,提出了一种对描述逻辑SROIQ(D)进行不确定性扩展的方法。该方法基于不确定性理论和描述逻辑SROIQ(D),针对知识表示中大量存在的模糊性、粗糙性和随机性知识,首先给出了模糊粗糙概念条件概率的计算方法,并以此为基础对SROIQ(D)进行了不确定性扩展;然后基于模糊粗糙逻辑和概率逻辑分别给出了扩展后的语法、语义和推理任务,使不确定性SROIQ(D)描述逻辑具备同时处理3类不确定性知识的能力。(本文来源于《计算机科学》期刊2016年S2期)
何建华[8](2016)在《关于价值扩展与主体创新的理论、历史和现实逻辑分析》一文中研究指出在人类文明史中,马克思、恩格斯创造性地在唯物史观基石上建构起了价值扩展-主体创新-社会进步的理论逻辑,认为考察社会的创新发展,必须具体分析主体的需求提升以及与此相关的价值扩展问题;在世界社会主义运动进程中,中国共产党人自觉地将包括价值革命和价值改良在内的价值扩展实践于革命、建设和改革的历程,为主体创新、社会进步提供了强大的观念动力,演绎了价值扩展与主体创新的历史逻辑;在整体转型升级的新时期,中国发展的现实逻辑要求我们必须通过正确处理精英和民众、共享和发展的相互关系,确立共享发展的新的价值理念,为主体创新、社会进步提供新的价值引导。(本文来源于《晋阳学刊》期刊2016年05期)
邵节,刘佳琪,张超,刘芳,彭程远[9](2016)在《基于模糊逻辑的导弹扩展比例导引律》一文中研究指出临近空间高超声速大机动目标的拦截制导律一直是现代制导与控制方面的一个难点和热点。运用模糊逻辑的方法,改进了扩展比例导引律,使导弹在拦截过程中能够有效跟踪导弹至目标视线转率的变化及目标的机动加速度,拦截末段视线转率收敛,实施成功拦截。(本文来源于《导弹与航天运载技术》期刊2016年02期)
张晓君[10](2015)在《广义量词理论对一阶逻辑的扩展》一文中研究指出广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词(全称量词和存在量词)的推广。对一阶逻辑进行扩展的主要原因有二:其一是为了解释亚氏叁段论形式以外的大量的有效推理;其二是为了提升一阶逻辑的表达力,使得计算机能够更好地处理自然语言。文章阐述了广义量词理论来自于哪里,是如何得来的。现代谓词逻辑首先通过固定一阶逻辑中的全称量词和存在量词的真值定义,然后把它们的真值定义推广到〈1〉类型的广义量词,之后把〈1〉类型的广义量词的真值定义推广到任意的广义量词。这样就可以把任意的广义量词添加到一阶逻辑中,从而得到表达力更强的逻辑——广义量词理论。(本文来源于《重庆理工大学学报(社会科学)》期刊2015年11期)
扩展的逻辑论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
一、引言在中国,说不完、道不尽的正是家国情怀,史书万卷,字里行间都是"家国"二字。处理好与自我、与他人、与国家的关系,是贯穿整个道德与法治教材的一条主线。《义务教育思想品德课程标准(2011年版)》指出:"养成孝顺父母……有责任心……的品质""感受个人成长与民族文化和国家命运之间的联系,提高文化认同感、民族自豪感,以及构建社会主义和谐社会的责任意识"。由此可见,将个人成长与国家命运相结合的家国情怀教育愈加凸显为道德与法治课程追求的价值目标之一。道德与法治课堂作为承担立德树人任务的主战场,要深人开展家国情怀教育,培
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
扩展的逻辑论文参考文献
[1].佟德志,郭瑞雁.当代西方生态民主的主体扩展及其逻辑[J].社会科学研究.2019
[2].姜根华,陈莉.论家国情怀培育的内在扩展逻辑——以“爱在家人间”为例[J].中学政治教学参考.2018
[3].苏河.扩展型动词词组复合体的逻辑语义关系分析[C].东北亚外语论坛(2017NO.4).2017
[4].霍颖瑜,马莉,胡敬文,钟勇.可更新Datalog的分布式时态逻辑扩展及应用[J].计算机工程与应用.2017
[5].王莹莹,刘杰,骆力明,周建设.一种描述逻辑SROIQ(D)的云模型扩展[J].计算机应用与软件.2017
[6].刘国栋,周敏,王勇,李保民.基于扩展主观逻辑的ARP入侵实时检测动态信任模型[J].电脑迷.2016
[7].陈晖,马亚平.面向不确定性知识表示的描述逻辑SROIQ(D)不确定性扩展[J].计算机科学.2016
[8].何建华.关于价值扩展与主体创新的理论、历史和现实逻辑分析[J].晋阳学刊.2016
[9].邵节,刘佳琪,张超,刘芳,彭程远.基于模糊逻辑的导弹扩展比例导引律[J].导弹与航天运载技术.2016
[10].张晓君.广义量词理论对一阶逻辑的扩展[J].重庆理工大学学报(社会科学).2015