期刊导航
期刊开放获取
VIP36
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
ProofsNavigator:基于引导的可解释知识推理方法
1
作者
韦泽杨
贾旭东
+1 位作者
陈涛
钟甫广
《计算机科学与应用》
2024年第7期18-26,共9页
让大规模语言模型生成推理步骤有助于构建可解释的知识推理系统。现有的知识推理方法可能生成不可靠并且与目标无关的推理步骤。为解决这一问题,该文提出一种基于引导的逐步推理方法ProofsNavigator。首先,使用通过Beam搜索生成多个候...
让大规模语言模型生成推理步骤有助于构建可解释的知识推理系统。现有的知识推理方法可能生成不可靠并且与目标无关的推理步骤。为解决这一问题,该文提出一种基于引导的逐步推理方法ProofsNavigator。首先,使用通过Beam搜索生成多个候选推理步骤;然后,通过分别对候选推理步骤的有效性以及跟假设的相关性进行验证,挑选高质量的推理步骤;最后,将所选择的推理结论加入知识集中以进行下一轮循环。实验结果显示,该方法在三个难度依次递增的任务上的准确率分别为40.0%、35.6%和7.1%,比先前最优对比方法分别高1.1%、2.3%和0.2%。此外,该方法在标注数据较少的情况下仍能保持较好的性能。
展开更多
关键词
知识推理
证明生成
逐步推理
在线阅读
下载PDF
职称材料
复制生成序列的自相关函数研究
被引量:
5
2
作者
张凤元
吴今培
张其善
《信号处理》
CSCD
2004年第3期241-244,276,共5页
介绍了以二进制码为复制信息,用平移复制生成序列的方法。讨论了复制生成序列的性质和复制生成序列的自相关函数的性质。依据序列的复制特性,给出了一个复制生成序列自相关函数的计算公式,并给出了自相关函数值为零的一个充要条件,及相...
介绍了以二进制码为复制信息,用平移复制生成序列的方法。讨论了复制生成序列的性质和复制生成序列的自相关函数的性质。依据序列的复制特性,给出了一个复制生成序列自相关函数的计算公式,并给出了自相关函数值为零的一个充要条件,及相应的数学证明。最后讨论了Paley顺序的离散Walsh函数的自相关函数。
展开更多
关键词
信号处理
离散信号序列
自相关函数
二进制码
在线阅读
下载PDF
职称材料
题名
ProofsNavigator:基于引导的可解释知识推理方法
1
作者
韦泽杨
贾旭东
陈涛
钟甫广
机构
五邑大学电子信息工程学院
加州州立
大学
北岭分校计算机科学与
工程
学院
出处
《计算机科学与应用》
2024年第7期18-26,共9页
文摘
让大规模语言模型生成推理步骤有助于构建可解释的知识推理系统。现有的知识推理方法可能生成不可靠并且与目标无关的推理步骤。为解决这一问题,该文提出一种基于引导的逐步推理方法ProofsNavigator。首先,使用通过Beam搜索生成多个候选推理步骤;然后,通过分别对候选推理步骤的有效性以及跟假设的相关性进行验证,挑选高质量的推理步骤;最后,将所选择的推理结论加入知识集中以进行下一轮循环。实验结果显示,该方法在三个难度依次递增的任务上的准确率分别为40.0%、35.6%和7.1%,比先前最优对比方法分别高1.1%、2.3%和0.2%。此外,该方法在标注数据较少的情况下仍能保持较好的性能。
关键词
知识推理
证明生成
逐步推理
分类号
G63 [文化科学—教育学]
在线阅读
下载PDF
职称材料
题名
复制生成序列的自相关函数研究
被引量:
5
2
作者
张凤元
吴今培
张其善
机构
五邑大学电子信息工程学院
北京航空航天
大学
电子信息
工程
学院
出处
《信号处理》
CSCD
2004年第3期241-244,276,共5页
文摘
介绍了以二进制码为复制信息,用平移复制生成序列的方法。讨论了复制生成序列的性质和复制生成序列的自相关函数的性质。依据序列的复制特性,给出了一个复制生成序列自相关函数的计算公式,并给出了自相关函数值为零的一个充要条件,及相应的数学证明。最后讨论了Paley顺序的离散Walsh函数的自相关函数。
关键词
信号处理
离散信号序列
自相关函数
二进制码
Keywords
sequence
autocorrelation function
copy generating
binary code
分类号
TN911.7 [电子电信—通信与信息系统]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
ProofsNavigator:基于引导的可解释知识推理方法
韦泽杨
贾旭东
陈涛
钟甫广
《计算机科学与应用》
2024
0
在线阅读
下载PDF
职称材料
2
复制生成序列的自相关函数研究
张凤元
吴今培
张其善
《信号处理》
CSCD
2004
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部