矛盾体

作品数：315被引量：109H指数：5
导出分析报告
相关领域：文化科学经济管理更多>>
相关作者：何星星徐扬陈树伟钟小梅刘军更多>>
相关机构：西南交通大学江西理工大学河北大学南京师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家社会科学基金教育部人文社会科学研究基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一阶逻辑定理证明器CSE中矛盾体分离式的简化方法
《计算机科学》2025年第5期235-240,共6页吴鑫 陈树伟 姜世攀 
国家自然科学基金(61976130)。
一阶逻辑自动定理证明器能够解决大量形式化后的实际问题,具有重要的应用价值。矛盾体分离演绎发展了自动定理证明领域经典的归结原理,具有更强的证明能力。在基于矛盾体分离规则的自动定理证明器CSE(Contradiction Separation Extensi...
关键词：矛盾体分离 矛盾体分离式简化 最简矛盾体分离式 互补信息 证明器 
开源与专利的双赢密码:DeepSeek如何用开放与保护赢得AI未来?
《创意世界》2025年第3期35-37,共3页赵江南 
开源与专利常被视为一对矛盾体。然而,在人工智能(AI)领域,杭州深度求索人工智能基础技术研究有限公司(DeepSeek)却凭借独到的战略眼光,成功在二者之间构建起和谐的桥梁。它既吸引了全球开发者的积极参与,又有效保护了自身核心技术,在A...
关键词：基础技术研究 AI 开源 专利 开发者 矛盾体 
基于多属性决策的一阶逻辑子句选择方法
《西南交通大学学报》2025年第1期185-193,共9页曾国艳 徐扬 陈树伟 姜世攀 
国家自然科学基金项目(61976130)。
基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP性能的关键研究方向.主流的启发式策略通常通过描述子句属性来确定属性优先级,从而选择子句,但属性优先级受人为因素影响,且评估子...
关键词：一阶逻辑 矛盾体分离规则 启发式策略 多属性决策 熵权法 
基于矛盾体分离的多元冲突演绎方法及应用
《武汉大学学报(理学版)》2024年第6期671-679,共9页曹锋 郭海林 易见兵 李俊 吴贯锋 
国家自然科学基金(62366017,62066018,62106206);江西省科技厅资助项目(20212ACB202003);江西省教育厅资助项目(GJJ210828,GJJ200818,GJJ180482)。
基于二元归结的冲突演绎方法在每个演绎步骤只处理两个子句,其寻求冲突的演绎效率有待提升。提出了一种基于矛盾体分离的多元冲突演绎方法,给出了矛盾体分离多元冲突演绎的定义、学习子句的生成方法、演绎可靠性证明、演绎特点、演绎方...
关键词：二元归结 冲突演绎 矛盾体分离 学习子句 证明器 
矛盾体分离单元结果演绎方法及应用
《计算机工程与科学》2024年第12期2252-2260,共9页曹锋 谢燏 易见兵 李俊 
国家自然科学基金(62366017,62066018);江西省教育厅项目(GJJ200818,GJJ210828);赣州市科技计划项目(GZKJ20206030);江西理工大学博士启动基金(205200100060)。
一阶逻辑自动定理证明是人工智能领域重要的研究内容。为提高单元结果归结演绎效率,提出了一种新的基于多元、动态、协同的单元结果演绎方法,称为矛盾体分离单元结果演绎方法,并详细地给出了其演绎定义、演绎方法、演绎的优势分析及算...
关键词：一阶逻辑 自动定理证明 人工智能 单元结果归结 矛盾体分离规则 
矛盾体分离超演绎方法及应用
《计算机应用》2024年第10期3074-3080,共7页曹锋 杨小玲 易见兵 李俊 
国家自然科学基金资助项目(62366017,62066018);江西省教育厅科研项目(GJJ200818,GJJ210828);赣州市科技计划项目(GZKJ20206030);江西理工大学博士启动基金资助项目(205200100060)。
作为当前自动定理证明器中常用的推理机制,传统基于二元演绎超归结方法的推理过程限定每次有且只有2个子句参与演绎,这种分离的演绎步骤导致演绎缺失导向性和预判性,演绎效率有待提升。为了提升演绎效率,在理论上,针对传统的超归结方法...
关键词：定理证明器 二元演绎 超归结 多元演绎 矛盾体分离 
命题逻辑中文字块矛盾型及子句正则矛盾体
《计算机科学》2024年第7期272-277,共6页王成龙 何星星 臧珲 李莹芳 王丹琛 李天瑞 
中央高校基本科研业务费专项资金(2682020ZT107);国家自然科学基金(62106206);教育部人文社科项目(19YJCZH048,20XJCZH016);四川省科技计划(2023YFH0066)。
归结原理是自动推理中一种简洁、可靠且完备的推理规则。基于矛盾体分离的自动演绎理论是归结原理的延伸,矛盾体是该理论的核心部分。由于矛盾体结构复杂且生成策略较少,因此文中提出了一种新的生成矛盾体的策略,即利用多个标准矛盾体...
关键词：标准矛盾体 命题逻辑 文字块矛盾型 子句正则矛盾体 
从哈姆莱特的矛盾体形象论延宕
《雨露风》2024年第7期0052-0054,共3页朱治平 
威廉·莎士比亚的《哈姆莱特》不仅是一部永垂不朽的文学经典,更是一部深刻揭示人性复杂面貌和反映社会变迁的杰作。哈姆莱特,这位复杂而多面的主角,其延宕行为一直是文学、心理学和哲学领域探讨的热点。文章旨在深入剖析哈姆莱特延宕...
刘禹锡:成熟与任性对抗的矛盾体
《全国优秀作文选（初中）》2024年第4期8-11,共4页陈双元 
自称是汉中山靖王刘胜之后的刘禹锡,其“家本儒素,业在艺文”,在儒家、道家、佛家经典熏陶下志存高远,二十多岁三登文科,参与“永贞革新”大施拳脚辅时济世;革新失败后贬谪边州,仍积极进取,凭借卓异的政治才干和求用务实的从政作风深受...
关键词：刘禹锡 永贞革新 诗豪 矛盾体 积极进取 志存高远 
命题逻辑中一类正则标准矛盾体的构造与复合
《计算机科学》2024年第1期295-300,共6页臧珲 何星星 王成龙 李莹芳 李天瑞 
中央高校基本科研业务费专项资金(2682020ZT107);国家自然科学基金(62106206);教育部人文社科项目(19YJCZH048,20XJCZH016);四川省科技计划(2023YFH0066)。
归结原理是自动推理中一种简洁、可靠且完备的推理规则,标准矛盾体分离演绎理论是二元归结的一个延拓。矛盾体的结构非常复杂,现有的矛盾体种类和生成策略较少。针对该问题,文中基于命题逻辑的标准矛盾体分离演绎理论,首先通过复合两个...
关键词：命题逻辑 标准矛盾体 复合正则标准矛盾体 复合策略 文字添加策略 
全选清除导出
共32页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部