【摘 要】
：
动态逻辑与计算机程序语言的关系非常密切，不仅能够直接提供便于计算机处理的算法，而且还能为计算机理解自然语言提供理论依据，因此动态逻辑是人工智能逻辑的重要组成部分。命题动态逻辑（PDL）是动态逻辑的基础系统，因此命题动态逻辑是研究动态逻辑的一个很好的切入点。文章以Harel等（2000）、Benevides（2014）等相关文献为基础，主要关注命题动态逻辑（及其扩展）。本研究希望不仅可以促进动态逻辑
论文部分内容阅读
动态逻辑与计算机程序语言的关系非常密切，不仅能够直接提供便于计算机处理的算法，而且还能为计算机理解自然语言提供理论依据，因此动态逻辑是人工智能逻辑的重要组成部分。命题动态逻辑（PDL）是动态逻辑的基础系统，因此命题动态逻辑是研究动态逻辑的一个很好的切入点。文章以Harel等（2000）、Benevides（2014）等相关文献为基础，主要关注命题动态逻辑（及其扩展）。本研究希望不仅可以促进动态逻辑的深入发展，而且可以为人工智能中的知识表示、知识推理和模型构建提供形式支撑。
文章从命题动态逻辑中最基础的正则命题动态逻辑入手，首先对命题动态逻辑系统的相关概念进行梳理，给出正则命题动态逻辑的演绎系统及相关性质，然后重点阐述命题动态逻辑的扩展系统?命题动态逻辑中的互模拟程序和逻辑等值程序，并以这个扩展系统为例，分析命题动态逻辑扩展系统的构造要素及方法，最后在此基础上，分析其他命题动态逻辑的扩展系统，并进一步总结命题动态逻辑的主要扩展途径以及用处。文章主要结构如下：
第一章为绪论，简要阐述了所选择课题的研究背景、研究意义、国内外的研究现状、研究的基本思路和主要内容。
第二章主要介绍了正则命题动态逻辑的相关基础知识，包括正则命题动态逻辑的句法、语义、演绎系统、基本性质及其完全性，之后简要介绍了非正则命题动态逻辑系统，并给出该系统的相关性质和结论。
第三章阐述命题动态逻辑的扩展系统??命题动态逻辑中的互模拟程序和逻辑等值程序，通过介绍命题动态逻辑PDL+的构成要素和构造方式，进一步探讨了命题动态逻辑的主要扩展途径以及用处。
第四章从结构主义的视角简要探讨了命题动态逻辑与数学结构主义的关系。
第五章是对未来研究的展望，简要的说明了文章研究的不足以及未来研究应该关注的问题。
第六章是文章的结语。
其他文献
农业投资投入的增长与波动,是农业发展波动的一个重要因素.农业资金投入的有关问题一直都是中国农业理论与实践部门研究的重要课题.该文通过对各农业投资主体投资行为的研究,并进一步分析中国农业资金投入的现状,以期从中挖掘规律,找出不足,为确保中国农业资金投入的合理增长提出建议.
知识扩散是知识生产的必要条件之一，知识扩散能够完成知识的传承，加速知识创新的步伐。研究知识扩散的规律能在一定程度上降低知识搜寻的成本，提高信息搜寻效率，优化结果，找到与需求匹配的优质信息。知识扩散能带动学科研究方法、研究理论的创新，同时学科内部通过知识扩散完成知识的传承和延续。 知识扩散在科学领域是以文献间的引用关系来表现的，本文以Web of Science当中收录的2009年-2018年数字
学术评价是科研活动中的重要环节，一直是学术界普遍关注的问题。随着我国科研事业的快速发展，现行学术评价体系暴露出种种弊端。长期缺乏科学合理的学术评价体系和评价机制，会影响学术发展。了解国内外学术评价研究现状，有助于研究者准确认识中国学术评价研究态势和在世界中的位置及影响，丰富学术评价相关研究。本研究深入分析国内外学术评价研究的期刊论文，比较国内外研究中的异同点，梳理我国学术评价研究中存在的问题，以期
学术图书是学术活动和研究成果的重要知识载体，发挥着文化交流与传承的作用。学术图书一般受到知识产权以及语种等因素的影响，难以实现数字化流通，这在很大程度上阻碍了其被有效利用。同时，各种新型数字化媒体可以为学者提供多种便捷、低廉、优质的信息服务，这在一定程度上冲击了图书的传统地位，学术图书若要继续保持学术影响力，实现数字化转型是必由之路。目前，许多科研人员和读者面临的一个重要问题，是如何快速发现图书中
“治理”这一活跃在公共管理领域的学术术语在“国家治理”实践深入推进的背景之下又化身为热词活跃在档案学研究领域，档案治理、数据治理、档案数据治理等概念成为档案学学科新的研究理论范畴和实践前沿工作新词。本文选取浙江省为研究案例，分析和总结浙江省档案数据治理工作的体系构架，并试图构建档案数据治理体系的一般模型，以期在理论上，完善我国档案数据治理理论研究;在实践上，为我国的档案数据治理工作的持续深入发展提
当今社会经济快速发展，市场经济体制不断完善，对高校会计档案工作提出了更高的要求，2016年新《会计档案管理办法》（以下简称《办法》）的颁布更是为会计档案工作提供了制度依据。新《办法》虽然已经实施四年，按照新《办法》安排会计档案工作的高校不少，但是由于各高校在长期的工作当中已经形成了既定的方法和流程，即使高校跟随新思路进行会计档案工作的革新，在实际工作中也存在一些问题。如何成功地管理高校会计档案并找
在企业不断进行信息化升级改造的背景下，大多数企业已经建成了各式各样的管理信息系统，随之也产生了大量电子数据，由于技术单方面快速发展，而管理手段和相关标准规范的更新相对滞后，使得企业对这些具有保留价值的电子数据——电子文件的管理仍然要依靠实体的纸，这违背了企业想要提升效率和效能的初衷。同时电子文件单轨制管理也纳入了国家战略，电子文件单轨制管理成为电子文件领域研究的热点问题，因此企业电子文件管理模式走
人工智能的发展成为我国经济发展的新引擎和社会建设的新机遇。“人工智能+档案”跨界融合应用将对档案服务理念、服务方式、服务内容和服务人员产生变革性影响，使档案变得更加“智慧”，让档案服务变得更加“智慧”，为档案管理智慧化转型升级赋能。国内外已经初步研究了人工智能在档案管理领域应用的可行性与理论模型建构，但是目前档案学界的相关研究内容缺乏足够的案例研究，也缺乏对“人工智能+档案”的研究现状和实践案例的
乡村美学作为中国美学的重要组成部分有着独特的审美趣味,对中国当代乡村的现代化建设具有重要的指导作用。现如今,城市化进程加速,一边是农村的农民工进城,寻求更美好的生活,一边是城市人想回归乡村,享受与世无争、世外桃源式的平淡生活。而实际情况却是,城市的文化伦理对乡村的冲击极其激烈。农村不仅在经济、文化上的短板日益突出,还特别表现在乡村文化失去了认同的基础,传统道德伦理式微;乡贤文化的出走,乡村精英的标
自1978年改革以来,中国城市化的急剧转型和膨胀滋育了一种高度刺激与焦虑的社会感知环境,加剧了现代城市个体的孤独体验。与此同时,第六代导演初登影坛,其作品都带有鲜明的现代电影特征。作为第六代影人的代表人物之一,从《周末情人》到《风中有朵雨做的云》,娄烨的电影呈现出强烈的个人化风格,其影像大都以转型时期的中国城市为题材,孤独群像、晃动镜头、阴暗的色调是他偏纪实影像的艺术特征,并借此表现他对世界的认知