子句相关论文
摘要:介绍了Visual FoxPro中SQL查询的一般格式和变量的表现形式,阐述了变量在SELECT、FROM和WHERE子句中的具体使用方法。 关键......
【摘要】文本与身份的关系近年来受到众多学科研究者的关注。研究从互文性概念的新角度入手,探讨英语新闻评论写作者在文本中构建的......
【摘要】本文以庆阳二中高三学生为研究对象,从句法准确性、复杂性和多样性三个方面对学生的句法能力进行了研究。结果表明:我校高三......
摘要:针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上......
摘要:在人工智能里的知识表达与推理中,经常需要对谓词公式进行演算,以达到子句集的表达,便于以后的推理或证明。本文就是通过二叉树来......
在一个SoL语句中,JOIN是作为FROM子句的一部分。JOIN定义了一个“逻辑表”,是两个表或结果集连接后的结果。通过把JOIN放在FROM子句......
(天津滨海职业学院,天津 300450) 摘 要:本文主要从数据完整性、通过触发器在后台控制主表和子表间的数据同步更新、SQL语句的语法......
摘要:本文主要探讨了VB.NET中错误与异常的概念,结合Error对象和Exception对象的使用描述常用的异常处理技术,并结合VB.NET程序代码对非......
提出了将OWL和Horn子句相结合构建β-PSML语言,它既可以表示OWL中不能表示的多元关系,又可以表示Horn子句难以表示的有丰富等级结......
本文参考[1]提供了一个用T-prolog 构成的符号微分系统,可用它作为参考模式去解决各种复杂的符号处理问题.
Reference [1] provid......
为了使Prolog推理引擎可以从一定程度的语义上来区分子句,通过概念图的形式对Prolog程序的子句建立本体.子句本体的概念模型通过其......
本文讨论了输入归结的有效性并把它与单元归结的有效性作了比较.
This article discusses the effectiveness of the input reduc......
讨论了知识库是有限子句集时的更新过程, 给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思......
本文讨论利用Petri网实现逻辑问题的推理,首先介绍了逻辑问题Petri网模型描述方法,并举例说明利用矩阵演算实现推理的算法。Petri网的研究与利用对开......
为了使Prolog推理引擎可以从一定程度的语义上来区分子句,通过概念图的形式对Prolog程序的子句建立本体.子句本体的概念模型通过其谓......
由于目前tableau算法在判断概念可满足性时会产生大量的描述重复(因而浪费了很多空间),针对描述逻辑语言ALCN提出了一种基于子句重构......
缓存技术用来弥补网络通信能力的不足.语义缓存既缓存查询结果,也缓存查询语义,可更好节省网络开销.实用性是语义缓存技术产生和发......
在英语的诸词类中,学习者在初级阶段就会接触到大量的名词和介词。虽然英语名词只有单复数的变化,介词的数量又极其有限,但这两类......
隐喻是人们思维和行为的系统方式,词汇可以隐喻引申,基本子句结构也可以隐喻引申。以原型理论为基础,从认知——功能视角分析句子......
【正】 探索和研究文学作品中语言模式功能的历史虽并不太长,然而作家利用语言模式服务于文学创作,却是由来已久的。 丰富的词汇、......
【正】Hornby 在 A Guide to Patterns and Usage一书中提出英语动词的二十五个型式。他主要负责编纂的The Advanced Learner’s D......
【正】as soon as和no sooner…than两者的意义相仿,都作“一……就……”解,但结构与用法不同。有些工具书(注)列举了这么几条规......
【正】笔者曾在《外语学刊》1981年第3期上发表一篇题目为《美国近代语法理论在科技英语分析与翻译上的应用》的文章(以下简称“前......
本文研究了子句逻辑规则的Petri网模型的表示及使用Petri网分析方法进行逻辑推论,基于四值逻辑和冲突变迁的概念,表示了非Horn子句Petri网模型的构造,并使......
文章研究了子句逻辑推演的Petri网模型表示和不动点求解方法,基于四值逻辑和冲突变迁的概念,可用Horn子句的Petri网模型方法来构造非Horn子句的Petri网模型逻......
【正】 (一) 表达一个复杂的思想,英语常常用结构复杂的长句。有的句子包含很多子句,子句里又往往带有各种各样的修饰成分;有的还......
摘要PROLOG是一个非常简单的程序设计语言,具有高度的抽象性,同时却又易于理解,因此,它正被广泛地应用到人工智能领域的研究中。本文以......
局部搜索算法是目前求解SAT问题比较有效的方法,而Sattime算法是在SAT国际大赛中获得大奖的一种典型局部搜索算法。在Sattime算法的......
SQL语言(结构化查询语言)是关系数据库的标准语言,各学校选择其作为数据库教学语言,其突出的优点在于集数据定义、数据查询、数据操纵......
【正】 1.大约在十年以前,我发现了这样的事:(1)你看什么?(2)我知道谁来。例(1)中,由于有疑问词“什么”,因此是疑问句,但在例(2)......
INFORMIX-4GL是基于INFORMIX数据库管理系统的新一代计算机语言,具有友好的用户界面,使用非过程化语言,具备强大的数据库接口,提供高效的程序代码,以非过程化......
【正】 读了《合肥师范学院学报》1963年第四期谢芳庆先生的《汉语包孕句问题管见》一文后,我们认为作者在总结前人研究成果的基础......
【正】 语言结构单位具有粒(particle)、波(wave)、场(field)的性质,这是美国语言学家Kenneth L.Pike首先提出的。语言结构单位在......
归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。......
...
【正】 -ing分词(-ing participle)包括传统语法所指的“现在分词”和“动名词”,通常以主句的主语或宾语等作自己的逻辑主语,但它......
在科学研究和工程技术中,排队论(又称搏奕论)有着广泛的应用,本文将数理逻辑,确切地说是命题逻辑中关于对偶和析取范式、合取范式......
SQL语言(结构化查询语言)是关系数据库的标准语言,各学校选择其作为数据库教学语言,其突出的优点在于集数据定义、数据查询、数据......
第四章Java语言的流控制Java语言是通过流控制来执行程序代码,完成一定任务的。与C/C++一样,Java的流控制语句包括条件语句、循环语句、转移语句和异常......
【正】6.反身转换与主语—宾语转换 下面这组例句可以从另一角度进一步说明关于反身转换中相关先行NP的假定例(15) a. Mary proved......
【正】本文将专题讨论转换生成语法中的一个重要转换规则——反身转换规则,旨在探求该规则在英语实际运用中的一些特性.......