检索结果-内蒙古大学图书馆

软件学报 2017年第7期28卷 1759-1772页

作者：陈博曹存根眭跃飞中国科学院计算技术研究所智能信息处理重点实验室北京100190 国网山东省电力公司电力科学研究院山东济南250001

提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论(T,?)的一个扩展,必定存在一个贪婪缺省理论的GD-扩展,使得缺... 详细信息

提出了一种贪婪缺省逻辑,旨在构造扩展的过程中尽可能地保留缺省规则当中的信息.给出了贪婪缺省逻辑的推演系统——GD系统和贪婪缺省的GD-扩展的定义.并且证明了对于缺省理论(T,?)的一个扩展,必定存在一个贪婪缺省理论的GD-扩展,使得缺省逻辑的扩展是贪婪缺省逻辑扩展的子集.同时,还存在贪婪缺省理论(T,?)的某一GD-扩展,该GD-扩展不包含缺省理论的任一扩展.因此缺省逻辑和贪婪缺省逻辑是两种不同的逻辑.

关键词：缺省逻辑扩展 GD-扩展伪子公式 Gentzen系统

来源：评论

学校读者我要写书评

暂无评论

基于统计语言模型的蒙古文词切分

引用

模式识别与人工智能 2009年第1期22卷 108-112页

作者：侯宏旭刘群那顺乌日图牧仁高娃李锦涛中国科学院计算技术研究所智能信息处理重点实验室北京100190 内蒙古大学计算机学院呼和浩特010021 中国科学院研究生院北京100190

通过对蒙古文词切分技术的分析,利用规则作为切分的基础,提出一种统计和规则相结合的蒙古文词切分方法.这种方法利用蒙古语统计语言模型作为排歧依据,使用的语言模型有基于词性的语言模型和Skip-N语言模型.其词切分准确率比基于规则的... 详细信息

通过对蒙古文词切分技术的分析,利用规则作为切分的基础,提出一种统计和规则相结合的蒙古文词切分方法.这种方法利用蒙古语统计语言模型作为排歧依据,使用的语言模型有基于词性的语言模型和Skip-N语言模型.其词切分准确率比基于规则的系统有较大提高.

关键词：蒙古语词切分语言模型词干词缀

来源：评论

学校读者我要写书评

暂无评论

不同逻辑间翻译的逻辑性质

引用

计算机学报 2009年第10期32卷 2091-2098页

作者：申宇铭马越曹存根眭跃飞王驹中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100039 广西师范大学计算机科学与信息工程学院广西桂林541004

如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithful... 详细信息

如果考虑逻辑间模型的翻译并且一个逻辑的模型类被翻译为另一个逻辑的模型类的真子类,那么可靠的(the soundness)和完备的(the completeness)翻译可以将不可满足的公式翻译为可满足的公式.针对上述问题,该文提出了语义忠实(the faithfulness)和语义满(the fullness)两条逻辑性质来确保可满足的公式翻译为可满足的公式,不可满足公式翻译为不可满足公式.该文例证了二阶逻辑在标准语义下到一阶逻辑的翻译是语义忠实的但不是语义满的,在Henkin语义下是语义忠实的和语义满的.

关键词：翻译语义忠实翻译语义满翻译二阶逻辑一阶逻辑

来源：评论

学校读者我要写书评

暂无评论

建模连续视觉特征的图像语义标注方法

引用

计算机辅助设计与图形学学报 2010年第8期22卷 1412-1420页

作者：李志欣施智平刘曦史忠植中国科学院计算技术研究所智能信息处理重点实验室北京100190 广西师范大学计算机科学与信息工程学院桂林541004 中国科学院研究生院北京100049

针对图像检索中存在的"语义鸿沟"问题,提出一种对连续视觉特征直接建模的图像自动标注方法.首先对概率潜语义分析(PLSA)模型进行改进,使之能处理连续量,并推导对应的期望最大化算法来确定模型参数;然后根据不同模态数据各自... 详细信息

针对图像检索中存在的"语义鸿沟"问题,提出一种对连续视觉特征直接建模的图像自动标注方法.首先对概率潜语义分析(PLSA)模型进行改进,使之能处理连续量,并推导对应的期望最大化算法来确定模型参数;然后根据不同模态数据各自的特点,提出一个对不同模态数据分别处理的图像语义标注模型,该模型使用连续PLSA建模视觉特征,使用标准PLSA建模文本关键词,并通过不对称的学习方法学习2种模态之间的关联,从而能较好地对未知图像进行标注.通过在一个包含5000幅图像的标准Corel数据集中进行实验,并与几种典型的图像标注方法进行比较的结果表明,文中方法具有更高的精度和更好的效果.

