子句

作品数：229被引量：455H指数：10
导出分析报告
相关领域：自动化与计算机技术语言文字更多>>
相关作者：徐扬曹锋易见兵周国栋何星星更多>>
相关机构：西南交通大学上海达梦数据库有限公司华中科技大学吉林大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家高技术研究发展计划国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于多属性决策的一阶逻辑子句选择方法
《西南交通大学学报》2025年第1期185-193,共9页曾国艳 徐扬 陈树伟 姜世攀 
国家自然科学基金项目(61976130)。
基于一阶逻辑的自动定理证明器(ATP)在知识表达和自动推理研究中占据重要地位,而启发式策略则是提升ATP性能的关键研究方向.主流的启发式策略通常通过描述子句属性来确定属性优先级,从而选择子句,但属性优先级受人为因素影响,且评估子...
关键词：一阶逻辑 矛盾体分离规则 启发式策略 多属性决策 熵权法 
一种基于子句稳定度的多元动态演绎算法及应用
《广西师范大学学报（自然科学版）》2024年第6期164-176,共13页曹锋 王家帆 易见兵 李俊 
国家自然科学基金(62366017,62066018);江西省教育厅项目(GJJ200818,GJJ210828);赣州市科技计划项目(GZKJ20206030);江西理工大学博士启动基金(205200100060)。
一阶逻辑自动定理证明是人工智能领域的核心基础。启发式策略在提升一阶逻辑自动定理证明器方面备受关注,其中根据子句属性选择较优子句参与演绎为重要的研究内容。基于矛盾体分离规则,将子句中的文字分为构建标准矛盾体的文字和构建矛...
关键词：一阶逻辑 定理证明 人工智能 启发式策略 多元动态演绎 
基于矛盾体分离的多元冲突演绎方法及应用
《武汉大学学报(理学版)》2024年第6期671-679,共9页曹锋 郭海林 易见兵 李俊 吴贯锋 
国家自然科学基金(62366017,62066018,62106206);江西省科技厅资助项目(20212ACB202003);江西省教育厅资助项目(GJJ210828,GJJ200818,GJJ180482)。
基于二元归结的冲突演绎方法在每个演绎步骤只处理两个子句,其寻求冲突的演绎效率有待提升。提出了一种基于矛盾体分离的多元冲突演绎方法,给出了矛盾体分离多元冲突演绎的定义、学习子句的生成方法、演绎可靠性证明、演绎特点、演绎方...
关键词：二元归结 冲突演绎 矛盾体分离 学习子句 证明器 
伪布尔约束的一种模型计数方法
《计算机科学》2024年第S02期150-154,共5页郑苏豪 牛秦洲 陶小梅 
国家自然科学基金(61906051)。
伪布尔约束问题是一类与布尔约束问题相似的组合优化难题。解决这类问题的核心在于以不同的数学形式对伪布尔约束进行编码,例如线性规划、整数规划以及其他形式的组合优化。当前流行的解决方法是将问题转化为布尔公式,然后运用冲突导向...
关键词：伪布尔约束 SAT问题 模型计数 知识编译 子句 
子句充分性评估的多元动态演绎算法及应用被引量：1
《华中科技大学学报（自然科学版）》2024年第11期153-160,共8页曹锋 潘世成 易见兵 李俊 
国家自然科学基金资助项目(62066018,62106206)。
为了充分体现子句参与多元动态演绎的灵活性、协同性和充分性,将参与多元演绎的子句划分为主动子句和被动子句,提出一种不同类型的子句充分性评估方法,能较好体现子句的充分性演绎且避免重复路径的搜索.基于该子句评估方法提出一种充分...
关键词：多元动态演绎 回溯机制 演绎路径 一阶逻辑 自动定理证明器 
上下偏量及其单调性--直接/间接量化与算子套叠
《同济大学学报（社会科学版）》2024年第4期109-119,共11页陈振宇 
国家社会科学基金重大项目“形式语义学的汉语研究与形式语义学理论创新”(22&ZD295)子课题“否定的语义与极性现象”。
上/下偏量算子的性质是广义量词理论中研究的重要对象,但对它们的单调性计算尚无系统的讨论。当句子中只有一个算子时,广义量词理论较好地描写了其语义,也即上偏量算子左右单调上升,下偏量算子左右单调下降。但是,广义量词理论没有注意...
关键词：上偏量 下偏量 单调性 单一算子句 算子套叠 
命题逻辑中文字块矛盾型及子句正则矛盾体
《计算机科学》2024年第7期272-277,共6页王成龙 何星星 臧珲 李莹芳 王丹琛 李天瑞 
中央高校基本科研业务费专项资金(2682020ZT107);国家自然科学基金(62106206);教育部人文社科项目(19YJCZH048,20XJCZH016);四川省科技计划(2023YFH0066)。
归结原理是自动推理中一种简洁、可靠且完备的推理规则。基于矛盾体分离的自动演绎理论是归结原理的延伸,矛盾体是该理论的核心部分。由于矛盾体结构复杂且生成策略较少,因此文中提出了一种新的生成矛盾体的策略,即利用多个标准矛盾体...
关键词：标准矛盾体 命题逻辑 文字块矛盾型 子句正则矛盾体 
基于深度学习的子句级文本摘要模型
《计算机与数字工程》2024年第7期2135-2140,共6页房一泉 沈斌 程华 杜嘻嘻 
赛尔网络下一代互联网技术创新项目(编号:NGII20170520)资助。
针对文本自动摘要任务中整句级抽取式模型存在摘要过于冗余,以及训练目标与评价目标不匹配的问题,论文提出了一种基于深度学习的子句级文本摘要模型(CS-ASum)。首先,基于依存句法从原文中抽取子句级单元;然后,利用基于BERT预训练模型和...
关键词：文本摘要 深度学习 子句级 依存句法 ROUGE评测 
基于子句单元的异构图网络抽取式文本摘要
《中文信息学报》2024年第6期119-128,共10页林群凯 陈钰枫 徐金安 张玉洁 刘健 
国家自然科学基金(61976016,61976015,61876198)。
的目标是将长文本进行压缩、归纳和总结,从而形成具有概括性含义的短文本,其能帮助人们快速获取文档的主要信息。当前大多数的抽取式文本摘要的研究都是以整句作为抽取单元,而整句作为抽取单元会引入冗余信息,因此该文考虑使用粒度更细...
关键词：子句 异构图 抽取式摘要 
求解加权偏MaxSAT问题的通用子句加权方法
《计算机学报》2024年第6期1341-1354,共14页郑迥之 何琨 
国家自然科学基金项目(U22B2017)资助.
最大可满足性问题(Maximum Satisfiability Problem,MaxSAT)是著名的可满足性问题(Satisfiability Problem,SAT)的优化形式,也是一个经典的NP难组合优化问题.加权偏MaxSAT(Weighted Partial MaxSAT,WPMS)是最一般的一类MaxSAT问题,其中...
关键词：最大可满足性问题 局部搜索 子句加权技术 历史信息 
全选清除导出
共24页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部