一种模糊综合决策汉语谓词识别算法

汉语谓词识别是Internet内容安全、机器翻译的重要研究内容之一.本文设计出一种基于汉语语法规则,通过系统学习,自动建立模糊关系矩阵以识别汉语中心谓词的方法,并给出了相应的算法流程.实验表明,模糊综合决策汉语谓词识别算法,较传统的JXXT谓词识别器,具有更高的谓词识别率和算法稳定性.     

浅论逻辑在第五代计算机中的作用

本文主要通过第五代计算机过渡性的核心语言PROIOG—逻辑程序设计语言,讨论(一阶谓词)逻辑在第五代计算机中的作用。     

关于“兼语”尴尬的思考

兼语在现代汉语语法系统中一直处于不是句子成分却具有句子成分职能的矛盾地位。其理论原因有：汉语语法学起步晚且一直以西方语法学为理论基础，汉语的开放性和方言的复杂性；实践原因有：缺乏区分句子成分的客观标准，兼语定名不科学。建议开展汉语语法学史研究，检讨语法学研究的观点及方法，建立有民族特点的语法学，确立区分句子成分的标准，科学地给兼语定名、定性、定位。     

《孟子》表性状词语谓词性功能的配价调查

文章采用配价的方法，对《孟子》一书36个表性状单音节词的谓词性功能做了定量的统计及分析。调查表明，笼统地把古汉语表性状的谓词支配客体的格式(即二价谓词的格式)说成是“形容词活用”，不符合古汉语语言实际。古汉语表性状的谓词是兼具形容词(一价谓词)和动词(二价谓词)功能的兼类词，而非一般所说的有活用用法的词。     

一种先进的扁平化谓词及编译优化方法

谓词执行是有效挖掘控制流程序指令级并行性的一种机制.经典的谓词实现一般局部地逐个进行谓词计算而不能进行多谓词控制,有谓词计算路径过长等问题.针对经典谓词存在的问题,提出一种先进的扁平化谓词的实现方法,这种扁平化谓词可以全局地进行谓词计算,可以自然地进行多谓词控制.在此基础上,研究扁平化谓词的编译优化方法,给出了扁平化谓词编译优化框架.实验表明,本文提出的扁平化谓词及编译优化框架可以很好地提高多条件控制程序的执行效率.     

基于位置的发布/订阅索引结构

为了使空间文本数据的处理更加快捷准确,针对基于位置的发布/订阅提出了将R-tree与布尔表达式有效结合的索引结构TR-tree.TR-tree主要由文本索引与空间索引组成,其中文本索引根据订阅中谓词的数量和不同的关键谓词将空间文本数据进行订阅分组和谓词分组.文本索引中使用了操作符列表储存谓词,以达到避免重复储存谓词、减少内存使用的目的.空间索引根据关键谓词与谓词数量构建不同的R-tree,增强了空间修剪的性能.实验结果表明TR-tree具有高效的匹配能力与较好的内存管理性能.     

有限解释下一阶谓词公式的相对真度

本文在二值谓词逻辑系统中引入一类特殊解释,即论域有限的解释,给出了一阶谓词公式A的相对于某一个特定解释下的相对真度定义,并证明了与命题逻辑系统的真度理论相对应的某些结论,如MP规则与HS规则.本文为建立一阶谓词公式的绝对真度,进而建立谓词逻辑系统中的近似推理理论提供了理论基础.     

计算机中心在师范教育中的地位和作用

随着计算机科学技术的迅猛发展和普及，科学技术的普及教育越来越受到人们的普遍重视。作为培养人类灵魂“工程师”摇篮的高等师范院校，在计算机科学技术的普及教育中必将起到其“师范”的作用。高师计算机中心的建立是其发挥“师范”作用的重要手段之一，本文叙述了在高师建立计算机中心的必要性，中心在高等师范教育中的地位、作用以及如何发挥这种作用。     

截断谓词的研究与分析

回溯机制是Visual Prolog程序运行的重要机制,是获取所有可能解的一种方法.但在实际问题的解决过程中,有时却不需要回溯.Visual Prolog提供的内部谓词-截断谓词“!”可以用来阻止回溯,而且从某种意义上讲,只有学会了截断谓词的使用,才能自由驾驭Prolog.文章主要结合实例对截断谓词的作用以及使用方法进行了详细介绍,并指出了截断谓词的作用本质上是删除满足一定条件的回溯点。     

一种基于SCAD的改进谓词发现方法

