PREDICATE相关论文
谓词执行是在控制流存在的条件下可以有效挖掘指令级并行性的硬件机制,而在分簇结构上实现谓词机制,可以提高分簇结构上条件的执行......
脱落参数是乔姆斯基普遍语法中的一个重要概念，本文简要阐述了这一理论的来龙去脉、分析了决定英语非脱落属性的因素以及脱落语与非......
对归结原理的基本概念与推理规则进行了讨论，并在此基础上通过实例探讨了归结推理方法在数学定理证明中的应用。......
“老”类称谓语是汉语中一种重要的称谓形式,既可以作为名词、形容词、数词前缀,构成“老XX”的结构,也可以放在名词之后,构成尊称......
要用计算机或数学方法解决推理问题，命题符号化是关键。本文深刻剖析了自然语言中的“或”在命题符号化中的意义和作用及与逻辑联结......
本文讨论谓语的定义、分类、形式与动词的中动、主动、被动意义。传统语法用"主(subject)、谓(predicate)、宾、定、补、状"六个"......
在动态建模预测中 ,为考虑其他因素 (如相邻点变形量 )对某点变形的影响 ,本文将AR模型推广到建立考虑邻近点变形因素项的自回归模......
针对目前构建专家系统开发环境的局限性造成开发周期长的问题，提出了利用传统语言调用逻辑程序设计语言的动态链接库构建专家系统的......
数学定理的机器证明首先应将数学概念形式化，形式化的方法和技巧对于理论上的推理研究以及是否能够真正利用计算机进行推理起关键作......
维吾尔语的名词化短语有-°s名词化短语、-mAK名词化短语和-GU名词化短语三种形式。它们既可以与复数语缀（plural suffix，缩写为......
本文就Ｇ·弗雷格为构建一阶逻辑语言，把数学概念“函项”、“主目”、“值”等，通过类比和普遍化方法而以分析命题的逻辑结构，并用......
ＣＡＰＰ是实现ＣＡＤ和ＣＡＭ技术集成的关键。详细论述了ＣＡＰＰ的基本原理，指出了各种方法的特点。在此基础上，给出了ＢＪＣＡＰＰ系统的设计思路和具体方案。ＢＪＣＡＰＰ从实用性、通......
<正> 1 引言在一个句子中,谓语起着极其重要的作用。多年来,无论是以句法分析为主的自然语言处理,还是以语义分析为主的自然语言理......
结合汉语文献,尤其是甲金文文献,对＂谓主＂结构进行了比较研究。经研究发现,苗汉中的＂谓主＂结构存有诸如谓语大都由性质形容词充当、主......
《史记》中存在五种类型的述补结构:带关系补语的述补结构;带结果补语的述补结构;带趋向补语的述补结构;带数量补语的述补结构;带......
非通用语言信息爆炸导致人们的时间更加稀缺且注意力更加发散。该文围绕韩国语文本的自动文摘问题,提出一种新的基于关键体词抽取......
在句子分析中,通过句类的语义分析可以初步确定句类,进而得到基于句类分析的语义块及其内部结构.在SCSA中E语义块是很重要的,它类......
目的：探讨ACE基因多态性与急性缺血性中风始发证候的相关性。方法：选择发病7天之内急性缺血性中风患者118例,进行ACE基因（D/I）多态性检......
本文在生成语法的框架下，运用限定词短语理论分析汉语的名词性成分，认为汉语中存在限定词短语DP，且DP与NP都可以充当论元。有无指称是......
汉英两种语言间的共性为汉英翻译提供了基础,在把汉语句子翻译成英语时,要按照英语的语言特点及行文习惯,正确确立句子的主谓语这......
摘要：Google，百度，MSN和其他一些工具提供了强大的Internet，桌面搜索功能，为用户查找信息提供了便捷，但这些搜索工具并不关心数据本身的......
软件测试是保证软件可靠性的主要方法,为了提高测试的质量可以在需求分析阶段对测试对象进行分析,根据需求分析规则产生的谓词常常......
日语和汉语是两种不同的语言.在将日语译成汉语时,需要明确两种语言的句子成分,然后按照汉语习惯正确地表达出来.本文就日语和汉语......
存在问题在分析哲学的背景下取得了深入细致的研究成果。在“何谓存在”问题上，围绕“存在”是不是个体的属性从而是不是逻辑谓词的......
现代汉语中的“小”使用频率很高，在各种文体中都可以找到带有“小”的短语和句子。本文引用前辈语言学家相关文献中的论点，同时在考......
本文通过对具体动词的讨论，探讨了动词的逻辑价问题，认为动词的逻辑配价成分应该只包括施事和受事，其他的配价成分应该看作是相应的介......
从并行处理的角度探讨了提高逻辑数据库的查询处理效率的可行性，并提出了一个使用处理机阵列来实现并行查询的方案，此方案适用于数据......
工作流模型的正确性和可靠性是工作流管理系统健壮性的基础。该文提出一种基于状态空间的工作流模型验证方法，从而确保在构造期间产......
摘要PROLOG是一个非常简单的程序设计语言，具有高度的抽象性，同时却又易于理解，因此，它正被广泛地应用到人工智能领域的研究中。本文以......
无论是汉语还是德语，都有“谓语”这一句法项（这里排除在交际场合中的独词句）。然而德汉两个民族对于谓语的理解及其运用并不完全相同......
描述了一种自动获取汉语动词次范畴化信息的可行技术和一个从大规模真实文本中构建动词次范畴化词汇知识库的系统性实验。实验基于......
耒阳方言的反复问句较为特殊,它不但有由动词或形容词的正反相叠构成的反复问,即“Vp-Neg-Vp”式,也有由动词或形容词的正正相叠构......
对命题演算理论应用的局限性进行分析，并结合一阶谓词演算系统理论，对模糊一阶谓词演算系统理论做了初步的探讨，结合实例，给出了模糊满......
从there be结构的结构特征入手，重点分析了there be结构的各构成成分：引导词、谓语动词、实又主语。最后与实义动词have意为“有”时......
...
...
本文研究了定义在状态-事件序列上的谓词的离散事件系统的状态反馈控制问题。离散事件系统的数学模型是自动机。状态反馈与闭环过......
本文在离散事件动态系统的Ｐｅｔｒｉ网图形描述的基础上建立了相应的代数模型，该模型可以用来计算无竞争无回路Ｐｅｔｒｉ网的“最大状态”；该“最大状态......
在监控理论中,处理状态膨胀的标准方法之一是基于语言或谓词的模监控.但文献中没有涉及同时基于语言与谓词的混合模监控.本文研究......
从语篇的角度研究定语和谓语的功能，对语言事实的考察和分析证明两者之间存在着功能对立：定语是个语篇自足的位置，处在这个位置的语义......
本文提出了一种波形的符号描述方法,该方法的实现便于诊断专家系统从规则波形中自动获取故障知识.文中讨论了如何将规则波形用波元......
本文讨论了Prolog语言的主要特点和基本结构,针对实际应用中出现的过程性问题给出了用Prolog谓词和内部运行机制来表示结构化程序......
朱德熙先生依据功能将联合短语划分为体词性的和谓词性的两大类.我们认为,除了体词性和谓词性以外,现代汉语中还存在这样一些联合......
词汇学习中的搭配问题始终是韩国语学习者的难点,即使中高级韩国语学习者在词汇的搭配使用上仍存在不少困难,尤其是＂副词＋谓词＂类的搭......
道德基本概念的"善"是一个二元谓词,即当且仅当X满足了Y的道德需要或者X履行了Y制定的道德规范时,X才是善的.由于道德关系的客体X......
关系问题是罗素哲学的核心问题之一，在不同时期罗素都对这一问题进行过阐释。罗素将关系视为世界的基本元素。在其理论的不同时期，关......
在各类词中，动词数量仅次于名词，早在甲骨文时代，动词就具有一定数量，动词一般只作谓语，到了东汉史书《吴越春秋》，大多数动词仍在句中作......
