量词口的句法认知基础浅探

Cognitive Foundations of the Classifier KOU an d its Syntactic Behaviors

量词来源于名词、动词和少数形容词。

Classifier, stems from nouns, verbs and certain adjectives.

比较级、最高级、模糊限制语、数词、量词和代词也出现在广告中

Comparatives, superlatives, hedges, numerals, quantifiers and pronouns are also used in advertisements.

RESOLUTION采用消解原理证明带量词的验证条件。

The RESOLUTION adopts the principle of resolution to prove verification conditions with quantifiers.

“把”字句受体B前出现量词“个”可以表示“不定指”，但这并不能概括其所有的“个”字功能。

The word "Ge" before the receiver B in the sentence of "Ba" may stand for "indefinite".

这一算法依赖于Hilbert第17问题的一系列经典研究结果以及实闭域上量词消去的柱形代数剖分算法。

The algorithm is based on a series of research results of Hilbert 17th problem and Cylindrical Algebraic Decomposition.

一种多值规则量词公式的tableau的方法

A Kind of Tableau Reasoning Method with Quantifiers in Many-valued Regular Logic

研究人工智能知识表示方法及PAR方法的量词变换规则，组织基于规则推导的规则库。

Investigated AI knowledge representation method and predicate transformation in PAR method; Constructed a rule base for rule-based reasoning;

量词（Quantifier）&一组数值型值，表示诸如数量、价格、薪水之类的项

Quantifiers& a set of numeric values representing items such as quantities, prices, salaries, and so on

本课题结合《HSK量词学习词典》编纂工作，探讨语料库技术的应用。

This paper mainly discusses how corpus is utilized in dealing with problems in making A Dictionary of Measure Words in HSK.

完全二叉树的一阶理论已被证明具有量词消去的性质，进而计算了完全二叉树模型中元素的CB秩。

The first-order theory of a complete binary tree is decidable by the quantifier elimination, we also know the CB rank of elements of a complete binary tree.

这两种限制形式间的不同就是全称量词与存在量词间的不同。带传递关系和存在量词的描述逻辑MSC推理

The difference between the two formulations is the difference between a universal and existential quantification. Computing Most Specific Concept in Description Logic with Transitive Roles and Existential Restrictions