关键词：图像自动标注概率潜语义分析主题模型连续视觉特征图像检索

来源：评论

学校读者我要写书评

暂无评论

逻辑之间的语义忠实语义满翻译

引用

软件学报 2013年第7期24卷 1626-1637页

作者：申宇铭马越曹存根眭跃飞王驹中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049 广西师范大学计算机科学与信息工程学院广西桂林541004

翻译在计算机科学中的一个重要应用是实现一个逻辑与另一个逻辑在表达能力上的比较,以及利用目标逻辑的推理机实现源逻辑的推理.现有逻辑之间的翻译理论和性质没有深入研究逻辑的语义翻译,以及翻译是否保持不可满足性等问题.该文研究了... 详细信息

翻译在计算机科学中的一个重要应用是实现一个逻辑与另一个逻辑在表达能力上的比较,以及利用目标逻辑的推理机实现源逻辑的推理.现有逻辑之间的翻译理论和性质没有深入研究逻辑的语义翻译,以及翻译是否保持不可满足性等问题.该文研究了一类同时保持公式的可满足性和不可满足性的翻译——语义忠实语义满翻译,给出了语义忠实语义满翻译的定义,比较了语义忠实语义满翻译与已有文献中翻译定义的区别和联系,讨论了逻辑的可靠性、完备性、可判定性、紧致性、公式的逻辑等价性,以及模型的初等等价性在语义忠实语义满翻译下被保持的问题.运用语义忠实语义满翻译的定义给出了逻辑之间的同义性定义,并证明了同义关系是逻辑之间的一个等价关系.

关键词：翻译语义忠实语义满翻译逻辑同义性

来源：评论

学校读者我要写书评

暂无评论

基于实例和约束的三维场景概念设计和系统实现

引用

计算机科学 2008年第1期35卷 227-232,249页

作者：江澜岳小莉冯柏岚李良军曹存根首都师范大学&中科院计算所联合实验室北京100037 中国科学院计算技术研究所中科院智能信息处理重点实验室北京100080

3D场景设计是VR建模中最重要也最耗人力的工作之一,如何解决该问题是一项重要的课题。本文提出一种新的基于实例和约束的三维场景概念设计方法。首先,根据所获取的场景实例中所蕴涵的不同层次的语义信息,对其进行场景元素过滤和场景语... 详细信息

3D场景设计是VR建模中最重要也最耗人力的工作之一,如何解决该问题是一项重要的课题。本文提出一种新的基于实例和约束的三维场景概念设计方法。首先,根据所获取的场景实例中所蕴涵的不同层次的语义信息,对其进行场景元素过滤和场景语义标注,并由此构建三维场景实例库。相应地,对场景中可能出现的元素类别进行分类和语义标注,并建立场景元素库。接着,应用基于实例的方法,并结合场景设计过程中所涉及到的知识(约束),给出三维场景概念设计的一般方法;最后以一个实例对该方法做进一步的说明。研究表明,该方法符合人们对场景设计的一般过程。此外,由于场景实例和场景元素具有丰富的语义信息,使得所生成的场景除了常规的可视效果,还可以直接应用于虚拟现实环境以及三维动画等数字内容制作中。

关键词：场景实例语义约束场景概念模型

来源：评论

学校读者我要写书评

暂无评论

基于集合效用边际贡献学习的可解释薪酬预测算法

引用

计算机研究与发展 2024年第5期61卷 1276-1289页

作者：孙莹章玉婷庄福振祝恒书何清熊辉香港科技大学(广州)人工智能学域广州511458 中国科学院计算技术研究所专项技术研究中心北京100190 北京航空航天大学人工智能研究院北京100191 BOSS直聘职业科学实验室北京100028 中国科学院智能信息处理重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院大学北京101408

知识技能对薪酬影响作用视为一种多变量影响下高维元素集合的效用建模问题.深度神经网络为解决复杂问题提供了新的机遇,但针对知识导向的细粒度薪酬预测问题,仍缺乏能够对复杂变量影响下的集合效用进行准确、可解释建模的神经网络结构.... 详细信息

知识技能对薪酬影响作用视为一种多变量影响下高维元素集合的效用建模问题.深度神经网络为解决复杂问题提供了新的机遇,但针对知识导向的细粒度薪酬预测问题,仍缺乏能够对复杂变量影响下的集合效用进行准确、可解释建模的神经网络结构.为此,提出一种基于边际贡献的增量式集合效用网络(marginal contribution-based incremental set utility network,MCISUN)来拟合元素加入时的效用增量,从而灵活且可解释地建模集合效用.区别于以往基于池化层的排列不变性建模算法,MCISUN构建顺序敏感的中间结果,利用集合的排列不变性实现数据增强,有效提升模型数据效率及泛化性.最后,大规模真实薪酬数据上的实验结果表明所提模型在基于技能的薪酬预测任务上比最先进的(state-of-the-art,SOTA)模型效果提升超过30%.同时,定性实验证明模型能够为技能设置合理的贡献值且发现技能间的关联.

