1) quantifier inference
量词推理
1.
It proposes the method of quantifier inference through querying table and expatiates the building principles of querying tables under two situations.
提出通过查表实现量词推理的方法,阐述2种情况下查询表的建立原理。
2) lexical inferencing
词义推理
1.
If they need to comprehend the meaning of a new word in the absence of the new vocabulary glosses, the glossary and the dictionary, they will have no choice but to make lexical inferencing, which involves the construction of the lexical meaning through informed guesses.
在没有生词注释、生词表和词典的情况下,学习者要想获知生词的词义,就必须进行词义推理,即通过推导去建构合乎语境的词义。
3) quantitative reasoning
定量推理
1.
Integrated quantitative reasoning mechanism of fault detection and diagnosis at different hierarchies of underwater vehicles;
基于层次模型定量推理机制的潜水器故障诊断系统设计
4) quality reasoning
质量推理
5) forward reasoning
向量推理
6) Quantum reasoning
量子推理
补充资料：量词
量词
quantifier
盘词[印.以币er:拙aoTop] 一种逻辑运算的一般名称，该逻辑运算利用谓词尸(x)构造刻划尸(x)的有效域的语句.在数理逻辑中，最广泛使用的量词是全称量词(~玲al qUanti-fier)丫和存在量词(existential qUalltifier)日.语句丫x尸(劝意思是尸(x)的有效域与变元x的值域相同.语句日x尸(x)意思是尸(x)的有效域非空.如果只对尸(x)在由谓词R(x)挑选出的x的部分值域(而不是x的整个值域)上的行为感兴趣，通常使用琴制鼻娜(res‘ric‘ed quantifier)(日x);(，)和(丫x):(二).在这种情况下，语句(日x)只(芜)p(x)与日x(R(义)%26p(x))表示相同的意思，而(丫x)。(二)p(x)与丫x(R(x)D尸(x))表示相同的意思，其中%26是合取(conJ~tion)符号，。是蕴涵(implicat10n)符号.B.E.n几‘eKo撰【补注】当今量词的主题远比上述提及的多，因为有比上述讨沦的两(或四)种量词更多的量词(例如，对策量词，概率量词). 更一般地，任意量词Q(与丫和日有相同的语法行为)的模型论解释可以(据A， Mostowski)由一个映射给出，该映射把每个模型(A，二)映到A的一个子集类Q.然后规定Q的真假值定义，例如，语句Qx小(劝在(A，…)中为真，当且仅当集合{aoA:中(a)在(A，…)中为真}在Q中.因此，存在量词日对应于A的非空子集类，全称量词丫对应于类{A}然而，有很多可能的量词，例如分别由{B CA:B有限}，{B CA:B与A有同样的基数}(张(辰中)量词(Changq珑ult血r))，{B C=A:B不可数}等给出的量词.这种结构可以推广到约束出现在多个公式中的多个变元的量词(例如，等基数量词(eq山一cardin田jty ql笼l们t诵er)Q约束出现在两个公式。(x)和甲(x)中的两个变元x和y，产生公式Qx夕(。(x)，甲(夕))，由遭(B，C):刀和C有相同基数}解释).更一般的是Lindstr6m量词(L力ld-st~ql迢而玩r).每个量词都有自己的逻辑.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条