搜索筛选:
搜索耗时1.3914秒,为你在为你在102,285,761篇论文里面共找到 16 篇相符的论文内容
类      型:
[期刊论文] 作者:王淞昕, 来源:吉林大学学报:理学版 年份:2010
提出一种新的基于描述逻辑的、能处理带有分层信度的图像语义信息的图像检索框架,以解决不确定背景知识的图像检索问题.该框架能处理具有分层信度的不确定语义信息,给出了形状及......
[期刊论文] 作者:王淞昕,, 来源:吉林大学学报(理学版) 年份:2008
提出一种新的模糊逻辑——数值模糊择优逻辑,给出了数值模糊择优逻辑的语法和语义,并研究了其性质.该逻辑结合多值逻辑和择优推理的语义特点,得到的推理关系具有模糊性、次协调性......
[期刊论文] 作者:王淞昕,, 来源:吉林大学学报(理学版) 年份:2008
对描述逻辑SHOIN(D)进行扩展,提出一种能处理分层信度知识的描述逻辑PB-SHOIN(D),给出了PB-SHOIN(D)的语法和语义,并证明了PB-SHOIN(D)具有超协调性和非单调性,为表示和处理语义Web中具有......
[学位论文] 作者:王淞昕, 来源:复旦大学 年份:2004
语义Web(semanticweb)研究的目标是让Web上的信息成为机器可理解的,从而使机器与人能够更好地相互协作,使Web所提供服务的质量得到质的提高.本体(ontology)是目前语义Web研究中...
[学位论文] 作者:王淞昕, 来源:吉林大学 年份:2002
开放逻辑旨在描述形式系统与外界的交互作用,它为常识推理研究开辟了一条新途径,并在机器学习、知识获取、故障诊断以及知识库维护等领域都有广泛的应用.在全面分析现有工作...
[期刊论文] 作者:王淞昕,刘大有, 来源:计算机研究与发展 年份:2002
研究了基于全序划分模型的开放逻辑的计算复杂性.证明了:在考虑一般公式的情形下判定一个公式是否被重构所蕴涵是∏p2完全的;如果限制到考虑Horn公式的情形,则为co-NP完全的....
[会议论文] 作者:张迎春,王淞昕, 来源:第六届中国管理科学与工程论坛 年份:2008
本研究对传统的ECA规则进行了改进,提出了TECA规则,与ECA规则相比,TECA规则具有更强的、对上下文环境知识的表示能力。给出了基于TECA规则的新的工作流模型,研究了其中的异常处理......
[会议论文] 作者:王淞昕,姜云飞, 来源:第四届全国计算机应用联合学术会议 年份:1997
开放逻辑同基于论证的推理是两种各自独立的、重要的常识推理方法。该文研究了二者的联系。该文的主要结果是在命题情形下证明了,假说的R-重构与基与下切击败的论证系统的稳定扩......
[会议论文] 作者:王淞昕,姜云飞, 来源:第四届全国计算机应用联合学术会议 年份:1997
姜云飞<’〔1〕>利用格论研究约束缺省逻辑,以可构造方式给出了一种求扩充的方法。该文将这一工作从缺省逻辑推广到它的一个重要变种--约束逻辑中。他们针对约束缺省逻辑的特点,重新......
[期刊论文] 作者:王飞,刘大有,王淞昕, 来源:计算机研究与发展 年份:2005
已建成的Bayesian网与领域环境间可能存在较大偏差,加之领域本身固有的动态变化特性,因此在观察到新数据时,改善Bayesian网的性能和优化网络结构是十分必要的.提出了一种基于...
[期刊论文] 作者:刘大有,王淞昕,王飞, 来源:计算机学报 年份:2002
开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论,它开辟了常识推理研究一条新途径,并在机器学习、知识获取、故障诊断及知识库维护等领域有广泛的应用.基...
[会议论文] 作者:王淞昕,刘大有,陈建中, 来源:第五届中国人工智能联合学术会议 年份:1998
该文基于Inoue的溯因框架的概念提出了一种新的信念修正方法并研究了它的公设满足情况。证明了新方法在保留溯因方法优点的同时具有AGM公设所规定的良好性质。...
[期刊论文] 作者:李伟, 李晓强, 陈芳, 王淞昕,, 来源:小型微型计算机系统 年份:2008
近年来,互联网上出现了海量音乐信息,手工选取某首歌曲很多时候已经变得不可能.这直接促使产生了能够进行音乐自动识别的数字音频指纹技术,并成为研究界和工业界一个非常活跃...
[期刊论文] 作者:王淞昕,王飞,周水庚,周傲英, 来源:中科院自动化研究所自动化与信息技术发展战略研讨会暨2003年学术年会 年份:2003
描述逻辑SHOQ(D)给出了Web本体语言DAML+OIL的语义,但SHOQ(D)只能处理精确成立的知识,不能处理在实际情况中经常出现的不完备知识.对描述逻辑SHOQ(D)进行扩展,提出了能够表示和处理不完备知识的非单调描述逻辑N-SHOQ(D).给出了N-SHOQ(D)的语法、语义,定义了N-SH......
[期刊论文] 作者:张秀, 李念祖, 李晓强, 王淞昕, 李会永, 李伟,, 来源:小型微型计算机系统 年份:2015
多版本音乐识别,作为音乐信息检索领域内的一个重要课题,得到了人们的广泛专注.受海量音乐资源的驱动,人们对高效算法的需求呼之欲出.词袋模型是一种在自然语言处理和数字图...
[期刊论文] 作者:韩冬梅,李艳红,陈元忠,王淞昕,郝晓玲,黄海量,韩松乔,, 来源:吉林省教育学院学报 年份:2011
为了加快改革经济管理类高校IT类实验课程建设步伐,本文提出实验课程重组、项目和任务驱动的实验教学模型,并具体给出实验课程重组的若干改革方案。...
相关搜索: