【摘 要】
：
本文提出了二阶修正KROM逻辑(SO-KROMr),二阶扩展KROM逻辑(SO-EKROM)和二阶扩展修正KROM逻辑(SO-EKROMr),并对他们的表达能力和复杂性进行了研究.本文证明了在有序结构上,Σ11-KROMr与Σ11-KROM等价,可以刻画NL;而SO-EKROM与Π12-EKROM等价,他们都可以刻画co-NP.在所有结构上,Π12-KROMr与Π12-EKROMr等价,他们也都可以刻画co-NP.
【机 构】
：
南通大学信息科学技术学院;中山大学逻辑与认知研究所
论文部分内容阅读
本文提出了二阶修正KROM逻辑(SO-KROMr),二阶扩展KROM逻辑(SO-EKROM)和二阶扩展修正KROM逻辑(SO-EKROMr),并对他们的表达能力和复杂性进行了研究.本文证明了在有序结构上,Σ11-KROMr与Σ11-KROM等价,可以刻画NL;而SO-EKROM与Π12-EKROM等价,他们都可以刻画co-NP.在所有结构上,Π12-KROMr与Π12-EKROMr等价,他们也都可以刻画co-NP.
其他文献
医养结合是我国积极应对人口老龄化的重要举措,但其运行状况参差不齐.为剖析我国医养结合运行的影响因素及其机制,本文对5则医养结合案例进行比较分析发现:“主动嵌入型”医养结合运行状况优于“吸纳嵌入型”.基于双层嵌入理论视角构建分析框架,对差异原因及机制进行分析发现:医疗机构对医养结合收益存在误判,导致其经济动机无法得到满足,同时非经济动机也未得到政府和社会的正向回馈,进而影响了医疗机构服务提供内生动力;基层医疗机构缺乏纵向资源整合导致嵌入程度不足,无法满足老人多样化需求.只有端正对医养结合收益的认知,筛选适宜
危机中的政府官员会采取各种方式规避责任.在公共危机中,问责压力、管理任务的不确定性和责任范围的扩大共同塑造了政府官员强烈的避责动机,而官僚运作模式又为其避责行为提供了一定的弹性空间.已有研究表明,官员在危机应对中会采取多种方式规避责任,但对于官僚制如何提供消解责任的逻辑缺乏关注.本研究从实证研究的角度出发,通过对收集到的2020年新冠疫情防控期间的全国官员问责情况进行分析,发现官员问责在不同层级和部门间具有一定的结构性差异.这种差异在很大程度上可能是由于官员的避责策略不同而引起的,科层制下的中间层级官员避
当前国家正大力推进生态文明建设,构建环境治理体系.这给环保组织带来了极大的发展机遇.环保组织开始更加注重专业能力建设,努力提高“专业做事”的行动能力.那么在宏观层面的制度情景和微观层面的组织资源的影响下,在制度空间和行动者自主性的互构下,拥有不同资源的环保组织是否发展出了不同的行动策略?而这些行动策略又如何受到制度环境和个体禀赋的影响?传统的社会组织行动策略研究立足于结构主义的视角;而本研究关注环保组织资源禀赋与其行动的关联,并提出了一个“结构-组织”视角下的分析框架,以此分析新时期环保组织的行动策略.根
马克思主义的影响力和理论魅力随着时间推移而历久弥新.永葆马克思主义的理论活力,要善于挖掘党的理论和实践创新的宝贵经验,坚持“守正”与创新的统一;要善于把握“两个大局”、新的历史方位以及社会主要矛盾的转变,从中寻找创新发展马克思主义的现实依据;要立足新时代,为永葆马克思主义旺盛生命力提供制度保障、主体力量、实践基础和重要方法.
本文从法律逻辑视角探讨了司法证明中证据与事实之间的证据推理,并提出运用过程的明示化是实现理性证明的重要保证.证据推理的目的是构建案件事实,其过程是多种推理类型的综合运用,但从证据到案件事实的构建,背后的理念是一种最佳解释推论.最佳解释推论是异于演绎推理、归纳推理、类比推理的新型推理模式,它包括构建解释、比较解释、选择解释这三个思维过程.最佳解释推论为法律逻辑学的实践转向提供了新的视野和研究方法,对我国司法改革和司法证明的科学化具有重要的借鉴意义.
一、问题的提出rn联合国相关数据显示:2019年全球国际移民数量为2.72亿,占到全球人口总数的3.5％.目前,国际移民增速快于全球人口增长速度.[1]可以说,全球已经进入“移民时代”,“国际移民浪潮”席卷了几乎世界上所有国家.因此,国际移民问题已经成为全球治理体系中的重大议题.[2]在每个国家亟待处理的国际移民问题中,首要的就是移民的融入问题.
廉政治理体系和治理能力现代化是国家治理体系和治理能力现代化的重要组成部分.目前我国对廉政治理体系的研究还不深入,缺乏专门的绩效评价研究,尤其是纪检监察体制改革以来,廉政评估、测量体系暴露出概念界定不清、指标内容陈旧、测量客体缺位、推广利用率低等问题.文章基于全面深化纪检监察体制改革视阈,梳理了当下国内外对于廉政治理绩效评价的研究现状,重点分析了研究中存在的主要问题,并针对如何健全优化评价体系、客观反映各级纪检监察机关的廉政治理绩效提出建议.
抽象概率论辩是用于建模不完备、不确定信息推理的一种重要逻辑工具.关于概率论辩语义的求解,现有的基于特征化子图的方法可以在很大程度上提高算法的计算效率,但在枚举特征子图时仍存在一定的盲目性.针对该问题,本文在现有方法的基础上提出了一种基于迭代分解的改进方法,通过对概率论辩框架进行迭代分解,减小了枚举域的大小,降低了计算量.实验结果表明,改进方法在计算速度上较原算法有所提高,提升幅度约为2个数量级.
积极开展大学生思想教育工作对于促进社会发展具有重要现实意义.在当前社会背景下,高职院校学生面临着党史教育重视性不够,主要教育阵地“两课”教育功能作用不够,教育方法单一和缺少党史教育考核机制等问题.通过党史教育形式对高职院校学生开展党史教育,将党史教育作为思想政治教育的重中之重;创新党史教育阵地,创新教育方法和强化考核机制等对策,有助于大学生坚定理想信念,提升大学生党员党性修养水平.
熊明(2020)把初等元胞自动机与自指语句结合起来进行研究,建立起二者在演化过程方面的紧密关联.沿此路径,本文主要考虑一类称为总和型的二维冯诺依曼型元胞自动机,给出其自指语句表达形式.并且通过利用自指语句的性质,寻找元胞自动机相对应的不动点,将其与自指悖论相联系.同时,通过分析其演化过程的(不)稳定性特征,进行了相应的分类.