期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于对话的论据可接受性计算方法研究
1
作者
漆学田
姚莉
《科学技术与工程》
2011年第19期4487-4490,4495,共5页
辩论理论是近年来人工智能领域研究的热点。计算论据的可接受性是辩论系统的重要研究内容,只有可接受的论据才能作为后续理性决策或推理的依据。以计算论据的轻信可接受性为出发点,将计算论据的轻信可接受性转化为寻找可容许集的过程,...
辩论理论是近年来人工智能领域研究的热点。计算论据的可接受性是辩论系统的重要研究内容,只有可接受的论据才能作为后续理性决策或推理的依据。以计算论据的轻信可接受性为出发点,将计算论据的轻信可接受性转化为寻找可容许集的过程,提出了基于对话的计算论据可接受性的方法,并对该对话进行了形式化定义。设计了对话的控制规则。基于该对话对计算论据轻信可接受的充分必要条件进行了证明,最后以一个例子对该对话过程作了示例说明。
展开更多
关键词
辩论理论
论据
可容许集
轻信可接受
对话
在线阅读
下载PDF
职称材料
基于动态规划的优先语义扩充求解算法
2
作者
熊才权
宗泽华
吴歆韵
《计算机应用研究》
CSCD
北大核心
2022年第5期1343-1348,共6页
抽象辩论框架中的优先语义是判断争议可接受程度的最重要语义。现有优先扩充求解方法多用标记映射求解,依赖于标记的定义、转换规则、相邻争议的标记。算法每次迭代会产生一个新的抽象辩论框架导致时间、空间复杂度较高。提出一种基于...
抽象辩论框架中的优先语义是判断争议可接受程度的最重要语义。现有优先扩充求解方法多用标记映射求解,依赖于标记的定义、转换规则、相邻争议的标记。算法每次迭代会产生一个新的抽象辩论框架导致时间、空间复杂度较高。提出一种基于动态规划的优先扩充算法,在动态规划中加入争议可接受性判断,求出辩论框架中极大可容许集得到优先扩充。在基于随机抽象辩论框架与ICCMA提供的数据集进行实验,同Heureka、ArgSemSAT等算法进行对比。结果表明,求解相同数量的优先扩充,算法耗时较少,时间、空间复杂度有所降低。
展开更多
关键词
抽象辩论框架
语义扩充
可容许集
优先扩充
在线阅读
下载PDF
职称材料
严格S_l(E_m)函数类中双边矩阵函数留数插值
被引量：
2
3
作者
吴化璋
《中国科学技术大学学报》
CAS
CSCD
北大核心
2003年第2期144-151,共8页
设 (αi,βi) ,i =1 ,… ,m是实轴R上互不交迭的有限开区间 ,令Em =R \∪ mi=1(αi,βi) .称F(z)是函数类Sl(Em)中的一个函数 ,如果它属于l×l矩阵值Nevanlinna函数类且在 ∪ mi=1(αi,βi)上解析并且是Hermite正定的 .本文给出严格...
设 (αi,βi) ,i =1 ,… ,m是实轴R上互不交迭的有限开区间 ,令Em =R \∪ mi=1(αi,βi) .称F(z)是函数类Sl(Em)中的一个函数 ,如果它属于l×l矩阵值Nevanlinna函数类且在 ∪ mi=1(αi,βi)上解析并且是Hermite正定的 .本文给出严格Sl(Em)函数类中双边矩阵函数留数插值问题的可解条件和解的参数化表示 .所用的方法是构造一个具有某种对称性的矩阵值函数 ,使之成为所提问题解的系数矩阵 .
展开更多
关键词
严格Sl(Em)函数类
双边矩阵函数留数插值
J-酉
可容许
插值数据
集
可解条件
在线阅读
下载PDF
职称材料
题名
一种基于对话的论据可接受性计算方法研究
1
作者
漆学田
姚莉
机构
国防科技大学信息系统工程重点实验室
出处
《科学技术与工程》
2011年第19期4487-4490,4495,共5页
基金
国家自然科学基金(70971134)资助
文摘
辩论理论是近年来人工智能领域研究的热点。计算论据的可接受性是辩论系统的重要研究内容,只有可接受的论据才能作为后续理性决策或推理的依据。以计算论据的轻信可接受性为出发点,将计算论据的轻信可接受性转化为寻找可容许集的过程,提出了基于对话的计算论据可接受性的方法,并对该对话进行了形式化定义。设计了对话的控制规则。基于该对话对计算论据轻信可接受的充分必要条件进行了证明,最后以一个例子对该对话过程作了示例说明。
关键词
辩论理论
论据
可容许集
轻信可接受
对话
Keywords
argumentation theory argument admissible set credulous acceptable dialogue
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于动态规划的优先语义扩充求解算法
2
作者
熊才权
宗泽华
吴歆韵
机构
湖北工业大学计算机学院
出处
《计算机应用研究》
CSCD
北大核心
2022年第5期1343-1348,共6页
基金
国家自然科学基金资助项目(61075059,61902116)
国家重点研发计划资助项目(2017YFC1405403)
湖北工业大学绿色工业科技引领计划资助项目(CPYF2017008)。
文摘
抽象辩论框架中的优先语义是判断争议可接受程度的最重要语义。现有优先扩充求解方法多用标记映射求解,依赖于标记的定义、转换规则、相邻争议的标记。算法每次迭代会产生一个新的抽象辩论框架导致时间、空间复杂度较高。提出一种基于动态规划的优先扩充算法,在动态规划中加入争议可接受性判断,求出辩论框架中极大可容许集得到优先扩充。在基于随机抽象辩论框架与ICCMA提供的数据集进行实验,同Heureka、ArgSemSAT等算法进行对比。结果表明,求解相同数量的优先扩充,算法耗时较少,时间、空间复杂度有所降低。
关键词
抽象辩论框架
语义扩充
可容许集
优先扩充
Keywords
abstract argumentation framework
semantics extension
admissible set
preferred extension
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
严格S_l(E_m)函数类中双边矩阵函数留数插值
被引量：
2
3
作者
吴化璋
机构
中国科学技术大学数学系
出处
《中国科学技术大学学报》
CAS
CSCD
北大核心
2003年第2期144-151,共8页
基金
国家自然科学基金 (10 2 71113)
安徽省教育厅资助项目
文摘
设 (αi,βi) ,i =1 ,… ,m是实轴R上互不交迭的有限开区间 ,令Em =R \∪ mi=1(αi,βi) .称F(z)是函数类Sl(Em)中的一个函数 ,如果它属于l×l矩阵值Nevanlinna函数类且在 ∪ mi=1(αi,βi)上解析并且是Hermite正定的 .本文给出严格Sl(Em)函数类中双边矩阵函数留数插值问题的可解条件和解的参数化表示 .所用的方法是构造一个具有某种对称性的矩阵值函数 ,使之成为所提问题解的系数矩阵 .
关键词
严格Sl(Em)函数类
双边矩阵函数留数插值
J-酉
可容许
插值数据
集
可解条件
Keywords
strict S_l(E_m) class
two-sided residue interpolation
J-unitary
admissible interpolation data set
分类号
O174.42 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于对话的论据可接受性计算方法研究
漆学田
姚莉
《科学技术与工程》
2011
0
在线阅读
下载PDF
职称材料
2
基于动态规划的优先语义扩充求解算法
熊才权
宗泽华
吴歆韵
《计算机应用研究》
CSCD
北大核心
2022
0
在线阅读
下载PDF
职称材料
3
严格S_l(E_m)函数类中双边矩阵函数留数插值
吴化璋
《中国科学技术大学学报》
CAS
CSCD
北大核心
2003
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
