期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
244
篇文章
<
1
2
…
13
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
FOXPRO命令中SCOPC与FOR/WHILE子句的使用
1
作者
王宝吉
杨建伟
《电脑学习》
1998年第1期46-48,共3页
关键词
Foxpro命令
SCOPC
子句
for/while子句
数据库
全文增补中
一阶逻辑定理证明器中的无效子句删除策略
被引量:
2
2
作者
姜世攀
陈树伟
曾国艳
《计算机应用》
CSCD
北大核心
2024年第3期677-682,共6页
在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的...
在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的精确率,在理论上,基于纯文字规则对子句进行再分类。第一类称为无效子句,该类子句不能通过等词替换与某个子句形成互补对,此类子句应完全删除;第二类为相对无效子句,该类子句无法与当前子句集中的子句形成互补对,但能进行等词替换,此类子句应在参与演绎后综合考虑是否删除。在算法实现中,考虑到子句的消去应是动态的过程,当前消去的子句会影响已判断的子句的无效性,提出一种用于判定子句无效性的递归遍历算法。将上述子句约简规则应用于证明器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。实验结果表明,所提无效子句约简算法是一种有效的预处理方式,能够提高一阶逻辑子句集的约简精确率,同时能够提高自动定理证明器的证明能力和缩短证明时间。
展开更多
关键词
自动推理
一阶逻辑
子句
删除
纯文字规则
无效
子句
下载PDF
职称材料
基于子句单元的异构图网络抽取式文本摘要
3
作者
林群凯
陈钰枫
+2 位作者
徐金安
张玉洁
刘健
《中文信息学报》
CSCD
北大核心
2024年第6期119-128,共10页
的目标是将长文本进行压缩、归纳和总结,从而形成具有概括性含义的短文本,其能帮助人们快速获取文档的主要信息。当前大多数的抽取式文本摘要的研究都是以整句作为抽取单元,而整句作为抽取单元会引入冗余信息,因此该文考虑使用粒度更细...
的目标是将长文本进行压缩、归纳和总结,从而形成具有概括性含义的短文本,其能帮助人们快速获取文档的主要信息。当前大多数的抽取式文本摘要的研究都是以整句作为抽取单元,而整句作为抽取单元会引入冗余信息,因此该文考虑使用粒度更细的抽取单元。已有研究表明,细粒度的子句单元比整句单元在抽取式摘要上更具有优势。结合当下热门的图神经网络,该文提出了一种基于子句单元异构图网络的抽取式摘要模型,有效融合了词、实体和子句单元等不同层次的语言信息,能够实现更细粒度的抽取式摘要。在大规模基准语料库(CNN/DM和NYT)上的实验结果表明,该模型产生了突破性的性能并优于以前的抽取式摘要模型。
展开更多
关键词
子句
异构图
抽取式摘要
下载PDF
职称材料
命题逻辑中文字块矛盾型及子句正则矛盾体
4
作者
王成龙
何星星
+3 位作者
臧珲
李莹芳
王丹琛
李天瑞
《计算机科学》
CSCD
北大核心
2024年第7期272-277,共6页
归结原理是自动推理中一种简洁、可靠且完备的推理规则。基于矛盾体分离的自动演绎理论是归结原理的延伸,矛盾体是该理论的核心部分。由于矛盾体结构复杂且生成策略较少,因此文中提出了一种新的生成矛盾体的策略,即利用多个标准矛盾体...
归结原理是自动推理中一种简洁、可靠且完备的推理规则。基于矛盾体分离的自动演绎理论是归结原理的延伸,矛盾体是该理论的核心部分。由于矛盾体结构复杂且生成策略较少,因此文中提出了一种新的生成矛盾体的策略,即利用多个标准矛盾体生成文字块矛盾型,再通过添加互补矛盾集得到新的矛盾体。重点讨论了具有特殊结构的文字块矛盾型生成的矛盾体,即子句正则矛盾体的性质,这些性质说明了具有特定结构的子句正则矛盾体添加子句后仍然是矛盾体。最后,提出了矛盾体的生成算法,为在计算机上实现新的矛盾体的生成提供参考。
展开更多
关键词
标准矛盾体
命题逻辑
文字块矛盾型
子句
正则矛盾体
下载PDF
职称材料
相互作用的情感与原因子句提取模型
5
作者
陆丁天
张志远
+1 位作者
刘佩佩
于得水
《计算机应用与软件》
北大核心
2024年第6期200-207,共8页
无情感标注的原因提取获得较多关注。由于情感与原因是相互影响的,基于此,提出相互作用的情感与原因子句提取模型,加入相互作用的注意力矩阵提取情感与原因之间的关联性,进而提高情感子句与原因子句的提取效果。实验结果表明相互作用的...
无情感标注的原因提取获得较多关注。由于情感与原因是相互影响的,基于此,提出相互作用的情感与原因子句提取模型,加入相互作用的注意力矩阵提取情感与原因之间的关联性,进而提高情感子句与原因子句的提取效果。实验结果表明相互作用的注意力矩阵能显著提高模型效果。
展开更多
关键词
情感
子句
原因
子句
情感分析
注意力
相互作用矩阵
下载PDF
职称材料
基于深度学习的子句级文本摘要模型
6
作者
房一泉
沈斌
+1 位作者
程华
杜嘻嘻
《计算机与数字工程》
2024年第7期2135-2140,共6页
针对文本自动摘要任务中整句级抽取式模型存在摘要过于冗余,以及训练目标与评价目标不匹配的问题,论文提出了一种基于深度学习的子句级文本摘要模型(CS-ASum)。首先,基于依存句法从原文中抽取子句级单元;然后,利用基于BERT预训练模型和...
针对文本自动摘要任务中整句级抽取式模型存在摘要过于冗余,以及训练目标与评价目标不匹配的问题,论文提出了一种基于深度学习的子句级文本摘要模型(CS-ASum)。首先,基于依存句法从原文中抽取子句级单元;然后,利用基于BERT预训练模型和基于Transformer模型的编码器获得子句的向量表示,得到初步候选摘要;最后,通过摘要匹配器计算候选摘要和原文的语义得分,得到最佳摘要。在CNN/Daily Mail数据集上的实验结果表明,CS-ASum在自动评测和人工评测中均优于对比模型,相较于表现最好的生成式摘要模型和抽取式摘要模型,CS-ASum的平均ROUGE指标值分别提高了0.76%和1.07%,由此可见,CS-ASum模型在自动文本摘要任务中比基础模型获得了更简洁、更忠于原文的摘要。
展开更多
关键词
文本摘要
深度学习
子句
级
依存句法
ROUGE评测
下载PDF
职称材料
求解加权偏MaxSAT问题的通用子句加权方法
7
作者
郑迥之
何琨
《计算机学报》
EI
CAS
CSCD
北大核心
2024年第6期1341-1354,共14页
最大可满足性问题(Maximum Satisfiability Problem,MaxSAT)是著名的可满足性问题(Satisfiability Problem,SAT)的优化形式,也是一个经典的NP难组合优化问题.加权偏MaxSAT(Weighted Partial MaxSAT,WPMS)是最一般的一类MaxSAT问题,其中...
最大可满足性问题(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还为子句动态权重的增量设置了上下限,保证了子句加权的稳定性.为了评估所提出的Hist-Weighting子句加权技术的性能,将其应用于三种最先进的WPMS局部搜索算法,即BandMaxSAT、SATLike3.0和CCEHC.在近五届 MaxSAT国际算法竞赛 MaxSAT Evaluation非完备组的所有WPMS算例上的实验结果表明,应用Hist-Weighting技术的改进算法相比于原算法在获胜算例数上能够提升约10%至60%,体现了所提出的Hist-Weighting子句加权技术在求解WPMS问题时的有效性.此外,通过将应用了 Hist-Weighting的改进局部搜索算法与其变体算法对比以进行消融实验,表明了 Hist-Weighting中限制动态权重增量上下限,以及使动态权重增量根据变元得分自适应调整的机制的有效性.
展开更多
关键词
最大可满足性问题
局部搜索
子句
加权技术
历史信息
下载PDF
职称材料
基于逗号的汉语子句识别研究
被引量:
22
8
作者
李艳翠
冯文贺
+1 位作者
周国栋
朱坤华
《北京大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2013年第1期7-14,共8页
根据篇章分析的任务和实践,结合传统研究,提出汉语的基本篇章单位为子句,并从结构、功能、形式等方面给出其定义。分析了逗号与子句的关系,并在标注语料上进行了基于逗号的汉语子句识别研究。首先手工标注了CTB6.0中前100篇文档的逗号...
根据篇章分析的任务和实践,结合传统研究,提出汉语的基本篇章单位为子句,并从结构、功能、形式等方面给出其定义。分析了逗号与子句的关系,并在标注语料上进行了基于逗号的汉语子句识别研究。首先手工标注了CTB6.0中前100篇文档的逗号是否为子句边界的信息,在标注结果中抽取句法、词汇、长度等特征进行实验,子句识别准确率为90%。然后利用信息增益选出贡献最大的9个特征,使用它们也可获得较高的子句识别准确率。最后仅使用词法信息,子句识别准确率可达84.5%。实验证明子句的定义合理,基于逗号的子句识别在理论上和实验上均可行。
展开更多
关键词
逗号
汉语
子句
子句
识别
下载PDF
职称材料
基于子句权重学习的求解SAT问题的遗传算法
被引量:
15
9
作者
凌应标
吴向军
姜云飞
《计算机学报》
EI
CSCD
北大核心
2005年第9期1476-1482,共7页
该文提出了一种求解SAT问题的改进遗传算法(SATWAGA).SATWAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,...
该文提出了一种求解SAT问题的改进遗传算法(SATWAGA).SATWAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,同时,算法还采用了最优染色体保存策略,防止进化过程的发散.该文最后描述了实现包括SATWAGA等多个算法的实验系统,对选择最佳早熟判定参数值给出了一些有效的建议.实验结果表明:与一般遗传算法相比,SATWAGA算法在求解速度、成功率和求解问题的规模等方面都有明显的改善.
展开更多
关键词
SAT问题
遗传算法
子句
权重
早熟
下载PDF
职称材料
RLD演绎及子句蕴含与子句包含关系的非等价性
被引量:
3
10
作者
王家兵
徐正权
王能超
《计算机研究与发展》
EI
CSCD
北大核心
2002年第12期1630-1636,共7页
软件复用的一个主要任务是可复用软件构件的表示与检索 .由于一阶逻辑能够描述软件构件的计算语义 ,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视 .为了简化基于演绎的构件...
软件复用的一个主要任务是可复用软件构件的表示与检索 .由于一阶逻辑能够描述软件构件的计算语义 ,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视 .为了简化基于演绎的构件检索技术的程序设计结构及提高演绎效率 ,提出了最右线性演绎 RL D(rightmost linear deduction) ,并证明了它的完备性 .同时 ,指出了子句蕴含与子句包含关系的非等价性 。
展开更多
关键词
RLD演绎
子句
蕴含
子句
包含
非等价性
软件工程
构件表示
构件检索
线性演绎
软件复用
下载PDF
职称材料
PROLOG—DBMS系统实现中的子句间优化技术
被引量:
7
11
作者
李磊
左万历
李希春
《软件学报》
EI
CSCD
北大核心
1995年第3期136-141,共6页
实用PROLOG—DBMS系统实现中的首要问题是要保证系统的正确性.然而,从数据库中提取冗余数据不但严重地影响系统的效率,而且影响系统的正确性.本文所提出的子句间优化技术可以解决这一问题.因为采用这一技术可以保证仅从...
实用PROLOG—DBMS系统实现中的首要问题是要保证系统的正确性.然而,从数据库中提取冗余数据不但严重地影响系统的效率,而且影响系统的正确性.本文所提出的子句间优化技术可以解决这一问题.因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取.
展开更多
关键词
PROLOG语言
数据库
演绎数据库
子句
间优化
下载PDF
职称材料
基于OWL和Horn子句的β-PSML语言框架
被引量:
3
12
作者
苏依拉
郑磊
+2 位作者
刘椿年
钟宁
LIU Jiming
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第23期65-66,78,共3页
提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完...
提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完成语义Web中的查询。
展开更多
关键词
问题解决标记语言
OWL
语义WEB
HORN
子句
下载PDF
职称材料
基于Horn子句集的Pr/T网可达树的方案求解
被引量:
4
13
作者
方欢
吴哲辉
崔焕庆
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期163-165,共3页
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对...
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明.
展开更多
关键词
HORN
子句
谓词/变迁网
可达树
方案求解
下载PDF
职称材料
使用Petri网T-不变量求解子句的逻辑推论
被引量:
8
14
作者
林闯
王鼎兴
《计算机学报》
EI
CSCD
北大核心
1996年第10期762-767,共6页
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论.基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决于句推论问题.另外,本文还显示了...
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论.基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决于句推论问题.另外,本文还显示了向前推论和向后推论在子句Petri网模型中的应用.
展开更多
关键词
逻辑推论
子句
PETRI网
T-不变量
人工智能
下载PDF
职称材料
子句型缺省逻辑中的分情形推理(英文)
被引量:
4
15
作者
许道云
丁德成
张明义
《软件学报》
EI
CSCD
北大核心
2001年第8期1140-1146,共7页
引进一种树型方法以研究缺省逻辑中分情形推理下的 Roos扩张 ,深入讨论了 Roos扩张的计算 ,并分析了Roos扩张与 Reiter扩张的关系 .为计算 Roos扩张 ,引入了从子句集分解最小文字集的算法 .方法对于在缺省逻辑中计算
关键词
分情形推理
子句
型缺省逻辑
Roos扩张
计算复杂性
下载PDF
职称材料
利用不动点求解子句逻辑推演的Petri网模型
被引量:
5
16
作者
林闯
吴建平
《软件学报》
EI
CSCD
北大核心
1999年第4期359-365,共7页
文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点...
文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于Petri网模型的子句逻辑不动点求解算法,比现有算法更为有效.
展开更多
关键词
逻辑推演
子句
PETRI网
计算机网络
人工智能
下载PDF
职称材料
子句集的神经网络归结(英文)
被引量:
2
17
作者
夏世芬
黄天民
徐扬
《模糊系统与数学》
CSCD
2004年第2期62-67,共6页
给出基于神经网络的归结方法。首先将子句集S表示为δ形式,并且用算子对(·○, )引入两种类型的神经元;然后用这两种神经元构造子句集S的神经网络结构;而后给出基于子句集的神经网络的归结算法;最后证明了该算法的完备性,并用实例...
给出基于神经网络的归结方法。首先将子句集S表示为δ形式,并且用算子对(·○, )引入两种类型的神经元;然后用这两种神经元构造子句集S的神经网络结构;而后给出基于子句集的神经网络的归结算法;最后证明了该算法的完备性,并用实例进行了验证。
展开更多
关键词
归结
神经网络
子句
集
完备性
下载PDF
职称材料
动词短语的名词化与饱和关系子句的句法分析
被引量:
5
18
作者
熊仲儒
刘凡
《华文教学与研究》
CSSCI
2013年第1期70-79,共10页
汉语动词短语可以转类为名词短语,其主要表现是主语或宾语获得属格标记"的",增添了限定范畴,缺失了时制-时体-情态形态与评价性副词修饰等。在缺失属格标记或限定范畴的情况下,由动词短语转类的名词短语取子句形式。饱和关系...
汉语动词短语可以转类为名词短语,其主要表现是主语或宾语获得属格标记"的",增添了限定范畴,缺失了时制-时体-情态形态与评价性副词修饰等。在缺失属格标记或限定范畴的情况下,由动词短语转类的名词短语取子句形式。饱和关系子句是名词短语,而非子句。这不仅使饱和关系子句具有名词短语的属性,也使它跟中心语不能通过空位发生关联。饱和关系子句是其所在的名词性短语的中心语的论元。
展开更多
关键词
动词短语
名词化
饱和关系
子句
功能范畴
下载PDF
职称材料
子句型自相容缺省理论的扩张
被引量:
2
19
作者
董明楷
张明义
《计算机研究与发展》
EI
CSCD
北大核心
2000年第2期182-187,共6页
自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑推理常用的方法.文中在Reiter缺省理论和张明义的自相容缺省理论的研究基础上,进一步研究了子句型闭自相容缺省理论.文中首先给出了自相容缺省理论的扩...
自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑推理常用的方法.文中在Reiter缺省理论和张明义的自相容缺省理论的研究基础上,进一步研究了子句型闭自相容缺省理论.文中首先给出了自相容缺省理论的扩张个数的单调性定理,然后将Reiter 关于正规缺省理论的证明论推广到自相容缺省理论,得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念修改的相关定理.
展开更多
关键词
缺省逻辑
子句
型缺省理论
自相容
NP问题
下载PDF
职称材料
英语关系子句的习得研究
被引量:
16
20
作者
王改燕
《外语教学》
CSSCI
北大核心
2006年第2期51-54,共4页
关系子句是英语中的一种常见的结构,K eenan和Com rie在大量实验研究的基础上发现,人们认识掌握关系子句总是遵循一个递进阶。本文通过对英语专业二年级学生关系子句习得情况的调查研究,以证实K eenan和Com rie所发现的递进阶在我国学...
关系子句是英语中的一种常见的结构,K eenan和Com rie在大量实验研究的基础上发现,人们认识掌握关系子句总是遵循一个递进阶。本文通过对英语专业二年级学生关系子句习得情况的调查研究,以证实K eenan和Com rie所发现的递进阶在我国学生英语学习过程中的真实性,旨在通过对关系子句习得的研究,帮助我国英语师生更好地认识英语学习的规律性,以提高英语教学和英语学习的效率。
展开更多
关键词
关系
子句
递进阶
二语习得
下载PDF
职称材料
题名
FOXPRO命令中SCOPC与FOR/WHILE子句的使用
1
作者
王宝吉
杨建伟
机构
齐鲁石化公司职工大学
出处
《电脑学习》
1998年第1期46-48,共3页
关键词
Foxpro命令
SCOPC
子句
for/while子句
数据库
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
全文增补中
题名
一阶逻辑定理证明器中的无效子句删除策略
被引量:
2
2
作者
姜世攀
陈树伟
曾国艳
机构
西南交通大学数学学院
系统可信性自动验证国家地方联合工程实验室(西南交通大学)
出处
《计算机应用》
CSCD
北大核心
2024年第3期677-682,共6页
基金
国家自然科学基金资助项目(61976130)。
文摘
在一阶逻辑定理证明器中,子句预处理是不可或缺的步骤,而子句的消去规则是预处理中极其重要的部分。传统的基于纯文字规则的子句消去方法在理论上存在子句删除过多的问题,在算法实现上又存在子句删除不充分的情况。为了提高子句删除的精确率,在理论上,基于纯文字规则对子句进行再分类。第一类称为无效子句,该类子句不能通过等词替换与某个子句形成互补对,此类子句应完全删除;第二类为相对无效子句,该类子句无法与当前子句集中的子句形成互补对,但能进行等词替换,此类子句应在参与演绎后综合考虑是否删除。在算法实现中,考虑到子句的消去应是动态的过程,当前消去的子句会影响已判断的子句的无效性,提出一种用于判定子句无效性的递归遍历算法。将上述子句约简规则应用于证明器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。实验结果表明,所提无效子句约简算法是一种有效的预处理方式,能够提高一阶逻辑子句集的约简精确率,同时能够提高自动定理证明器的证明能力和缩短证明时间。
关键词
自动推理
一阶逻辑
子句
删除
纯文字规则
无效
子句
Keywords
automatic reasoning
first-order logic
clause elimination
pure literal rule
invalid clause
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
基于子句单元的异构图网络抽取式文本摘要
3
作者
林群凯
陈钰枫
徐金安
张玉洁
刘健
机构
北京交通大学交通数据分析与挖掘北京市重点实验室
出处
《中文信息学报》
CSCD
北大核心
2024年第6期119-128,共10页
基金
国家自然科学基金(61976016,61976015,61876198)。
文摘
的目标是将长文本进行压缩、归纳和总结,从而形成具有概括性含义的短文本,其能帮助人们快速获取文档的主要信息。当前大多数的抽取式文本摘要的研究都是以整句作为抽取单元,而整句作为抽取单元会引入冗余信息,因此该文考虑使用粒度更细的抽取单元。已有研究表明,细粒度的子句单元比整句单元在抽取式摘要上更具有优势。结合当下热门的图神经网络,该文提出了一种基于子句单元异构图网络的抽取式摘要模型,有效融合了词、实体和子句单元等不同层次的语言信息,能够实现更细粒度的抽取式摘要。在大规模基准语料库(CNN/DM和NYT)上的实验结果表明,该模型产生了突破性的性能并优于以前的抽取式摘要模型。
关键词
子句
异构图
抽取式摘要
Keywords
sub-sentential
heterogeneous graph
extractive summarization
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
命题逻辑中文字块矛盾型及子句正则矛盾体
4
作者
王成龙
何星星
臧珲
李莹芳
王丹琛
李天瑞
机构
西南交通大学数学学院
西南财经大学计算机与人工智能学院
四川省数字经济研究中心
西南交通大学计算机与人工智能学院
出处
《计算机科学》
CSCD
北大核心
2024年第7期272-277,共6页
基金
中央高校基本科研业务费专项资金(2682020ZT107)
国家自然科学基金(62106206)
+1 种基金
教育部人文社科项目(19YJCZH048,20XJCZH016)
四川省科技计划(2023YFH0066)。
文摘
归结原理是自动推理中一种简洁、可靠且完备的推理规则。基于矛盾体分离的自动演绎理论是归结原理的延伸,矛盾体是该理论的核心部分。由于矛盾体结构复杂且生成策略较少,因此文中提出了一种新的生成矛盾体的策略,即利用多个标准矛盾体生成文字块矛盾型,再通过添加互补矛盾集得到新的矛盾体。重点讨论了具有特殊结构的文字块矛盾型生成的矛盾体,即子句正则矛盾体的性质,这些性质说明了具有特定结构的子句正则矛盾体添加子句后仍然是矛盾体。最后,提出了矛盾体的生成算法,为在计算机上实现新的矛盾体的生成提供参考。
关键词
标准矛盾体
命题逻辑
文字块矛盾型
子句
正则矛盾体
Keywords
Standard contradiction
Propositional logic
Literal chunk contradiction
Clause regular contradiction
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
相互作用的情感与原因子句提取模型
5
作者
陆丁天
张志远
刘佩佩
于得水
机构
中国民航大学计算机科学与技术学院
中国民航大学校报编辑部
中国民航大学科技创新研究院
出处
《计算机应用与软件》
北大核心
2024年第6期200-207,共8页
基金
空中交通管理系统与技术国家重点实验室开放基金资助项目(SKLATM201902)
天津市教委科研计划项目(2019SK110)
中央高校基本科研业务费中国民航大学专项(3122019009)。
文摘
无情感标注的原因提取获得较多关注。由于情感与原因是相互影响的,基于此,提出相互作用的情感与原因子句提取模型,加入相互作用的注意力矩阵提取情感与原因之间的关联性,进而提高情感子句与原因子句的提取效果。实验结果表明相互作用的注意力矩阵能显著提高模型效果。
关键词
情感
子句
原因
子句
情感分析
注意力
相互作用矩阵
Keywords
Emotion clause
Cause clause
Emotional analysis
Attention
Interaction matrix
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于深度学习的子句级文本摘要模型
6
作者
房一泉
沈斌
程华
杜嘻嘻
机构
华东理工大学信息化办公室
华东理工大学信息科学与工程学院
出处
《计算机与数字工程》
2024年第7期2135-2140,共6页
基金
赛尔网络下一代互联网技术创新项目(编号:NGII20170520)资助。
文摘
针对文本自动摘要任务中整句级抽取式模型存在摘要过于冗余,以及训练目标与评价目标不匹配的问题,论文提出了一种基于深度学习的子句级文本摘要模型(CS-ASum)。首先,基于依存句法从原文中抽取子句级单元;然后,利用基于BERT预训练模型和基于Transformer模型的编码器获得子句的向量表示,得到初步候选摘要;最后,通过摘要匹配器计算候选摘要和原文的语义得分,得到最佳摘要。在CNN/Daily Mail数据集上的实验结果表明,CS-ASum在自动评测和人工评测中均优于对比模型,相较于表现最好的生成式摘要模型和抽取式摘要模型,CS-ASum的平均ROUGE指标值分别提高了0.76%和1.07%,由此可见,CS-ASum模型在自动文本摘要任务中比基础模型获得了更简洁、更忠于原文的摘要。
关键词
文本摘要
深度学习
子句
级
依存句法
ROUGE评测
Keywords
text summarization
deep learning
clause-level
dependency parsing
ROUGE evaluation
分类号
TP391.1 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
求解加权偏MaxSAT问题的通用子句加权方法
7
作者
郑迥之
何琨
机构
华中科技大学计算机科学与技术学院
出处
《计算机学报》
EI
CAS
CSCD
北大核心
2024年第6期1341-1354,共14页
基金
国家自然科学基金项目(U22B2017)资助.
文摘
最大可满足性问题(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还为子句动态权重的增量设置了上下限,保证了子句加权的稳定性.为了评估所提出的Hist-Weighting子句加权技术的性能,将其应用于三种最先进的WPMS局部搜索算法,即BandMaxSAT、SATLike3.0和CCEHC.在近五届 MaxSAT国际算法竞赛 MaxSAT Evaluation非完备组的所有WPMS算例上的实验结果表明,应用Hist-Weighting技术的改进算法相比于原算法在获胜算例数上能够提升约10%至60%,体现了所提出的Hist-Weighting子句加权技术在求解WPMS问题时的有效性.此外,通过将应用了 Hist-Weighting的改进局部搜索算法与其变体算法对比以进行消融实验,表明了 Hist-Weighting中限制动态权重增量上下限,以及使动态权重增量根据变元得分自适应调整的机制的有效性.
关键词
最大可满足性问题
局部搜索
子句
加权技术
历史信息
Keywords
MaxSAT problem
local search
clause weighting technique
historical information
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于逗号的汉语子句识别研究
被引量:
22
8
作者
李艳翠
冯文贺
周国栋
朱坤华
机构
苏州大学计算机科学与技术学院
河南科技学院信息工程学院
河南科技学院人文学院
出处
《北京大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2013年第1期7-14,共8页
基金
国家863计划(2012AA011102)
国家自然科学基金(90920004)资助
文摘
根据篇章分析的任务和实践,结合传统研究,提出汉语的基本篇章单位为子句,并从结构、功能、形式等方面给出其定义。分析了逗号与子句的关系,并在标注语料上进行了基于逗号的汉语子句识别研究。首先手工标注了CTB6.0中前100篇文档的逗号是否为子句边界的信息,在标注结果中抽取句法、词汇、长度等特征进行实验,子句识别准确率为90%。然后利用信息增益选出贡献最大的9个特征,使用它们也可获得较高的子句识别准确率。最后仅使用词法信息,子句识别准确率可达84.5%。实验证明子句的定义合理,基于逗号的子句识别在理论上和实验上均可行。
关键词
逗号
汉语
子句
子句
识别
Keywords
comma
Chinese clause
clause identification
分类号
TP391.1 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于子句权重学习的求解SAT问题的遗传算法
被引量:
15
9
作者
凌应标
吴向军
姜云飞
机构
中山大学信息科学与技术学院
出处
《计算机学报》
EI
CSCD
北大核心
2005年第9期1476-1482,共7页
基金
国家教育部博士点基金项目"智能规划及其应用研究"
中山大学重点建设高水平大学专项资金资助
文摘
该文提出了一种求解SAT问题的改进遗传算法(SATWAGA).SATWAGA算法有多个改进性特点:将SAT问题的结构信息量化为子句权重,增加了学习算子和判定早熟参数,学习算子能根据求解过程中的动态信息对子句权重进行调整,以便防止遗传进程的早熟,同时,算法还采用了最优染色体保存策略,防止进化过程的发散.该文最后描述了实现包括SATWAGA等多个算法的实验系统,对选择最佳早熟判定参数值给出了一些有效的建议.实验结果表明:与一般遗传算法相比,SATWAGA算法在求解速度、成功率和求解问题的规模等方面都有明显的改善.
关键词
SAT问题
遗传算法
子句
权重
早熟
Keywords
SAT problem
genetic algorithm
clause weight
precocity
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
RLD演绎及子句蕴含与子句包含关系的非等价性
被引量:
3
10
作者
王家兵
徐正权
王能超
机构
华中科技大学计算机学院
华中科技大学并行计算研究所
出处
《计算机研究与发展》
EI
CSCD
北大核心
2002年第12期1630-1636,共7页
基金
国家自然科学基金资助 (60 0 73 0 44 )
文摘
软件复用的一个主要任务是可复用软件构件的表示与检索 .由于一阶逻辑能够描述软件构件的计算语义 ,因此用一阶逻辑表示构件及用基于归结原理的自动定理证明技术检索构件的研究在软件工程领域得到了足够的重视 .为了简化基于演绎的构件检索技术的程序设计结构及提高演绎效率 ,提出了最右线性演绎 RL D(rightmost linear deduction) ,并证明了它的完备性 .同时 ,指出了子句蕴含与子句包含关系的非等价性 。
关键词
RLD演绎
子句
蕴含
子句
包含
非等价性
软件工程
构件表示
构件检索
线性演绎
软件复用
Keywords
component representation, component retrieval, linear deduction, software reuse
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
PROLOG—DBMS系统实现中的子句间优化技术
被引量:
7
11
作者
李磊
左万历
李希春
机构
中山大学计算机科学系
出处
《软件学报》
EI
CSCD
北大核心
1995年第3期136-141,共6页
基金
霍英东教育基金
文摘
实用PROLOG—DBMS系统实现中的首要问题是要保证系统的正确性.然而,从数据库中提取冗余数据不但严重地影响系统的效率,而且影响系统的正确性.本文所提出的子句间优化技术可以解决这一问题.因为采用这一技术可以保证仅从数据库中提取有用事实并且没有任何元组多于一次被提取.
关键词
PROLOG语言
数据库
演绎数据库
子句
间优化
Keywords
PROLOG,DBMS,deductive database
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于OWL和Horn子句的β-PSML语言框架
被引量:
3
12
作者
苏依拉
郑磊
刘椿年
钟宁
LIU Jiming
机构
北京工业大学多媒体与智能软件技术北京市重点实验室
北京工业大学多媒体与智能软件技术北京市重点实验室
日本前桥工业大学
香港浸会大学
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第23期65-66,78,共3页
基金
国家自然科学基金资助项目(60173014)
北京市自然科学基金资助项目(4022003)
内蒙古自治区自然科学基金资助项目(200208020217)
文摘
提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结构的领域模型。提出的β-PSML语言是一种语义Web中新的知识表示方法,利用该β-PSML语言的推理功能可以完成语义Web中的查询。
关键词
问题解决标记语言
OWL
语义WEB
HORN
子句
Keywords
Problem solwer markup language
Web ontology language
Semantic Web
Horn clause
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于Horn子句集的Pr/T网可达树的方案求解
被引量:
4
13
作者
方欢
吴哲辉
崔焕庆
机构
山东科技大学
安徽理工大学数理系
出处
《系统仿真学报》
CAS
CSCD
北大核心
2005年第z1期163-165,共3页
基金
国家自然科学基金资助课题(60173053).
文摘
问题求解是当今人工智能领域研究的重点,在文中对于能用Horn子句集表示问题求解情境的一类问题,利用谓词/变迁网对其进行建模,详细分析了网系统模型的有界性,并借助网系统的可达树提出了一个求解问题解决方案的算法.最后给出一个例子对算法思想进行说明.
关键词
HORN
子句
谓词/变迁网
可达树
方案求解
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
使用Petri网T-不变量求解子句的逻辑推论
被引量:
8
14
作者
林闯
王鼎兴
机构
国家信息中心研究所
出处
《计算机学报》
EI
CSCD
北大核心
1996年第10期762-767,共6页
基金
国家自然科学基金
中科院管理
决策与信息系统(MIDS)开放实验室的资助
文摘
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论.基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使用T-不变量方法解决于句推论问题.另外,本文还显示了向前推论和向后推论在子句Petri网模型中的应用.
关键词
逻辑推论
子句
PETRI网
T-不变量
人工智能
Keywords
Logical inference, clauses, four-valued logic, Petri nets,T-invariants
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
子句型缺省逻辑中的分情形推理(英文)
被引量:
4
15
作者
许道云
丁德成
张明义
机构
南京大学数学系
贵州科学院
出处
《软件学报》
EI
CSCD
北大核心
2001年第8期1140-1146,共7页
文摘
引进一种树型方法以研究缺省逻辑中分情形推理下的 Roos扩张 ,深入讨论了 Roos扩张的计算 ,并分析了Roos扩张与 Reiter扩张的关系 .为计算 Roos扩张 ,引入了从子句集分解最小文字集的算法 .方法对于在缺省逻辑中计算
关键词
分情形推理
子句
型缺省逻辑
Roos扩张
计算复杂性
Keywords
Algorithms
Computational complexity
Formal logic
Inference engines
Theorem proving
分类号
TP301.5 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
利用不动点求解子句逻辑推演的Petri网模型
被引量:
5
16
作者
林闯
吴建平
机构
国家信息中心经济与技术研究所
清华大学计算机科学与技术系
出处
《软件学报》
EI
CSCD
北大核心
1999年第4期359-365,共7页
基金
国家自然科学基金
文摘
文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法.基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型.逻辑推演的基本方法之一就是寻找逻辑赋值的不动点.该文显示了一种基于Petri网模型的子句逻辑不动点求解算法,比现有算法更为有效.
关键词
逻辑推演
子句
PETRI网
计算机网络
人工智能
Keywords
Logical inference, clauses, Petri net, fixpoint, fourvalued logic.
分类号
TP393 [自动化与计算机技术—计算机应用技术]
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
子句集的神经网络归结(英文)
被引量:
2
17
作者
夏世芬
黄天民
徐扬
机构
西南交通大学数学系
出处
《模糊系统与数学》
CSCD
2004年第2期62-67,共6页
文摘
给出基于神经网络的归结方法。首先将子句集S表示为δ形式,并且用算子对(·○, )引入两种类型的神经元;然后用这两种神经元构造子句集S的神经网络结构;而后给出基于子句集的神经网络的归结算法;最后证明了该算法的完备性,并用实例进行了验证。
关键词
归结
神经网络
子句
集
完备性
Keywords
Resolution
Neural Network
Clause Set
Completeness Theorem
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
动词短语的名词化与饱和关系子句的句法分析
被引量:
5
18
作者
熊仲儒
刘凡
机构
安徽师范大学文学院
出处
《华文教学与研究》
CSSCI
2013年第1期70-79,共10页
基金
教育部人文社科项目"英汉名词短语的对比研究"(12YJA740082)
文摘
汉语动词短语可以转类为名词短语,其主要表现是主语或宾语获得属格标记"的",增添了限定范畴,缺失了时制-时体-情态形态与评价性副词修饰等。在缺失属格标记或限定范畴的情况下,由动词短语转类的名词短语取子句形式。饱和关系子句是名词短语,而非子句。这不仅使饱和关系子句具有名词短语的属性,也使它跟中心语不能通过空位发生关联。饱和关系子句是其所在的名词性短语的中心语的论元。
关键词
动词短语
名词化
饱和关系
子句
功能范畴
Keywords
verb phrase
nominalization
gapless relative clause
functional category
分类号
H043 [语言文字—语言学]
下载PDF
职称材料
题名
子句型自相容缺省理论的扩张
被引量:
2
19
作者
董明楷
张明义
机构
西南师范大学电子与信息工程系
贵州科学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2000年第2期182-187,共6页
基金
国家"八六三"计划基金项目!(项目编号863-306-05-05-5A)
国家自然科学基金项目!(项目编号19861002)
文摘
自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑推理常用的方法.文中在Reiter缺省理论和张明义的自相容缺省理论的研究基础上,进一步研究了子句型闭自相容缺省理论.文中首先给出了自相容缺省理论的扩张个数的单调性定理,然后将Reiter 关于正规缺省理论的证明论推广到自相容缺省理论,得出了自相容缺省理论的缺省证明、自顶向下缺省证明和信念修改的相关定理.
关键词
缺省逻辑
子句
型缺省理论
自相容
NP问题
Keywords
default logic, clausal default theory, extension, auto\|compatible
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
O22 [理学—运筹学与控制论]
下载PDF
职称材料
题名
英语关系子句的习得研究
被引量:
16
20
作者
王改燕
机构
西安外国语学院英文学院
出处
《外语教学》
CSSCI
北大核心
2006年第2期51-54,共4页
文摘
关系子句是英语中的一种常见的结构,K eenan和Com rie在大量实验研究的基础上发现,人们认识掌握关系子句总是遵循一个递进阶。本文通过对英语专业二年级学生关系子句习得情况的调查研究,以证实K eenan和Com rie所发现的递进阶在我国学生英语学习过程中的真实性,旨在通过对关系子句习得的研究,帮助我国英语师生更好地认识英语学习的规律性,以提高英语教学和英语学习的效率。
关键词
关系
子句
递进阶
二语习得
Keywords
relative clause
accessibility hierarchy
SLA
分类号
H04 [语言文字—语言学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
FOXPRO命令中SCOPC与FOR/WHILE子句的使用
王宝吉
杨建伟
《电脑学习》
1998
0
全文增补中
2
一阶逻辑定理证明器中的无效子句删除策略
姜世攀
陈树伟
曾国艳
《计算机应用》
CSCD
北大核心
2024
2
下载PDF
职称材料
3
基于子句单元的异构图网络抽取式文本摘要
林群凯
陈钰枫
徐金安
张玉洁
刘健
《中文信息学报》
CSCD
北大核心
2024
0
下载PDF
职称材料
4
命题逻辑中文字块矛盾型及子句正则矛盾体
王成龙
何星星
臧珲
李莹芳
王丹琛
李天瑞
《计算机科学》
CSCD
北大核心
2024
0
下载PDF
职称材料
5
相互作用的情感与原因子句提取模型
陆丁天
张志远
刘佩佩
于得水
《计算机应用与软件》
北大核心
2024
0
下载PDF
职称材料
6
基于深度学习的子句级文本摘要模型
房一泉
沈斌
程华
杜嘻嘻
《计算机与数字工程》
2024
0
下载PDF
职称材料
7
求解加权偏MaxSAT问题的通用子句加权方法
郑迥之
何琨
《计算机学报》
EI
CAS
CSCD
北大核心
2024
0
下载PDF
职称材料
8
基于逗号的汉语子句识别研究
李艳翠
冯文贺
周国栋
朱坤华
《北京大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2013
22
下载PDF
职称材料
9
基于子句权重学习的求解SAT问题的遗传算法
凌应标
吴向军
姜云飞
《计算机学报》
EI
CSCD
北大核心
2005
15
下载PDF
职称材料
10
RLD演绎及子句蕴含与子句包含关系的非等价性
王家兵
徐正权
王能超
《计算机研究与发展》
EI
CSCD
北大核心
2002
3
下载PDF
职称材料
11
PROLOG—DBMS系统实现中的子句间优化技术
李磊
左万历
李希春
《软件学报》
EI
CSCD
北大核心
1995
7
下载PDF
职称材料
12
基于OWL和Horn子句的β-PSML语言框架
苏依拉
郑磊
刘椿年
钟宁
LIU Jiming
《计算机工程》
EI
CAS
CSCD
北大核心
2005
3
下载PDF
职称材料
13
基于Horn子句集的Pr/T网可达树的方案求解
方欢
吴哲辉
崔焕庆
《系统仿真学报》
CAS
CSCD
北大核心
2005
4
下载PDF
职称材料
14
使用Petri网T-不变量求解子句的逻辑推论
林闯
王鼎兴
《计算机学报》
EI
CSCD
北大核心
1996
8
下载PDF
职称材料
15
子句型缺省逻辑中的分情形推理(英文)
许道云
丁德成
张明义
《软件学报》
EI
CSCD
北大核心
2001
4
下载PDF
职称材料
16
利用不动点求解子句逻辑推演的Petri网模型
林闯
吴建平
《软件学报》
EI
CSCD
北大核心
1999
5
下载PDF
职称材料
17
子句集的神经网络归结(英文)
夏世芬
黄天民
徐扬
《模糊系统与数学》
CSCD
2004
2
下载PDF
职称材料
18
动词短语的名词化与饱和关系子句的句法分析
熊仲儒
刘凡
《华文教学与研究》
CSSCI
2013
5
下载PDF
职称材料
19
子句型自相容缺省理论的扩张
董明楷
张明义
《计算机研究与发展》
EI
CSCD
北大核心
2000
2
下载PDF
职称材料
20
英语关系子句的习得研究
王改燕
《外语教学》
CSSCI
北大核心
2006
16
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
13
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部