抽象解释全总域模型

抽象解释自1977年提出后,许多作者做了大量工作,将抽象解释理论应用于程序分析和验证研究等领域.本文为有关抽象解释论述构造了一个统一模型,称为抽象解释的全总域模型,目前现存的有关抽象解释文献所采取的框架都相容于全总域模型,且是等价的.在此基础上,我们还提出有关抽象解释理论需要解决的几个基本问题.模型和问题都可以作为今后抽象解释理论发展的参考基点.     

基于语料库研究——rea1和really类连接、搭配和语义韵

本文运用语料库的方法，以real和really为例词，从粪连接、搭配和语义韵三方面来研究荚语词由一个形容词变为另一个副词的用法有何变化，研究指出：中国的英语教学可以运用语料库的方法，得出实例来学习这类词的用法。     

灵石方言量词重叠式的研究

从构成形式、语音特点、语法功能、表义特征四个方面入手,用大量的言语实例,分析山西灵石方言的量词重叠式,可以发现其具有以下几个独特之处:构成形式丰富多样;语音特点整齐划一;语法功能相对稳定;表义丰富。     

达米特论指称和涵义

达米特认为形而上学陈述是关于实在图像刻画的"争论的陈述类"(Disputed class of statements),所以提供一种支配这些陈述的逻辑规律的意义理论就成为必要;而选择合适的语义理论作为基础,乃是构建这种意义理论的第一步.他在<形而上学的逻辑基础>中,提出了一种辩护主义的意义理论.文章通过指称和涵义来论证达米特在对弗雷格一塔斯基经典语义理论的批判并提出"直觉主义的内在解释"时,已经开始拒斥实在论,所以达米特作为意义理论基础的"语义理论"需要在反实在论的前提下来理解;这和"真"的直觉主义理解以及直觉主义逻辑规律的自我辩护是一致的.     

基于不确定语言信息的尾矿库安全综合评价方法

为了准确的评价尾矿库的安全等级,运用相关性分析,建立了相互独立指标的尾矿库安全评价指标体系,采用IT-WAA和IT-CWAA算子对不确定性的尾矿库安全区间语义信息进行集结,建立了基于区间二元语义集结算子的尾矿库安全综合评价模型。研究结果表明:该尾矿库安全评价方法能有效避免语言评价信息的失真,更切合客观实际。该成果对尾矿库安全评价及其安全管理具有一定的参考价值和指导意义。     

基于问句语义表征的中文问句相似度计算方法

提出了一种中文问句语义相似度计算的新方法.该方法分为两步:第一步采用基于问句句型模板规则匹配的方法提取问句语义表征;第二步根据问句语义表征计算问句语义相似度.采用该方法开发了一个面向常问问题集(FAQ)的问答系统.实验结果表明,采用该方法获得的相似度计算的准确率约为85%.     

样本属性重要度的支持向量机方法

支持向量机(SVM)是一种新的机器学习方法,已经广泛应用于模式识别和函数估计等问题中.针对现有的加权支持向量机(WSVM)和模糊支持向量机(FSVM)只考虑样本重要性而没有考虑属性重要性对分类结果的影响的缺陷,提出了基于样本属性重要度的支持向量机方法,该方法首先利用信息论中的信息增益技术计算各个样本特征属性对分类属性的重要度,然后对所有样本的同一特征属性的值分别用对应的属性重要度进行加权,最后所得数据集用于训练和测试SVM.数值实验的结果表明,该方法提高了分类器的分类精度.     

基于维基语义的多文档文摘研究

多文档文摘作为自然语言处理领域的重要技术之一,能从不同角度辅助用户实现高效的信息获取.由于文档集合内的内容往往来自不同的信息源,文本之间通常存在丰富而复杂的语义关系.常用的基于词的文档表示法,难以为文摘的语义分析过程提供充足而准确的数据信息.为此,我们提出使用维基百科——当今世界最大的在线概念语料库——为多文档文摘的提取提供语义支持.一方面,我们通过提取文档中的维基概念,生成准确一致的句子表示形式.另一方面,在计算句子特征时,我们利用维基词条的首段指导机器文摘的提取.我们首先通过计算概念在维基中的全局相关性和当前文档集内的局部相关性,获取概念的权重.然后在维基概念表示的基础上,为文档中的句子提取多种基于维基的特征,并最后用于文摘生成.在实验中,我们依次用各个维基特征独立生成文摘,并使用ROUGE(Recall-Oriented Understudy for Gisting Evaluation,面向召回率的要点评估)指标评价文摘质量.通过比较,实验验证了维基词条首段能较好的提升文摘质量.     

基于本体和语义网的网络教育资源检索研究

随着教育信息化进程的大力推进,网络教育资源的建设越来越受到国家和各高校的重视.语义网提供了语义互操作模型,能有效实现网络资源的发现、共享和集成应用.阐述了语义网、语义检索、本体构建、元数据标准等关键技术,分析了本体与元数据的关系,给出了基于元数据的教育资源本体构建方法.设计了基于本体的网络教育资源语义检索系统,该系统由...     

语义网及其应用

面对万维网信息化规模急剧膨胀、信息载体也趋于多元化等原因所带来的诸多困难,语义网的提出为此提供了解决方案及技术支持,它利用对网络上的信息资源添加语义,达到不仅为人们所理解,也可以使机器理解和处理的目的.本文首先介绍了语义网的背景、基本概念、技术框架,然后阐述了语义网的结构框架以及各层次之间的协作关系与作用.结合一个实例...