针对归纳逻辑编程中传统谓词发现方法会导致错误级联的难题,提出一种基于平滑削边绝对偏离(smoothly clipped absolute deviation,SCAD)正则化稀疏的改进谓词发现方法.新方法并不明确地创建新谓词,而是通过使用正则化稀疏方式将软谓词发现的参数一起正则化,从而隐式地组合紧密相关的规则.在软谓词发现中引入SCAD这一正则化稀疏模型,同时针对无偏稀疏性,着重观察SCAD对软谓词发现结果的影响.基于欧洲皇室家庭关系数据集进行试验,确定了μ,α的最优值,并完成了知识库完善试验.结果表明,该方法能有效克服错误级联这一难题,缩短对知识库的查询时间,并可提高谓词发现的平均精准度到0.798,远超过基于拉普拉斯正则化的软谓词发现方法的0.726.     

论“这本书的出版”中“出版”的词性——对汉语动词、形容词“名物化”问题的再认识

0 30年前,朱德熙先生曾经雄辩地论证了汉语动词、形容词“名物化"论的不科学性(朱德熙,1961),但意犹未尽。近年“名物化”论又有所回潮(施光淦,1981,1988)。本文拟通过对“这本书的出版”中“出版”词性的分析,谈一谈对这个问题的认识。1 偏正结构“这本书的出版”(记作“NP 的 VP”,NP 代表名词性成分,VP 代表谓词性成分)有三点值得注意:①整体的功能是名词性的。它既不能作谓语,也不能受副词的修饰,更不能加时态助词,因此属于定中偏正结构。②定语和中心语之间有定中偏正结构标记“的”。③中心语是谓词性成分。也就是说,“这本书的出版”是一种以谓词性成分为中心     

基于谓词冲突图的死锁检测

在分布式多数据库环境下,局部站点数据库自治性使其只能对本地站点上事务进行并发控制而无法防止全局事务间的冲突和死锁发生,故采用谓词冲突检测技术来判断全局事务间的直接和间接冲突,为此,提出了多粒度的谓词冲突图构建方法,从而使并发控制粒度达到谓词级,分析了冲突的全局事务在谓词冲突图中形成死锁的各种情况并通过检测图中是否形成环来避免全局事务在执行中可能产生的死锁,不仅减小死锁冲突检测粒度,而且还提高了全局事务执行的并发度.     

现代汉语中谓词作主、宾语的英译问题

现代汉语中谓词可以直接作主语和宾语.英译时可借助于词缀、动名词等方法.这些方法使对应于汉语谓词的英语词汇具有名词性质,即英语名物化的结构.最后对英汉两种语言的谓词作了对比研究.     

现代汉语中谓词作主、宾语的英译问题

现代汉语中谓词可以直接作主语和宾语。英译时可借助于词缀、动名词等方法。这些方法使对应于汉语谓词的英语词汇具有名词性质,即英语名物化的结构。最后对英汉两种语言的谓词作了对比研究。     

和种面向对象推理模型及其知识表示

在面向对象的语言环境下，分析设计了一个以产生式为基础、将谓词逻辑与过程表达相结合的通用推理模型（RBIM）。模型以面向对象的知识表示为基础，将命题对象、谓词对象和过程对象作为规则的基本组成元素，能提供良好的知识表示接口。     

一种适于对象-关系数据库的事务模型

对象－关系数据库往往需要处理长时间运行的事务，这使得传统的事务模型不再适合于对象－关系数据库。为此讨论了结合嵌套事务，显式谓词和多版本模型优点的QT／WD模型，形式化地描述了模型的结合和正确性。嵌套事务使用了多级事务框架，提供了事务的多级原子性，显式谓词有助于增加事务之间的合作，多版本使限制谓词可以更容易满足而增加了并发，这些新特性使得QT／WD模型非常适合于长事务处理，提高了长事务的运行性能。     

词汇功能语法简介与述评

词汇功能语法是产生于20世纪七十年代末八十年代初的形式语法理论.这一理论框架突出了词汇特别是谓词在语法理论中的功能,同时利用语法功能这一概念将句法和语义两个层面联系起来.词汇功能语法的句法层次是语境自由的,词汇功能语法为计算机处理语言带来了便利,受到了语法学家和计算机研究人员的欢迎.     

一阶谓词逻辑反驳演算自然推理系统

反驳各种逻辑谬误离不开对矛盾式的认识和理解。为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论。在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式;(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统。     

谓词性主语句及其相关的句法问题

前言在现代汉语里,谓词或谓词性词组作主语的句子叫谓词性主语句。谓词指的是动词和形容词,它们在作主语时语法功能相同,可以合起来看成是与名词主语相对立的另一类主语——谓词主语,谓词性词组主要包括动宾词组、补充词组、以“状语+中心语”构成的偏正词组和由谓词性成分构成的联合词组等。下面是各种类型的谓词性词组作主语的例     

面向对象数据库"联系_选择"查询操作的优化

综合考虑逻辑因素和选择谓词的选择率、谓词本身的复杂度等物理因素后，给出了“联系_选择”及其拓展“联系_选择_投影”两个重要的复合操作的优化算法，提高了查询的执行效率。