云南高校图书馆联盟文献共享服务平台- 动态逻辑

动态逻辑: 作品数：74被引量：135H指数：5; 导出分析报告; 相关领域：自动化与计算机技术哲学宗教更多>>; 相关作者：李必信翟小祥陈乔乔李加凯朱敏更多>>; 相关机构：东南大学国际商业机器公司中国社会科学院哲学研究所华东师范大学更多>>; 相关期刊：更多>>; 相关基金：国家自然科学基金国家社会科学基金国家重点基础研究发展计划教育部“新世纪优秀人才支持计划”更多>>

预算绩效管理创新扩散的动态逻辑——面向中国省份的事件史分析: 《中国行政管理》2024年第12期80-92,共13页李佳鹏王红梅; 国家社会科学基金一般项目“我国政府部门预算参与和管理绩效作用机理的模型建构与实证检验研究”(编号:20BZZ060);教育部人文社会科学青年项目“基于序参量识别的政府投资基金绩效评价指标体系研究”(编号:19YJC630005);汕头大学科研启动经费项目(编号:STF24022T);广东省人文社会科学重点研究基地——汕头大学地方政府发展研究所开放基金课题(编号:07423002)。; 进入21世纪,中国各省份在预算绩效管理改革方面经历了事后绩效评价“首轮创新”和全过程预算绩效管理“次轮创新”。这种多轮次创新扩散是如何发生的?不同轮次创新扩散是否遵循相同的逻辑?本文采用事件史分析法,从动态视角考察了预算绩...; 关键词：创新扩散预算绩效管理政策扩散事件史分析

基于轨迹交叉理论的危化品运输事故分析: 《中国储运》2024年第9期140-140,共1页石宇; “危化品”是易燃、易爆有强烈腐蚀性的物品的统称。危化品的危险化学特性导致其在运输过程中会遭受天气、温度、地点等多种因素的影响,存在一定的运输风险,如果在运输途中发生事故,往往造成较大的伤亡。近年来,危化品事故的发生大部分...; 关键词：运输途中危化品运输爆炸事故动态逻辑轨迹交叉理论槽罐车运输风险温岭市

动态逻辑电子图纸在信号集中监测系统中的应用被引量：1: 《铁道通信信号》2024年第7期77-83,共7页陶晶何会连冯德贵杨勇; 中国铁路成都局集团有限公司科研重点项目(CX21079)。; 铁路信号图纸是信号工程施工、日常维护和应急处置的重要依据。为此提出利用信号集中监测系统的动态逻辑电子图纸功能,将信号图纸电子化、动态化、逻辑化,并与监测数据结合,实现实时动态的信号电路数字孪生显示,同步展现电路中关键开关...; 关键词：动态逻辑电子图纸信号原理图图实一致性数字孪生信号集中监测

命题动态逻辑的基本思想及其扩展系统被引量：1: 《贵州工程应用技术学院学报》2023年第1期59-65,共7页张呈张晓君; 国家社科基金后期项目“面向人工智能的信念——愿望——意图逻辑的哲学基础及前沿问题研究”,项目编号:22FZXB092。; 计算机的一切操作都是由程序控制的;人工智能不仅是计算机智能,而且是计算机的应用和技术的延伸;动态逻辑是关于程序的多模态逻辑,是能够对程序进行形式化推理的多个程序逻辑的总称;命题动态逻辑是动态逻辑的子系统和基础系统,可以表征...; 关键词：动态逻辑命题动态逻辑程序模态逻辑

逻辑基础理论与概念的新探索——2021年国内逻辑学研究述评: 《中国哲学年鉴》2022年第1期173-181,共9页贾青刘新文; 2021年的逻辑学研究成果主要集中于两个研究方向:一是基础理论方面的研究,例如对“所以”以及算术基本概念的讨论、对“弹弓论证”的解读以及直觉主义逻辑和模态对应理论的研究等;二是哲学逻辑方向,其中又以认知逻辑、论辩逻辑和动态逻...; 关键词：逻辑学研究哲学逻辑直觉主义逻辑认知逻辑动态逻辑基础理论弹弓论证论辩逻辑

破坏模态逻辑的算法对应理论被引量：2: 《逻辑学研究》2022年第6期66-92,共27页赵之光; supported by Taishan University Starting Grant “Studies on Algebraic Sahlqvist Theory”;the Taishan Young Scholars Program of the Government of Shandong Province,China (tsqn201909151);the Support Plan on Science and Technology for Youth Innovation of Uni-versities in Shandong Province (2021KJ086)。; 破坏模态逻辑是一种动态逻辑。它在静态模态逻辑的基础上加入了一个动态算子,解释成“在删掉一条边后,公式为真”。在本文中,我们试图解决一个开放问题,即给出破坏模态逻辑的Sahlqvist对应定理。我们定义破坏模态逻辑的Sahlqvist公式,...; 关键词：模态逻辑动态逻辑对应定理

主持人语: 《文化研究》2022年第4期3-5,共3页王晓路; 人类发展大致延续了从依附自然条件到按照设计生存的轨迹,其聚居地以及活动范围从村落、城镇、城市至大都市,是人类社会化生存最为显见的物理性坐标,各区域群体的认知图示和文化特质均与此密切相关。近代以降,各区域不仅在都市化进程中...; 关键词：群体观念都市文化主持人动态逻辑结构性变迁深度介入经济模式都市化进程

现代逻辑关于辩证思维现象的思考被引量：1: 《学术研究》2022年第5期22-29,45,F0002,177,共11页邹崇理姚从军; 国家社科基金重大项目“面向计算机人工智能的组合范畴语法研究”(17ZDA027)的阶段性成果。; 思考现代逻辑对辩证思维现象的刻画是涉及多门学科的工作,对此,辩证逻辑研究几十年来产生了各种各样的探索进路。我们选择对标注逻辑、动态逻辑以及哲思逻辑等现代逻辑分支关注的辩证思维现象进行考量。然后,从辩证思维现象的个案个例出...; 关键词：辩证思维现象标注逻辑动态逻辑哲思逻辑语言逻辑

动态逻辑的双重性:程序化与结构化被引量：2: 《贵州工程应用技术学院学报》2022年第2期58-62,共5页郝一江; 国家社科基金后期项目“人工智能视域下的一阶动态逻辑与Agent行为推理及其哲学反思”,项目编号:20FZXB037。; 随着计算机科学和信息科学的发展,形式化的现代逻辑逐渐与数学融为一体,难分彼此。动态逻辑不但像现代逻辑的其他分支一样,实现了符号化、公理化和形式化,而且还具有程序化特征和结构化特征。动态逻辑是程序化的多模态逻辑,具有明显的...; 关键词：动态逻辑数学程序结构

叙事性文本口译输出前的动态逻辑构图: 《科技资讯》2021年第17期167-169,共3页刘韵; 口译是一种对译员的综合业务能力与素养要求较高的翻译类别。译员在承担口译工作时,一般会采用聚焦于具体的词句做笔记、点对点听译的模式,整个思维过程偏被动。在面对叙事性文本时,为压缩思考时间,加快即时反应的速度,译员应尝试变被...; 关键词：叙事性文本时间主轴灵魂人物逻辑关联预估后文动态构图

动态逻辑