通常用来表示人、事物或动作的数量单位的词,叫做量词。如头、匹、条等。
n. quantifier
misc. measure word
Part Two: The classifiers in San Guo Zhi.
第二部分:《三国志》中的量词。
参考来源 - 《三国志》量词研究The explore of the history of measure word creating.
3、 量词的成词历史及搭配关系的探索。
参考来源 - 对外汉语量词教学初探We can enrich the classical first-order logic expression by adding a new quantifier symbols,such as "most".
我们可以增加新的量词符号,比如说most来丰富经典一阶逻辑的表达能力。
参考来源 - 表达量化的方式及其形式刻画问题探讨We gave the definition of generalized quantifier in the lattice-valued first-order logic LF(X) and Lvfl. We also gave the inclusion relation, union and product operation of generalized quantifiers and proved reasoning results with them.3.
2.在格值一阶逻辑系统LF(x),Lvfl中定义了广义量词,以及广义量词之间的包含关系和广义量词的并交运算,得到了带广义量词的推理规则和有关广义量词的包含,并交运算的推理结果。
参考来源 - 基于格蕴涵代数的格值逻辑中的近似推理研究ORbase givesa method for computing long path expression with quantification.
ORbase中提出了一种对带量词的长路径进行优化计算的方法。
参考来源 - 对象——关系数据库ORbase中的查询及优化处理·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