导读:本文包含了模态逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:逻辑,模态,知识,语义,关系,亚里士多德,公理化。
模态逻辑论文文献综述
谢倩[1]（2019）在《对模态命题逻辑的简单介绍》一文中研究指出模态逻辑是基于命题逻辑的一门逻辑学科。它早在亚里士多德时期就被广泛研究和探讨。在之后的发展过程中,美国逻辑学家刘易斯在无意间创造了现代模态逻辑。而刘易斯在继前人的基础上注入了更多的形式化的内容,如建立模态系统K、T、D、B、S4、S5。使得模态逻辑的内容更加丰富。介于模态逻辑的理论体系过于庞大,本篇论文仅仅对一些基础知识进行浅谈。(本文来源于《山西青年》期刊2019年16期）
文习明,方良达,余泉,常亮,王驹[2]（2019）在《多智能体模态逻辑系统KD45_n中的知识遗忘》一文中研究指出遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智能体的知识表示与推理。随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注。现有研究表明,知识遗忘在不同的多智能体模态逻辑系统中具有不同的性质,且大多无法有效计算。为此,多智能体模态逻辑系统KD45_n中的知识遗忘值得进一步研究。首先,基于模型理论给出知识遗忘的定义;接着,分析KD45_n中知识遗忘的主要性质;最后,提出KD45_n中计算知识遗忘的有效算法。该算法利用人工智能领域解决难求解问题的主要方法之一——知识编译技术,将一般公式编译成交替覆盖析取范式,再利用该范式进行知识遗忘的有效计算。研究结果表明,在KD45_n中满足一些很重要的知识遗忘性质,其计算时间复杂度是交替覆盖析取范式公式长度的多项式时间(原公式长度的双重指数时间)。与现有的非初等时间复杂度算法相比,所提算法更高效、更实用。(本文来源于《计算机科学》期刊2019年07期）
邓少波,关素洁,王磊,黎敏[3]（2019）在《基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用》一文中研究指出针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,并结合水文信息给出这种大数据知识表示应用实例。(本文来源于《南昌工程学院学报》期刊2019年03期）
唐渠[4]（2019）在《多模态语篇中图文逻辑意义和逻辑关系探讨——以一期《青年文摘》为例》一文中研究指出在多模态语篇中,不同模态之间存在何种关系,众说纷纭。本文以一期《青年文摘》的文章为语料,以系统功能语法中的逻辑意义来分析文章配图与文章的关系。该研究的假设前提是:逻辑意义的理论框架可以运用于分析图文多模态语篇中的图与文之间的关系。通过分析发现,该期刊中图与文的基本逻辑关系为从属解释扩展型关系,辅之以从属加强扩展型和并列投射型关系。此研究同时证实了逻辑意义的理论用于分析图文类型多模态语篇的图文关系是可行的。(本文来源于《开封教育学院学报》期刊2019年06期）
刘佶鑫[5]（2019）在《模型论视角下对正规多元模态逻辑的阐述（英文）》一文中研究指出本文对正规多元模态逻辑做了模型论视角的整体阐述。正规多元模态逻辑(PML)是对一元模态逻辑系统K,在n元算子上的推广。而多元模态逻辑的研究相对于一元逻辑较为匮乏。文献中的一系列有关PML的结果也被看作是有关K的结论的直接推广,而缺少部分完整证明,且已有证明多为代数证明。PML对于K的推广在某些方面是非平凡的,忽略这一点导致了一些教材及文章中甚至存在各种错误。从证明的角度上讲,对于PML的证明有时也需要不同的方法。基于以上几点考虑,我们认为有必要从模型论视角对PML做一个细致的考察,并给出一些模型论版本的证明,来简化以往的代数证明,从而给研究者提供一个统一的参考。本文从两个模态逻辑常用的模型构造方法(滤子和超滤扩张)出发,以经典教材中的定义为准,补全一些重要定理在多元语言下的模型论方法的详细证明。然后我们对van-Benthem刻画定理的多元版本证明做了一个澄清,考察了多元语言和一元语言下证明的具体区别。最后我们用模型论方法证明了PML具有插值性,而该定理在文献中往往是被当作一些代数事实的推论。(本文来源于《逻辑学研究》期刊2019年03期）
李燕[6]（2019）在《逻辑语义范畴视域下多模态符际关系识解》一文中研究指出逻辑语义视角分析语言与其他符号模态的互动,功能、层次、现象叁种维度共同构成了叁维语义空间框架,意义完整生成过程中政治漫画多元性、系统性及功能性被揭示,既为构建逻辑语义范畴视域下多模态符际关系奠定了理论基础,也为系统功能语言学者尝试实例分析多模态语篇提供了逻辑语义描写框架,从而加深对符号学的认识。(本文来源于《宝鸡文理学院学报(社会科学版)》期刊2019年03期）
文习明,方良达,余泉,常亮,王驹[7]（2019）在《多智能体模态逻辑系统K_n中的知识遗忘》一文中研究指出如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究。特别在知识表示与推理领域,遗忘扮演着非常重要的角色。在命题逻辑、一阶谓词逻辑、模态逻辑、描述逻辑、回答集逻辑程序设计,以及情景演算等逻辑语言中都有大量的研究。模态逻辑适用于智能体的知识表示与推理。在模态逻辑中,知识遗忘首先在单智能体场景中被提出。随着多智能体系统研究的发展,多智能体模态逻辑中知识遗忘的研究也开始被关注。到目前为止,多智能体模态逻辑系统中的知识遗忘还无法有效计算。本文在多智能体模态逻辑系统K_n中对知识遗忘进一步展开研究。采用知识编译的思想,提出一种新的多智能体模态逻辑范式K_n-DNF。基于K_n-DNF,我们给出K_n中计算知识遗忘的有效算法,其时间复杂度是K_n-DNF公式长度的多项式时间。(本文来源于《逻辑学研究》期刊2019年02期）
约翰·范本特姆,刘奋荣[8]（2019）在《图博弈的设计与模态逻辑的发展》一文中研究指出图博弈是一种主体间互动的场景,可以使用模态逻辑的语言描述。模态词用来描述博弈玩家的行为,博弈的均衡和玩家的必胜策略则通常用模态逻辑的公式刻画,这些公式具有特定的模式。取决于博弈目标的设定、对玩家互动机制的设计,图博弈有着各种不同的版本。与之对应,模态逻辑的语言不断发展和扩展,新的逻辑系统也呈现不同的性质。逻辑学一方面作为分析现有图博弈的一种方法,另一方面,逻辑学也是设计新博弈的灵感来源。图博弈与逻辑学之间的相互渗透为研究博弈提供了新的视角,也是对博弈论和计算理论方法的重要补充。(本文来源于《清华大学学报(哲学社会科学版)》期刊2019年02期）
赵贤,胡小伟[9]（2019）在《多模态逻辑基础理论研究的基本问题》一文中研究指出多模态逻辑是关于"包含多种模态的逻辑"的研究,它的系统内包含两种或两种以上模态算子,并且算子间不可归约。多模态逻辑旨在为研究多种类型的模态提供统一的形式框架,其基础理论是模态逻辑理论体系的重要组成部分。多模态算子及其表述、多模态逻辑的研究视角、多模态逻辑系统的分离性以及多模态逻辑的语义选择是多模态逻辑基础理论研究的基本问题,上述问题的澄清与解决将有助于多模态逻辑理论的进一步发展。(本文来源于《河北大学学报(哲学社会科学版)》期刊2019年02期）
张晓君,袁娇娇[10]（2019）在《亚里士多德模态叁段论逻辑的形式化公理系统探讨》一文中研究指出利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态叁段论进行形式化和有效性的证明。根据有效的亚里士多德模态叁段论应该遵守的基本规则,可以从6 656个亚里士多德模态叁段论中,筛选出有效的384个模态叁段论。把通过向有效的直言叁段论AAA-1和EAE-1中添加模态词而得到的20个有效模态叁段论作为基础公理,就可以为亚里士多德模态叁段论逻辑建立起形式化公理系统。(本文来源于《湖南科技大学学报(社会科学版)》期刊2019年01期）
模态逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智能体的知识表示与推理。随着多智能体系统研究的发展,多智能体模态逻辑中的知识遗忘也开始被关注。现有研究表明,知识遗忘在不同的多智能体模态逻辑系统中具有不同的性质,且大多无法有效计算。为此,多智能体模态逻辑系统KD45_n中的知识遗忘值得进一步研究。首先,基于模型理论给出知识遗忘的定义;接着,分析KD45_n中知识遗忘的主要性质;最后,提出KD45_n中计算知识遗忘的有效算法。该算法利用人工智能领域解决难求解问题的主要方法之一——知识编译技术,将一般公式编译成交替覆盖析取范式,再利用该范式进行知识遗忘的有效计算。研究结果表明,在KD45_n中满足一些很重要的知识遗忘性质,其计算时间复杂度是交替覆盖析取范式公式长度的多项式时间(原公式长度的双重指数时间)。与现有的非初等时间复杂度算法相比,所提算法更高效、更实用。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模态逻辑论文参考文献
[1].谢倩.对模态命题逻辑的简单介绍[J].山西青年.2019
[2].文习明,方良达,余泉,常亮,王驹.多智能体模态逻辑系统KD45_n中的知识遗忘[J].计算机科学.2019
[3].邓少波,关素洁,王磊,黎敏.基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用[J].南昌工程学院学报.2019
[4].唐渠.多模态语篇中图文逻辑意义和逻辑关系探讨——以一期《青年文摘》为例[J].开封教育学院学报.2019
[5].刘佶鑫.模型论视角下对正规多元模态逻辑的阐述（英文）[J].逻辑学研究.2019
[6].李燕.逻辑语义范畴视域下多模态符际关系识解[J].宝鸡文理学院学报(社会科学版).2019
[7].文习明,方良达,余泉,常亮,王驹.多智能体模态逻辑系统K_n中的知识遗忘[J].逻辑学研究.2019
[8].约翰·范本特姆,刘奋荣.图博弈的设计与模态逻辑的发展[J].清华大学学报(哲学社会科学版).2019
[9].赵贤,胡小伟.多模态逻辑基础理论研究的基本问题[J].河北大学学报(哲学社会科学版).2019
[10].张晓君,袁娇娇.亚里士多德模态叁段论逻辑的形式化公理系统探讨[J].湖南科技大学学报(社会科学版).2019
论文知识图