关键词：集合效用建模边际贡献薪酬预测神经网络可解释性

来源：评论

学校读者我要写书评

暂无评论

基于动态描述逻辑的语义Web服务匹配研究

引用

计算机研究与发展 2008年第12期45卷 2102-2109页

作者：彭晖陈立民常亮史忠植中国科学院计算技术研究所智能信息处理重点实验室北京100190 湖南科技大学计算机科学与工程学院湖南湘潭411201 中国科学院研究生院北京100049

动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务以及服务... 详细信息

动态描述逻辑(dynamic description logic,DDL)是描述逻辑(description logic,DL)的一种动态扩展,它支持语义Web环境下对动作的描述和推理.提出了一种基于动态描述逻辑的语义Web服务描述与服务匹配方法:将服务需求方的目标服务以及服务发布方的原子服务用动态描述逻辑的动作进行描述,解决了语义Web服务的一致的形式化表述问题;将目标服务和原子服务的匹配问题归结为动态描述逻辑的公式可满足性判定问题,利用动态描述逻辑对动作的推理功能,发现与目标服务相匹配的原子服务组合.动态描述逻辑的公式可满足性问题是可判定的,解决了利用一阶谓词逻辑进行逻辑推理时的不可判定性.

关键词：语义Web服务服务匹配描述逻辑动态描述逻辑动作

来源：评论

学校读者我要写书评

暂无评论

非线性梯度下降算法理论及其对Hopfield网络稳定性的分析

引用

计算机研究与发展 2004年第2期41卷 317-324页

作者：叶世伟郑宏伟王文杰马琳史忠植中国科学院研究生院信息科学与工程学院北京100039 四川师范大学数学系成都610068 中国科学院计算技术研究所智能信息处理重点实验室北京100080

讨论目标函数可分解为凸函数和一个广义可微函数之差的优化问题对于可微函数利用线性函数进行局部逼近 ,从而求得目标函数的一个凸函数逼近然后求解凸优化问题得到最优解的一个更好近似 ;重复这个过程直到结束利用广义梯度和凸函数... 详细信息

讨论目标函数可分解为凸函数和一个广义可微函数之差的优化问题对于可微函数利用线性函数进行局部逼近 ,从而求得目标函数的一个凸函数逼近然后求解凸优化问题得到最优解的一个更好近似 ;重复这个过程直到结束利用广义梯度和凸函数的性质 ,证明得到的优化算法为全局收敛的下降算法它所求解的优化问题可以具有光滑或非光滑的目标函数

关键词：凸优化非光滑优化函数逼近全局收敛 Hopfield网络

来源：评论

学校读者我要写书评

暂无评论

一类扩展的动态描述逻辑

引用

软件学报 2010年第1期21卷 1-13页

作者：常亮史忠植陈立民牛温佳中国科学院计算技术研究所智能信息处理重点实验室北京100190 桂林电子科技大学计算机与控制学院广西桂林541004 中国科学院研究生院北京100049

作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却不能加以处理.借鉴Pratt关于命题动态逻... 详细信息

作为描述逻辑的扩展,动态描述逻辑为语义Web服务的建模和推理提供了一种有效途径.在将语义Web服务建模为动作之后,动态描述逻辑从动作执行结果的角度提供了丰富的推理机制,但对于动作的执行过程却不能加以处理.借鉴Pratt关于命题动态逻辑的相关研究,一方面,对动态描述逻辑中动作的语义重新进行定义,将每个动作解释为由关于可能世界的序列组成的集合;另一方面,在动态描述逻辑中引入动作过程断言,用来对动作的执行过程加以刻画.在此基础上提出一类扩展的动态描述逻辑EDDL(X),其中的X表示从ALC(attributive language with complements)到SHOIN(D)等具有不同描述能力的描述逻辑.以X为描述逻辑ALCQO(attributive language with complements,qualified number restrictions and nominals)的情况为例,给出了EDDL(ALCQO)的表判定算法,并证明了算法的可终止性、可靠性和完备性.EDDL(X)可以从动作执行过程和动作执行结果两个方面对动作进行全面的刻画和推理,为语义Web服务的建模和推理提供了进一步的逻辑支持.

关键词：动态描述逻辑动作推理动作的执行过程表判定算法语义Web服务

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：