搜索到618篇“ 子句“的相关文章
- 相互作用的情感与原因子句提取模型
- 2024年
- 无情感标注的原因提取获得较多关注。由于情感与原因是相互影响的,基于此,提出相互作用的情感与原因子句提取模型,加入相互作用的注意力矩阵提取情感与原因之间的关联性,进而提高情感子句与原因子句的提取效果。实验结果表明相互作用的注意力矩阵能显著提高模型效果。
- 陆丁天张志远刘佩佩于得水
- 关键词:情感分析注意力
- 基于深度学习的子句级文本摘要模型
- 2024年
- 针对文本自动摘要任务中整句级抽取式模型存在摘要过于冗余,以及训练目标与评价目标不匹配的问题,论文提出了一种基于深度学习的子句级文本摘要模型(CS-ASum)。首先,基于依存句法从原文中抽取子句级单元;然后,利用基于BERT预训练模型和基于Transformer模型的编码器获得子句的向量表示,得到初步候选摘要;最后,通过摘要匹配器计算候选摘要和原文的语义得分,得到最佳摘要。在CNN/Daily Mail数据集上的实验结果表明,CS-ASum在自动评测和人工评测中均优于对比模型,相较于表现最好的生成式摘要模型和抽取式摘要模型,CS-ASum的平均ROUGE指标值分别提高了0.76%和1.07%,由此可见,CS-ASum模型在自动文本摘要任务中比基础模型获得了更简洁、更忠于原文的摘要。
- 房一泉房一泉程华程华
- 关键词:文本摘要
- 求解加权偏MaxSAT问题的通用子句加权方法
- 2024年
- 最大可满足性问题(Maximum Satisfiability Problem,MaxSAT)是著名的可满足性问题(Satisfiability Problem,SAT)的优化形式,也是一个经典的NP难组合优化问题.加权偏MaxSAT(Weighted Partial MaxSAT,WPMS)是最一般的一类MaxSAT问题,其中包含了必须要满足的硬子句,对应了优化问题中的约束条件,以及带权重的软子句,对应了优化问题中的优化目标.WPMS旨在满足所有硬子句的同时最大化被满足软子句的权重之和.工业场景中和学术领域中的许多优化问题都能够转化成WPMS问题进行求解,因此WPMS具有广泛的应用领域和重要的研究意义.局部搜索方法是求解WPMS问题的一种著名且被广泛研究的非完备方法.子句加权技术是WPMS局部搜索算法中常用的一种有效且关键的技术,通过为子句赋予动态权重并在搜索过程中更新它们以引导搜索方向,帮助算法逃离局部最优.最先进的WPMS局部搜索算法都提出或采用了有效的子句加权技术,以帮助它们在不同的解空间中搜索.然而,现有的子句加权技术仅根据当前局部最优解更新子句动态权重,而未考虑任何历史信息,可能导致子句加权的视野局限,对搜索方向的引导不够准确.为了解决这一问题,提出了一种新的子句加权技术,称为Hist-Weighting(Clause Weighting with Historical Information),同时考虑了当前及历史信息来更新子句的动态权重,以改进子句加权机制和局部搜索算法的搜索精度和效率.具体而言,Hist-Weighting为那些同时被当前和历史局部最优解所不满足的子句赋予更大的动态权重增量,使算法更倾向于满足那些久未被满足且难以被满足的子句,提高子句加权的准确度.此外,在Hist-Weighting中,子句动态权重的增量能够根据子句中的变元得分自适应地调整,使子句加权更具有灵活性.Hist-Weighting还为子句动态权重的增量设置了上下限,保证了子句加权的稳定性.为了评估所提出�
- 郑迥之何琨
- 关键词:局部搜索历史信息
- 基于子句单元的异构图网络抽取式文本摘要
- 2024年
- 的目标是将长文本进行压缩、归纳和总结,从而形成具有概括性含义的短文本,其能帮助人们快速获取文档的主要信息。当前大多数的抽取式文本摘要的研究都是以整句作为抽取单元,而整句作为抽取单元会引入冗余信息,因此该文考虑使用粒度更细的抽取单元。已有研究表明,细粒度的子句单元比整句单元在抽取式摘要上更具有优势。结合当下热门的图神经网络,该文提出了一种基于子句单元异构图网络的抽取式摘要模型,有效融合了词、实体和子句单元等不同层次的语言信息,能够实现更细粒度的抽取式摘要。在大规模基准语料库(CNN/DM和NYT)上的实验结果表明,该模型产生了突破性的性能并优于以前的抽取式摘要模型。
- 林群凯陈钰枫徐金安张玉洁刘健
- 关键词:子句
- 命题逻辑中文字块矛盾型及子句正则矛盾体
- 2024年
- 归结原理是自动推理中一种简洁、可靠且完备的推理规则。基于矛盾体分离的自动演绎理论是归结原理的延伸,矛盾体是该理论的核心部分。由于矛盾体结构复杂且生成策略较少,因此文中提出了一种新的生成矛盾体的策略,即利用多个标准矛盾体生成文字块矛盾型,再通过添加互补矛盾集得到新的矛盾体。重点讨论了具有特殊结构的文字块矛盾型生成的矛盾体,即子句正则矛盾体的性质,这些性质说明了具有特定结构的子句正则矛盾体添加子句后仍然是矛盾体。最后,提出了矛盾体的生成算法,为在计算机上实现新的矛盾体的生成提供参考。
- 王成龙何星星臧珲李莹芳王丹琛李天瑞
- 关键词:命题逻辑
- 一阶逻辑定理证明器中的无效子句删除策略
- 2024年
- 在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的精确率,在理论上,基于纯文字规则对子句进行再分类。第一类称为无效子句,该类子句不能通过等词替换与某个子句形成互补对,此类子句应完全删除;第二类为相对无效子句,该类子句无法与当前子句集中的子句形成互补对,但能进行等词替换,此类子句应在参与演绎后综合考虑是否删除。在算法实现中,考虑到子句的消去应是动态的过程,当前消去的子句会影响已判断的子句的无效性,提出一种用于判定子句无效性的递归遍历算法。将上述子句约简规则应用于证明器CSE1.5(Contradiction Separation Extension 1.5)中,以2019—2022的CADE(Conference on Automated DEduction)自动定理证明(ATP)系统竞赛中一阶逻辑问题组为测试对象。在300 s内,应用所提算法的CSE1.5_IC比原始CSE1.5总共多证明了27个问题。在两个版本证明器共同证明的所有FNE(FOF theorems without Equality)测试例中,CSE1.5_IC比CSE1.5平均每个问题多约简了28个子句,平均求解时间减少了7.07 s。实验结果表明,所提无效子句约简算法是一种有效的预处理方式,能够提高一阶逻辑子句集的约简精确率,同时能够提高自动定理证明器的证明能力和缩短证明时间。
- 姜世攀陈树伟陈树伟
- 关键词:一阶逻辑
- 数值与子句信息增强解码的数学应用题自动求解方法及系统
- 本发明涉及一种数值与子句信息增强解码的数学应用题自动求解方法及系统,该方法包括以下步骤:步骤A:采集数学应用题、答案,构建数学应用题训练集DS;步骤B:使用训练集DS,训练数值与子句信息增强解码的深度学习网络模型G,用于...
- 陈羽中徐俊杰陈子阳
- 基于子句抽取的文本摘要自动提取算法被引量:1
- 2024年
- TextRank算法及SWTextRank等改进算法在抽取式摘要生成中得到了广泛的应用,但它们都没有有效地解决抽取式摘要所存在的冗余性问题。为此,提出一种基于子句抽取的文本摘要自动提取算法(PTextRank)。首先,使用Sinica Treebank(STB)对每个句子进行语法标记,进而基于子句设置抽取单元;接着,使用BERT(Bidirectional Encoder Representation from Transformers)构建标题和每个子句的特征向量,并计算子句特征向量间的相似性,将其存放在相似度矩阵中;最后结合子句位置、子句与标题的相似度等调整子句相似度矩阵,迭代计算直至收敛,进而选取得分最高的子句作为最终摘要。实验分析表明,PTextRank算法有效地避免了多个句子中存在的冗余信息,且相比于TextRank和SWTextRank,PTextRank生成摘要的准确率至少提高6%,同时生成的摘要质量更好。
- 朱兵兵罗飞罗勇军丁炜超黄浩
- 关键词:篇章结构
- 一种多意图子句切分方法、装置和电子设备
- 本公开提供一种多意图子句切分方法、装置和电子设备,涉及数据处理技术领域,解决了现有技术中随着语音信息的不断增加,采用人工标注的方式对语音信息进行子句切分时,会出现子句切分的效率较低的问题。该方法包括:接收语音信息;对语音...
- 唐乾斌袁小雨徐超陈伟
- 基于子句依赖和语义对齐的数学单词问题智能求解模型
- 本发明属于自然语言处理技术领域,公开了基于子句依赖和语义对齐的数学单词问题智能求解模型;具体技术方案为:建立问题求解模型对子句之间的依赖关系进行建模,学习较低层次的子句语义,提出一种多视图方法来捕获子句层次的关系,在局部...
- 刘斌降春雯武欣雅张倩段云凤
相关作者
- 徐扬
- 作品数:279被引量:1,112H指数:15
- 供职机构:西南交通大学数学学院
- 研究主题:格蕴涵代数 格值命题逻辑 滤子 子句 命题逻辑
- 何星星
- 作品数:38被引量:45H指数:4
- 供职机构:西南交通大学数学学院
- 研究主题:矛盾体 命题逻辑 一阶逻辑 机器证明 子句
- 周国栋
- 作品数:385被引量:1,203H指数:19
- 供职机构:苏州大学计算机科学与技术学院
- 研究主题:文本 分类器 语料 最大熵 中文
- 易见兵
- 作品数:37被引量:52H指数:5
- 供职机构:江西理工大学信息工程学院
- 研究主题:定理证明 子句 奇异值分解 存储介质 矛盾体
- 曹锋
- 作品数:24被引量:31H指数:3
- 供职机构:江西理工大学信息工程学院
- 研究主题:定理证明 子句 混沌加密 存储介质 矛盾体