子句相关论文
摘要：介绍了Visual FoxPro中SQL查询的一般格式和变量的表现形式，阐述了变量在SELECT、FROM和WHERE子句中的具体使用方法。 关键......
【摘要】文本与身份的关系近年来受到众多学科研究者的关注。研究从互文性概念的新角度入手，探讨英语新闻评论写作者在文本中构建的......
【摘要】本文以庆阳二中高三学生为研究对象，从句法准确性、复杂性和多样性三个方面对学生的句法能力进行了研究。结果表明：我校高三......
摘要:针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上......
摘要：在人工智能里的知识表达与推理中，经常需要对谓词公式进行演算，以达到子句集的表达，便于以后的推理或证明。本文就是通过二叉树来......
在一个SoL语句中，JOIN是作为FROM子句的一部分。JOIN定义了一个“逻辑表”，是两个表或结果集连接后的结果。通过把JOIN放在FROM子句......
（天津滨海职业学院，天津 300450） 摘 要:本文主要从数据完整性、通过触发器在后台控制主表和子表间的数据同步更新、SQL语句的语法......
摘要：本文主要探讨了VB．NET中错误与异常的概念，结合Error对象和Exception对象的使用描述常用的异常处理技术，并结合VB．NET程序代码对非......
讨论了知识库是有限子句集时的更新过程, 给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思......
为了使Prolog推理引擎可以从一定程度的语义上来区分子句，通过概念图的形式对Prolog程序的子句建立本体．子句本体的概念模型通过其谓......
由于目前tableau算法在判断概念可满足性时会产生大量的描述重复（因而浪费了很多空间）,针对描述逻辑语言ALCN提出了一种基于子句重构......
缓存技术用来弥补网络通信能力的不足.语义缓存既缓存查询结果,也缓存查询语义,可更好节省网络开销.实用性是语义缓存技术产生和发......
隐喻是人们思维和行为的系统方式,词汇可以隐喻引申,基本子句结构也可以隐喻引申。以原型理论为基础,从认知——功能视角分析句子......
局部搜索算法是目前求解SAT问题比较有效的方法，而Sattime算法是在SAT国际大赛中获得大奖的一种典型局部搜索算法。在Sattime算法的......
归结演绎推理是一种在计算机上得到较好实现的基于归结原理的推理技术,介绍归结原理的基本思想以及它在自动推理中的应用。......
在科学研究和工程技术中,排队论(又称搏奕论)有着广泛的应用,本文将数理逻辑,确切地说是命题逻辑中关于对偶和析取范式、合取范式......
SQL语言(结构化查询语言)是关系数据库的标准语言,各学校选择其作为数据库教学语言,其突出的优点在于集数据定义、数据查询、数据......
针对布尔子句的聚类问题,根据CNF布尔子句的特点,提出了一种两阶段的子句聚类方法.初始时每个子句被看作一个簇,第一阶段的聚类采......
篇章指由一系列连续的子句、句子或语段构成的语言整体单位,每个篇章不仅具有内部连贯性,而且篇章中的各级语言单位是描述同一问题......
人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解".本文探讨了基于支持集策略的归......
命题逻辑公式的可满足性问题(SAT)是计算机科学和人工智能中一个重要问题。它是第一个被证明了的NP完全问题,由Stephen Cook于1971......
