期刊文献+
共找到2,617篇文章
< 1 2 131 >
每页显示 20 50 100
论新质生产力生成的微观机制:价值定位、活动重构与协调适配 被引量:2
1
作者 王钦 《上海师范大学学报(哲学社会科学版)》 CSSCI 北大核心 2024年第3期13-21,共9页
新质生产力正在成为推动经济高质量发展的重要着力点,企业作为微观经济主体和科技创新主体,如何向“新”而动,高“质”前行,是当前理论研究中亟须回答的问题。新质生产力更加强调原创性和颠覆性技术创新,这对企业在技术、组织和模式方... 新质生产力正在成为推动经济高质量发展的重要着力点,企业作为微观经济主体和科技创新主体,如何向“新”而动,高“质”前行,是当前理论研究中亟须回答的问题。新质生产力更加强调原创性和颠覆性技术创新,这对企业在技术、组织和模式方面都提出了新要求。文章在文献综述的基础上,从价值定位、活动重构和协调适配三个维度分析新质生产力生成的微观机制,进而对高铁、工业互联网和钢铁产业的典型企业进行案例比较分析,得出三点结论:一是独特的价值定位是新质生产力生成的基本前提。在技术路线不明确的行业领域,企业家对独特价值定位的提出起着关键作用。二是价值定位引导一系列新活动涌现、选择和保留,活动重构是新质生产力生成的源动力。技术成熟度的差异会对企业活动重构的边界和主体间关系的稳定性产生不同影响。三是协调适配能力是新质生产力生产的关键组织能力。在不同情境下,协调适配通过技术供给端的推力和市场需求端的拉力平衡来产生作用。因此,国家在政策制定中,要考虑充分发挥企业家作用、激发创新活动持续涌现、促进多元互补活动发生。 展开更多
关键词 新质生产力 微观机制 价值定位 活动重构 协调适配
下载PDF
江苏省中职职教高考命题研究 被引量:1
2
作者 柴永生 吴昊 《职业教育研究》 2024年第2期37-42,共6页
中职职教高考是中等职业学校毕业生接受高等职业教育的选拔性考试,考试命题在选拔过程中发挥着重要的基础性作用。以江苏省为例,通过问卷对30所中等职业学校的师生进行调查,用SPSS工具对调查结果进行统计分析,探讨中职职教高考的考试定... 中职职教高考是中等职业学校毕业生接受高等职业教育的选拔性考试,考试命题在选拔过程中发挥着重要的基础性作用。以江苏省为例,通过问卷对30所中等职业学校的师生进行调查,用SPSS工具对调查结果进行统计分析,探讨中职职教高考的考试定位。通过完善“文化素质+职业技能”考试招生办法、制定基于课程标准的考试大纲、基于课程核心素养组织命题、采用命题技术控制命题质量等路径,推动职教高考制度发展完善,培养更多高素质技术技能型人才。 展开更多
关键词 职业教育 中职职教高考 命题分析 实施路径
下载PDF
红色资源融入高校体育课程思政的价值及路径研究 被引量:2
3
作者 范果 林晞 《龙岩学院学报》 2024年第2期53-57,共5页
大学体育作为高等院校的公共必修课,是课程育人的前沿阵地,通过将红色文化资源融入到高校体育课程,开展思政教育,让红色文化资源和高校体育课程有机融合,能够实现红色文化育人、红色文化化人的目标,并充分彰显出高校体育课程在“立德树... 大学体育作为高等院校的公共必修课,是课程育人的前沿阵地,通过将红色文化资源融入到高校体育课程,开展思政教育,让红色文化资源和高校体育课程有机融合,能够实现红色文化育人、红色文化化人的目标,并充分彰显出高校体育课程在“立德树人”根本任务落实中的重要价值和功能。文章对红色资源的内涵、类型、特点及其融入高校体育课程思政的价值定位进行了介绍,分析了红色资源融入高校体育课程思政的目标指向,分别从明确体育教学目标、调整体育教学内容、搭建数字教育平台三个方面提出了红色资源融入高校体育课程思政的实践路径。 展开更多
关键词 红色资源 高校体育课程思政 价值定位 目标指向 实践路径
下载PDF
经典逻辑中的模糊命题(Ⅰ)
4
作者 袁学海 《辽宁师范大学学报(自然科学版)》 CAS 2024年第2期145-150,共6页
经典逻辑对命题变元的真值指派为二值的,即为0或1.如果将命题公式中的命题变元的真值指派为[0,1]中的值,则形成了模糊命题,从而形成了模糊逻辑理论.在现有的模糊逻辑中,模糊命题在形式上并不“模糊”,只不过对命题变元做了“模糊”的指... 经典逻辑对命题变元的真值指派为二值的,即为0或1.如果将命题公式中的命题变元的真值指派为[0,1]中的值,则形成了模糊命题,从而形成了模糊逻辑理论.在现有的模糊逻辑中,模糊命题在形式上并不“模糊”,只不过对命题变元做了“模糊”的指派.因此,这种模糊逻辑实际上是“经典命题公式+模糊真值指派”的模糊逻辑.首先在经典命题逻辑中引入了模糊命题的概念,这种模糊命题在形式上就是模糊的,而经典命题是模糊命题的特例.其次,通过对命题变元的二值指派,得到了模糊命题的真值.最后,研究了模糊命题的真值运算性质.研究发现:在经典逻辑系统中引入新的模糊命题的概念后,公式增加了,真值指派没有变,重言式没有减少.本研究可以看作是“模糊命题+二值真值指派”的模糊逻辑. 展开更多
关键词 命题 模糊命题 真值指派 重言式 模糊逻辑
下载PDF
司法裁判如何安置“社会命题”?
5
作者 雷磊 张翅翔 《四川大学学报(哲学社会科学版)》 CSSCI 北大核心 2024年第4期157-169,217,218,共15页
司法裁判中的法律论证要同时运用“规则命题”和“社会命题”。社会命题既能够作为裁判理由增强判决的说服力,又能够成为裁判依据的内容辅助发挥依法裁判的功能。按照说理效果的不同,可区分出法官有强法定义务援引的社会命题,法官有弱... 司法裁判中的法律论证要同时运用“规则命题”和“社会命题”。社会命题既能够作为裁判理由增强判决的说服力,又能够成为裁判依据的内容辅助发挥依法裁判的功能。按照说理效果的不同,可区分出法官有强法定义务援引的社会命题,法官有弱法定义务参照的社会命题,以及法官仅有道德义务去参考的社会命题。不同类型的社会命题与规则命题在法律论证的外部证成层面呈现不同的结构关联:一方面,社会命题可以通过实质理由、解释依据或替补性法源的方式与规则命题相融合;另一方面,社会命题也可能与规则命题发生冲突,在依规则裁判优先的前提下通过设定差异化的论证负担来创制例外。由此,社会命题与规则命题共同致力于实现司法裁判的“二阶正确性”。 展开更多
关键词 社会命题 规则命题 法律论证 司法裁判 裁判理由
下载PDF
新课标背景下语文“命题规划”的理解与实践
6
作者 叶丽新 《课程.教材.教法》 CSSCI 北大核心 2024年第3期75-83,共9页
为落实语文新课标理念、进一步提升命题质量,需重视命题规划。命题规划需统筹考虑多个维度,如目标要求、内容范围与水平标准、考试形式、试卷结构、题型、题量、难度、评分标准等。当前,需依据语文新课标更新部分命题规划维度的所指,从... 为落实语文新课标理念、进一步提升命题质量,需重视命题规划。命题规划需统筹考虑多个维度,如目标要求、内容范围与水平标准、考试形式、试卷结构、题型、题量、难度、评分标准等。当前,需依据语文新课标更新部分命题规划维度的所指,从多个维度改进命题规划实践,如立足语文学习任务群立体规划考试内容,进一步贴合语文学科内容领域特性确定试题考查的认知水平,兼顾试卷的显性结构和隐性结构等。命题规划结果可根据实际需要酌情选用相应载体呈现:可以继续沿用并优化“多维细目表”,也可以编制整合分领域命题细目表与相关说明的“命题框架”,以增强命题规划的针对性与弹性。 展开更多
关键词 命题规划 多维细目表 命题框架 语文新课标
下载PDF
独词句研究:现状与展望
7
作者 黄弋桓 杜世洪 《外语学刊》 CSSCI 北大核心 2024年第4期31-37,共7页
独词句是一种特殊的语言现象,它在形式上极度简化,却能完成一个句子的功能。目前国内的独词句研究主要在非主谓句范畴内开展,国外则是在叹词范畴内讨论。本文总结独词句的研究现状,包括对独词句性质与地位的传统认识,分析传统认识存在... 独词句是一种特殊的语言现象,它在形式上极度简化,却能完成一个句子的功能。目前国内的独词句研究主要在非主谓句范畴内开展,国外则是在叹词范畴内讨论。本文总结独词句的研究现状,包括对独词句性质与地位的传统认识,分析传统认识存在的问题,说明独词句研究的关键在于解决其形式与功能上的不匹配。对此,弗雷格的命题函数理论与维特根斯坦的语言游戏论可以提供解决独词句问题的新思路,据此建立起独词句的新研究范式,推进独词句研究的深入发展。 展开更多
关键词 独词句 性质 地位 命题函数理论 语言游戏论 饱和
下载PDF
中国特色档案学的基本范畴与核心命题
8
作者 徐拥军 闫静 《中国图书馆学报》 CSSCI 北大核心 2024年第3期30-46,共17页
新中国成立后,中国特色档案学先后经历了探索期、发展期和创新期三个发展阶段,形成了具有中国特色的档案学学科体系、学术体系与话语体系。新时代的历史方位下,厘清中国特色档案学的学科内核和学理内涵,是保持学科独立性、提升学科话语... 新中国成立后,中国特色档案学先后经历了探索期、发展期和创新期三个发展阶段,形成了具有中国特色的档案学学科体系、学术体系与话语体系。新时代的历史方位下,厘清中国特色档案学的学科内核和学理内涵,是保持学科独立性、提升学科话语权、推动学科持续发展的必需之举。本文结合中国特色档案学的历史沿革与研究内容,总结出中国特色档案学的四个基本范畴及其十六个核心命题,并阐释范畴之间的内在逻辑关系。在四个基本范畴中,档案的本质及其形成规律是学科的逻辑起点,档案管理核心环节设计及理论应用是学科的立足之道,档案事业研究及其社会服务是学科的生存之基,档案学理论与方法是学科持续发展的活力之源。总结归纳中国特色档案学的基本范畴与核心命题,有助于更新和延展学科内涵,使档案学以全新的面貌立足于学科之林。 展开更多
关键词 档案学 中国自主的知识体系 基本范畴 核心命题 中国特色
下载PDF
全球信任赤字与重建信任的中国方案
9
作者 孙吉胜 《学术前沿》 CSSCI 北大核心 2024年第8期10-22,共13页
信任是国际政治中各国关系保持稳定,促进国际合作,共同应对全球性问题的前提和基础。近年来,国际力量对比发生深刻变化,国际秩序、国际体系日益呈现不稳定性不确定性发展趋势,大国竞争加剧、世界经济增长乏力、全球性问题日益增多,全球... 信任是国际政治中各国关系保持稳定,促进国际合作,共同应对全球性问题的前提和基础。近年来,国际力量对比发生深刻变化,国际秩序、国际体系日益呈现不稳定性不确定性发展趋势,大国竞争加剧、世界经济增长乏力、全球性问题日益增多,全球信任日益被削弱,信任赤字成为当前国际社会需要共同应对的一个重要问题。信任赤字会破坏全球共识的达成,影响国际制度的运行以及各国的团结协作。作为负责任大国,中国一直致力于为共同应对全球性挑战、增进国际社会团结互信贡献中国智慧和中国方案。未来,中国可以在理念、方案和行动等方面继续发挥作用,推动各国树立对未来发展和前进目标的信心,树立对共同应对全球性挑战的信心,树立对大国关系以及对全球共同发展和共同迈向现代化的信心,推动世界走向和平、安全、繁荣、进步的光明前景。 展开更多
关键词 信任赤字 重建信任 国际秩序 中国方案
下载PDF
即时语用推理中的言语行为转喻理论:困境与对策
10
作者 李怀奎 《山东外语教学》 北大核心 2024年第4期32-40,共9页
言语行为转喻理论有两方面不足:仅考虑脚本及其成分(分别相当于话语的施事用意和话语本身)的关系,没有述及成分的字面和隐含脚本之间和成分的字面与隐含命题内容之间的联系,更没有触及它们的推理机制;想当然地认为脚本及其成分所构成的... 言语行为转喻理论有两方面不足:仅考虑脚本及其成分(分别相当于话语的施事用意和话语本身)的关系,没有述及成分的字面和隐含脚本之间和成分的字面与隐含命题内容之间的联系,更没有触及它们的推理机制;想当然地认为脚本及其成分所构成的整体-部分关系是即时语用推理迅捷性的保证,没有说明推理的语境依赖性。解决办法有两点:(1)明确字面和隐含施事用意没有转喻联系。隐含施事用意的获取首要取决于命题内容,其次是语境、相邻对和会话的协商性等。(2)隐含命题内容需要通过溯果推理获得,即字面和隐含命题内容之间均可以构成松散的因果关系,是转喻的体现。结论是:即时语用推理涉及转喻,但它只存在于对命题内容的推理之中,所以本文言及的转喻机制和Panther&Thornburg的有本质不同。 展开更多
关键词 言语行为转喻 命题内容 施事用意 推理机制
下载PDF
依托于翻转课堂模式的医学教育题库建设及优化
11
作者 王强 周雅轩 吴东 《基础医学与临床》 CAS 2024年第9期1324-1327,共4页
题库建设在医学教育中的重要性不言而喻,然而当前的临床教学考核题库存在诸多问题,包括考核与临床的不协调、题库更新的不连贯、命题与学生学习阶段的不配适等。为解决这些问题,本文探索了翻转课堂衔接学生自主命题的教学模式,并分析了... 题库建设在医学教育中的重要性不言而喻,然而当前的临床教学考核题库存在诸多问题,包括考核与临床的不协调、题库更新的不连贯、命题与学生学习阶段的不配适等。为解决这些问题,本文探索了翻转课堂衔接学生自主命题的教学模式,并分析了翻转课堂应用于题库建设的优势。二者的衔接可以有效建立题库定期更新机制,改善当前医学教育中的题库建设问题,在提升学生自主学习能力的同时,提高教学考核质量。 展开更多
关键词 医学教育 翻转课堂 自主命题 题库建设
下载PDF
习近平总书记教育重要论述已形成比较完善成熟的思想体系
12
作者 周洪宇 《河北师范大学学报(教育科学版)》 CSSCI 北大核心 2024年第4期1-9,共9页
党的十八大以来,习近平总书记在教育建设方面提出了一系列原创性的新思想新观点新论断,内涵丰富,论述深刻,形成了习近平总书记教育重要论述。习近平总书记教育重要论述以“育人”为逻辑起点,其形成蕴含着深刻的实践逻辑、理论逻辑与历... 党的十八大以来,习近平总书记在教育建设方面提出了一系列原创性的新思想新观点新论断,内涵丰富,论述深刻,形成了习近平总书记教育重要论述。习近平总书记教育重要论述以“育人”为逻辑起点,其形成蕴含着深刻的实践逻辑、理论逻辑与历史逻辑。习近平总书记教育重要论述包含“党的领导”“立德”“树人”等基本范畴、“九个坚持”等基本命题、十一个方面的战略部署等基本主张以及“六个必须坚持”等马克思主义立场、观点和方法。习近平总书记教育重要论述是中国特色社会主义教育理论发展的最新成果,开辟了马克思主义教育理论中国化时代化的新境界,体现了科学性、系统性、人民性、实践性和创新性的统一,具有重要的政治意义、理论意义、实践意义、文化意义和世界意义。习近平总书记教育重要论述已经形成比较完善成熟的思想体系,对其进行理论升华的时机已经成熟。 展开更多
关键词 习近平总书记教育重要论述 基本范畴 基本命题 思想体系
下载PDF
1942年中共改善国共关系的努力与根据地建设
13
作者 郭辉 《安徽史学》 CSSCI 北大核心 2024年第6期75-83,111,共10页
1941年至1942年,因日军“扫荡”、国民党军事冲突和磨擦等,抗日根据地的建设处于最严重困难时期。中国共产党为渡过难关将改善国共关系纳入考虑范畴,该谋划最终虽不了了之,但中共为配合改善国共关系在根据地采取相应措施,坚持原有根据... 1941年至1942年,因日军“扫荡”、国民党军事冲突和磨擦等,抗日根据地的建设处于最严重困难时期。中国共产党为渡过难关将改善国共关系纳入考虑范畴,该谋划最终虽不了了之,但中共为配合改善国共关系在根据地采取相应措施,坚持原有根据地而非打出去,切实减轻根据地民众负担;提出抗战胜利的时间表,提振根据地民众胜利的信心;提出与宣传战后建国方针,赢得民众广泛而坚定的支持。中共通过自身努力,使政治主张符合民众利益、愿望和需求,加强根据地建设与民众的联系,深得民心。这些举措扩大了中国共产党政治影响力,也是中共在全民族抗战中中流砥柱作用的鲜明昭示。 展开更多
关键词 抗日根据地 中国共产党 国共关系 政治主张
下载PDF
西部高校数学院系人工智能创新人才培养实践
14
作者 徐增敏 蒙儒省 《教育教学论坛》 2024年第22期173-176,共4页
深化高等学校创新创业教育改革,是国家实施创新驱动发展战略的重要举措。人工智能时代社会信息化程度越来越高,西部高校身处经济欠发达地区,师资条件和人才培养模式相对落后,急需激发师生主观能动性,强化创新创业教育理念,紧密结合企业... 深化高等学校创新创业教育改革,是国家实施创新驱动发展战略的重要举措。人工智能时代社会信息化程度越来越高,西部高校身处经济欠发达地区,师资条件和人才培养模式相对落后,急需激发师生主观能动性,强化创新创业教育理念,紧密结合企业需求与专业教育,促进学生全面发展,推动毕业生高质量就业。桂林电子科技大学数学与计算科学学院依托教师创新创业团队,借助企业命题的人工智能研发项目,驱动优秀学生提前接触学科交叉知识和双创实践活动,配合科技公司工程师完成算法模型的分析与设计,探索创新人才培养的发展道路。 展开更多
关键词 交叉学科 企业命题 创新创业
下载PDF
带“得”动补式中“能够/能/可能”的位序变化
15
作者 刘街生 《汉语学报》 CSSCI 北大核心 2024年第1期120-128,共9页
带“得”动补式中“能够”“能”通常表达根情态。结果补语结构中它们的位序由句子的语义决定,理论上不可改变;描写补语结构中,若非辖域因素影响,它们的位序可变,但实例中基本都位于“得”前。带“得”动补式中“可能”表达认识情态,若... 带“得”动补式中“能够”“能”通常表达根情态。结果补语结构中它们的位序由句子的语义决定,理论上不可改变;描写补语结构中,若非辖域因素影响,它们的位序可变,但实例中基本都位于“得”前。带“得”动补式中“可能”表达认识情态,若非辖域因素影响,其在“得”前后的位序变化自由。一些带“得”动补式中“能够”“能”“可能”在“得”前后的位序可变是因为,第一,带“得”动补式成分项之间的关系是既有一定的并立性,也有一定的非并立性;第二,“得”标明了主动词事件和补动词事件之间有蕴涵关系;第三,此时,“得”后成分为焦点所在。 展开更多
关键词 动力/道义/认识情态 事件/命题情态 结果/描写补语结构 主次关系
下载PDF
巴尼时代企业校园雇主价值主张模型的构建及应用
16
作者 赵磊 关敬男 《中国人事科学》 2024年第10期67-79,共13页
良好的雇主品牌形象和匹配的雇主价值主张(EVP)能够增强应聘者及潜在应聘者的个人-组织匹配感和求职行为。校园招聘日益成为企业优化人力资源配置的首选招聘方式。巴尼时代,Z世代大学生价值主张的变迁引起了其在就业预期、择业观念、职... 良好的雇主品牌形象和匹配的雇主价值主张(EVP)能够增强应聘者及潜在应聘者的个人-组织匹配感和求职行为。校园招聘日益成为企业优化人力资源配置的首选招聘方式。巴尼时代,Z世代大学生价值主张的变迁引起了其在就业预期、择业观念、职业规划的新变化,对职业场景的关注要素愈加个性和自我。文章通过质性分析方法,以企业人力资源管理者和应届高校毕业生为调研访谈对象,对新时代大学生就业价值主张进行总结,并从成长价值、生活价值、环境价值和心理价值四个维度构建了企业校园雇主价值主张模型。研究结果显示,Z世代大学生的就业心态更加务实和理性,对于雇主特征关注更加个性和多元。建议通过前置形象宣传、丰富合作内涵、创新活动形式、优化跟踪服务,强化大学生对校园雇主品牌的“认识”“认知”“认可”和“认同”。 展开更多
关键词 巴尼时代 企业校园招聘 大学生 雇主价值主张
下载PDF
论“孔颜之乐”美学命题价值
17
作者 岳进 周伟 《温州大学学报(社会科学版)》 2024年第1期1-12,共12页
“孔颜之乐”命题的演变经历了宋儒前的语词诠释、宋儒以来的哲学命题诠释和王国维以来的美学命题诠释三个历程。从美感问题出发,围绕美学史发生逻辑,“孔颜之乐”美学命题有两方面的内涵:其一是人格美感,即“从吾所好”的审美情趣观、... “孔颜之乐”命题的演变经历了宋儒前的语词诠释、宋儒以来的哲学命题诠释和王国维以来的美学命题诠释三个历程。从美感问题出发,围绕美学史发生逻辑,“孔颜之乐”美学命题有两方面的内涵:其一是人格美感,即“从吾所好”的审美情趣观、“君子上达”的审美意志观与“忧道不忧贫”的审美认知观;其二是艺术美感,即“曲―数―志―人”的四层境界论与“哀而不伤,乐而不淫”的艺术评价“中庸”之道。“孔颜之乐”美学命题的价值主要为发展当代美学基础理论与解决当下民众自身的精神困境,有益于当代美学基础理论立足“人生美学”,并为当下民众探索“诗意地栖居”生活模式提供了理论思路。 展开更多
关键词 孔颜之乐 美学命题 美感 人生美学
下载PDF
命题逻辑中文字块矛盾型及子句正则矛盾体
18
作者 王成龙 何星星 +3 位作者 臧珲 李莹芳 王丹琛 李天瑞 《计算机科学》 CSCD 北大核心 2024年第7期272-277,共6页
归结原理是自动推理中一种简洁、可靠且完备的推理规则。基于矛盾体分离的自动演绎理论是归结原理的延伸,矛盾体是该理论的核心部分。由于矛盾体结构复杂且生成策略较少,因此文中提出了一种新的生成矛盾体的策略,即利用多个标准矛盾体... 归结原理是自动推理中一种简洁、可靠且完备的推理规则。基于矛盾体分离的自动演绎理论是归结原理的延伸,矛盾体是该理论的核心部分。由于矛盾体结构复杂且生成策略较少,因此文中提出了一种新的生成矛盾体的策略,即利用多个标准矛盾体生成文字块矛盾型,再通过添加互补矛盾集得到新的矛盾体。重点讨论了具有特殊结构的文字块矛盾型生成的矛盾体,即子句正则矛盾体的性质,这些性质说明了具有特定结构的子句正则矛盾体添加子句后仍然是矛盾体。最后,提出了矛盾体的生成算法,为在计算机上实现新的矛盾体的生成提供参考。 展开更多
关键词 标准矛盾体 命题逻辑 文字块矛盾型 子句正则矛盾体
下载PDF
系统观视域下国家公园生态补偿机制构建 被引量:5
19
作者 丘水林 黄茂兴 《中国国土资源经济》 2024年第1期20-28,共9页
建立健全国家公园生态补偿机制是推动建设人与自然和谐共生的中国式现代化的重大任务。国家公园生态补偿机制并不是补偿主客体、补偿标准、补偿方式、绩效评估等中心要素的机械组合或简单相加,而是具有一定结构和功能并时刻处于动态发... 建立健全国家公园生态补偿机制是推动建设人与自然和谐共生的中国式现代化的重大任务。国家公园生态补偿机制并不是补偿主客体、补偿标准、补偿方式、绩效评估等中心要素的机械组合或简单相加,而是具有一定结构和功能并时刻处于动态发展变化中的有机整体。系统观视域下,国家公园生态补偿机制是以对整个系统起决定性作用的中心要素为突破口,调整优化系统与要素、要素与要素、系统与外部环境之间相互联系、相互作用的内容和方式。着眼于国家公园生态补偿机制存在的制度隐忧,亟需完善系统演化发展的制度保障、分区分类实施差别化补偿标准、因地制宜探索组合型补偿方式、建立并实施综合绩效评估体系。 展开更多
关键词 国家公园 生态补偿 系统观 价值旨归 实践路向
下载PDF
命题逻辑中一类正则标准矛盾体的构造与复合
20
作者 臧珲 何星星 +2 位作者 王成龙 李莹芳 李天瑞 《计算机科学》 CSCD 北大核心 2024年第1期295-300,共6页
归结原理是自动推理中一种简洁、可靠且完备的推理规则,标准矛盾体分离演绎理论是二元归结的一个延拓。矛盾体的结构非常复杂,现有的矛盾体种类和生成策略较少。针对该问题,文中基于命题逻辑的标准矛盾体分离演绎理论,首先通过复合两个... 归结原理是自动推理中一种简洁、可靠且完备的推理规则,标准矛盾体分离演绎理论是二元归结的一个延拓。矛盾体的结构非常复杂,现有的矛盾体种类和生成策略较少。针对该问题,文中基于命题逻辑的标准矛盾体分离演绎理论,首先通过复合两个或多个正则标准矛盾体,得到了生成新矛盾体的多个复合策略;其次,提出了一类特殊标准矛盾体结构——复合正则标准矛盾体,丰富了矛盾体的结构特征;然后讨论了复合得到的新矛盾体不同子句的可扩充性,进而得到相应的文字添加策略;最后,提出了矛盾体的生成算法,为进一步在计算机上实现新矛盾体的生成提供了参考。 展开更多
关键词 命题逻辑 标准矛盾体 复合正则标准矛盾体 复合策略 文字添加策略
下载PDF
上一页 1 2 131 下一页 到第
使用帮助 返回顶部