导读:本文包含了逻辑刻画论文开题报告文献综述及选题提纲参考文献，主要关键词:道义逻辑,STIT逻辑,应是,应做
逻辑刻画论文文献综述
贾青[1]（2019）在《刻画不同应当算子的STIT逻辑》一文中研究指出应是语句与应做语句是道义逻辑所刻画的两类重要的语句。贝尔纳普等曾利用STIT逻辑给出了应做语句的叁种定义方式,这叁种定义方式分别通过对行动中主事性因素的不同要求来给出应做语句的不同构造。在应做语句的这叁种定义的基础上,我们将利用STIT逻辑给出一个探讨两类语句间联系和区别的系统进而体现主事性的不同要求对两类语句间关系的影响。(本文来源于《世界哲学》期刊2019年05期）
冯予力[2]（2019）在《全称量化逻辑与英汉全量限定词的语义刻画——以every和“每”为例》一文中研究指出本文全面考察英汉全量限定词every和"每"的语义差异,进而探讨全称量化逻辑与自然语言表量成分之间的匹配度。文章提出:全称量化逻辑能较好地定义和描写every的语义;而"每"则具有语义多样性,其意义和功能包括全称量化、加合操作以及引入变量,因此单靠全称量化逻辑无法对之进行完整和准确的描写。"每"的多重语义促使我们从新的角度审视量化成分的语义和量化理论的构建,也说明直接套用量化逻辑来解析自然语言表量成分的意义是不可行的,逻辑研究不能替代自然语言意义的研究。(本文来源于《外语教学与研究》期刊2019年02期）
申宇铭,郝天永,张倩生[3]（2018）在《描述逻辑εL~■和εLU~■表达力的刻画与比较》一文中研究指出逻辑的表达力及其推理问题的计算复杂性一直是逻辑研究的两个重点.描述逻辑是一族重要的知识表示语言,目前,国内外对其计算复杂性的研究成果比较丰富.而对其表达力的研究相对较少.从逻辑语义的角度看,解释之间的互模拟关系是刻画表达力的一个有效途径,其较具代表性的结论是刻画命题模态逻辑表达力的van Benthem定理.文中主要研究了包含顶概念、原子概念、原子概念否定、概念交和完全存在约束等5个概念构造子的描述逻辑εL~■,给出了εL~■模拟关系,建立了刻画εL~■表达力的van Benthem定理.在εL~■基础之上,再增加概念并构造子,还给出了刻画εLU~■表达力的van Benthem定理.在这些工作的基础上,给出了εL、εL~■、εLU和εLU~■等4个系统表达力之间的比较结果.再依据若干概念包含关系问题的计算复杂性结果,明确了如下结论:在表达力要求不高的情形下,可以优先选择εL作为知识的表示语言.而对表达力要求较高的情形下,应该优先选择ALC作为知识的表示语言.同时,在没有特殊要求的情况下,应尽量避免使用εL~■、εLU和εLU~■作为知识的表示语言.(本文来源于《计算机学报》期刊2018年04期）
王淑庆[4]（2016）在《“合适行动”的一种逻辑刻画》一文中研究指出"合适行动"是行动哲学和人工智能领域的一个重要概念,其基本元素包括"意图"、"能够"和"致使"。用邻域语义可以比较好地刻画意图、能够和致使及其相互间的形式关系,从而间接地刻画了合适行动。这种形式刻画不仅有助于分析意向行动,而且还能够分析意向行动的两种特殊形式:偶然成功行动和行动失败。(本文来源于《逻辑学研究》期刊2016年03期）
王轶[5]（2015）在《汉语“知道”的逻辑刻画》一文中研究指出经典认知逻辑中的知道算子具有性质"知道的皆为真",但这不符合汉语直观。在汉语中,所知之事的真假还取决于认识能力的高低。本文提出一种觉知模型来解释汉语中的"知道"。在此类模型下,"知道?"可以解读为"在当前觉知情形下认识到?"。当前状态并不一定被觉知,由此解决所知皆真的问题。文章引入觉知语义学,将其与信念逻辑进行对比,然后给出公理系统并证明其完全性。(本文来源于《逻辑学研究》期刊2015年02期）
于超[6]（2015）在《时间副词“永远”的时态逻辑刻画》一文中研究指出为了有利于人们对时间副词"永远"进行语义理解、运用以及与相关时间副词的语义衍推,运用时态逻辑的分析方法,对时间副词"永远"进行逻辑语义分析,归纳出"永远"的4种时点集类型,从而推导出时间副词"永远"与其他时间副词在语言交际中的关系,揭示出时间副词"永远"在时态上的作用。(本文来源于《重庆理工大学学报(社会科学)》期刊2015年05期）
张兴兴,邓楠轶,马占有,李永明[7]（2015）在《广义可能性互模拟及其逻辑刻画》一文中研究指出首先,给出了基于广义可能性测度的计算树逻辑的扩展GPoCTL*、计算树逻辑的约简GPoCTL-以及带回报的计算树逻辑GPoRCTL的语构和语义。在经典互模拟和广义可能性测度的基础上讨论了广义可能性互模拟及其相关性质。最后证明了GPoCTL、GPoCTL*和GPoCTL-公式与互模拟状态之间的等价关系。(本文来源于《计算机工程与科学》期刊2015年05期）
张清俐,郝日虹[8]（2014）在《逻辑语义学：以逻辑方法刻画自然语言结构》一文中研究指出如何使计算机高效识别、处理日常生活中的自然语言，正成为众多学科联合攻关的热门研究领域，涉及的学科包括逻辑学、语言学、计算机科学等。基于各种自然语言的计算机处理系统、语言翻译软件等相继问世，但仍未有一项成果能够完全“打通”自然语言与计算机信息处理两种差异性(本文来源于《中国社会科学报》期刊2014-12-19）
申宇铭,文习明,王驹[9]（2014）在《描述逻辑FL_0概念及术语公理集的表达能力刻画》一文中研究指出表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。(本文来源于《计算机科学》期刊2014年12期）
贾青[10]（2014）在《因果型连动结构的逻辑刻画》一文中研究指出逻辑学以及形式语义学对汉语连动结构的研究一般都停留在一阶逻辑的层面上,即通过一阶逻辑中的形式化方法给出连动结构的形式化构造。但是在对不同类型连动结构进行更为深入的研究时,一阶逻辑这一工具就显的不够了。本文中,作者将以因果型连动结构为研究对象,利用一阶模态逻辑为其构建形式系统并尝试给出因果型连动结构和途径–目的型连动结构之间的区别和联系。(本文来源于《逻辑学研究》期刊2014年03期）
逻辑刻画论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文全面考察英汉全量限定词every和"每"的语义差异,进而探讨全称量化逻辑与自然语言表量成分之间的匹配度。文章提出:全称量化逻辑能较好地定义和描写every的语义;而"每"则具有语义多样性,其意义和功能包括全称量化、加合操作以及引入变量,因此单靠全称量化逻辑无法对之进行完整和准确的描写。"每"的多重语义促使我们从新的角度审视量化成分的语义和量化理论的构建,也说明直接套用量化逻辑来解析自然语言表量成分的意义是不可行的,逻辑研究不能替代自然语言意义的研究。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
逻辑刻画论文参考文献
[1].贾青.刻画不同应当算子的STIT逻辑[J].世界哲学.2019
[2].冯予力.全称量化逻辑与英汉全量限定词的语义刻画——以every和“每”为例[J].外语教学与研究.2019
[3].申宇铭,郝天永,张倩生.描述逻辑εL~■和εLU~■表达力的刻画与比较[J].计算机学报.2018
[4].王淑庆.“合适行动”的一种逻辑刻画[J].逻辑学研究.2016
[5].王轶.汉语“知道”的逻辑刻画[J].逻辑学研究.2015
[6].于超.时间副词“永远”的时态逻辑刻画[J].重庆理工大学学报(社会科学).2015
[7].张兴兴,邓楠轶,马占有,李永明.广义可能性互模拟及其逻辑刻画[J].计算机工程与科学.2015
[8].张清俐,郝日虹.逻辑语义学：以逻辑方法刻画自然语言结构[N].中国社会科学报.2014
[9].申宇铭,文习明,王驹.描述逻辑FL_0概念及术语公理集的表达能力刻画[J].计算机科学.2014
[10].贾青.因果型连动结构的逻辑刻画[J].逻辑学研究.2014