2) logical inference
逻辑推理
1.
The interpretiation of remote sensing images belongs to the cat-egory of the cerebral conscionsness activity,which is the process of the logical inference proceededfrom the outside to the inside and from one point to another by the surficial informations.
遥感解译属于人脑意识活动的范畴，是利用表层信息由表及里、由此及彼的逻辑推理过程。
2.
Thus it draws a conclusion that activation,association,logical inference,model connectionism,as a whole,is the cognitive psychological model of disambiguatio
本文从认知心理学的角度对歧义的认知心理过程作尝试性分析,并认为激活,联想,逻辑推理和模块组合这四个步骤构成一个完整的,能解决歧义的认知心理模式。
3.
The methods of logical inference(and deduction) and inductive synthesis are used.
根据作者曾建立的系统势模型和万有引力势与电势的关系式,运用逻辑推理(演绎)和归纳综合相结合的方法,从经典物理学的源头——电流强度单位的定义和电量单位的定义出发,结合元电荷测定原理、质子的荷质比、气体分子动理论以及相对论质量公式,导出了万有引力常量G的关系式,从而很好地解释了万有引力常量G的测量值的大小、变化及其范围,揭示了万有引力常量G的本质,消减了一个物理基本常数。
3) logic reasoning
逻辑推理
1.
Analysis On the Logic Reasoning of the Arbitral Awards;
裁决书写作的逻辑推理分析
2.
Research on dynamic expression of digital rights based on logic reasoning
基于逻辑推理的数字权利动态描述研究
3.
By means of analyzing process rule and establishing logic reasoning codes to generate the flame rectification method automatically; by analyzing the parameters that influence the distortion of flame rectification and welding process to build the mapping formula; and then use artificial neural network algorithm to resolve .
采用分析工艺规则、建立逻辑推理代码的方法实现火焰矫正方法的自动生成;通过分析矫正变形以及焊接变形的影响因素,建立了影响因素之间的映射关系式,使用人工神经网络拟合映射关系式,从而确定并优化了火焰矫正的关键工艺参数。
4) logic inference
逻辑推理
1.
Thinking computation:hominine machine intelligence based on logic inference and image inference;
基于逻辑推理和表象推理的类人机器智能——思维计算
2.
This article analyzed and summarized the logic inference process of Maxwell equation suit’s foundation.
用逻辑学的观点分析和总结了麦克斯韦方程组建立的逻辑推理过程,即归纳推理确立电磁感应的本质,类比推理引入位移电流假说,假言推理预言电磁波的存在。
3.
Typical moving ground target tracking scenario is analyzed and logic inference is introduced for target tracking.
分析了地面运动目标跟踪的典型场景,采用逻辑推理方法进行目标跟踪。
5) logical reasoning
逻辑推理
1.
Automated Network Attack Scenario Generation System Based on Logical Reasoning;
基于逻辑推理的网络攻击想定生成系统
2.
Study on Kindred Relationship Logical Reasoning Expert System;
亲属关系逻辑推理专家系统的研究
3.
Under the condition of logical reasoning on lattice-valued propositions, paper[1] defined ∨-∧ lattice-valued implication operators, and discussed some tiopositions.
在格值命题的逻辑推理下，给出了∨─∧格值蕴涵算子，并讨论了一些命题。
6) Logical deriving number
逻辑推数
补充资料：逻辑推导
逻辑推导
derivation, logical
在以古典逻辑为基础的演算中，一个特征是二二A卜A.在直觉主义逻辑(构造主义逻辑)中，对r附加某些条件，就可以证明Brou认尼r可推导性概念原理(PrindPles of Bro~conCePt of derivabiUty):l)如果r卜AVB，则或者有r卜A，或者有r卜B;2)如果r卜日xA(x)，则对某个项t，r卜A(t)(r是空集时这些条件也都满足).由演绎定理(d司1心lonthe-。比m)的作用，一个推演中可以去掉一些假设，直到变成没有假设. 推导概念的形式化(以及由此得到系统的形式化)标志着现代数理逻辑的创始.在现代的、更为严格解释的公理化方法中，不仅仅是公理，而且逻辑工具也被形式化，这就使得能够给出证明这一概念的数学定义，并能用数学方法对证明加以研究〔见证明论(ploof tlloory)).形式推导这一概念被认为是很近似于数学证明的概念的(见C肠山l完全性定理(C伽无1印mPle协汉 SSth印化m)，C谊划不完全性定理(G叼elmcomPleten哪山印化m)).逻辑可演绎性的人工形式化已发展为很接近于有实际意义的数学推理方法(见自然逻辑演绎(nat山旧!fogi伪1 dedu‘t助n)).逻辑推导[山幼怕‘刃，瑰灿.;a。一。几几or.，ee“11‘] 演算(司‘川山)中由逻辑规则作出的形式推导，它所推出的主要结果是解释为命题(pmPosition)的公式(follm目a);见逻辑演算(】哈口1口叱祖璐);逻辑数学演算(10乡阳哎砚山即旧石倒。日culus).这些演算通常都被赋予一种语义(见语义学(selr旧幻ti。))，因此逻辑推导有时也被理解为一种有含义的陈述，它允许从公理和假设出发得到新的命题，新命题就是初始命题的 逻辑推论. 如某遭辑变孩的公理和玩网己经绍走i觅雍幕法-则(由d辍山nl飞叫))，称一个公式列是(它的末项A“J)丛俘诊人，‘’‘，人(n)0)中拳的万个堆导，如果这个 公式列中的每一项或是一条公理，或是某一条假设，或是由它前面的公式依据一条规则而得到.记此为A，，…，人、A.公式A就称为从A:，一人可堆导的 (山d铂ble).如果n“0，记号卜A是指在有关的演 算中，不用任何假设，A就是可推导的.记号Al，一，人卜表示“假设A:，…，人导出矛盾”(在多数常用 的系统中，A，，…，A。卜意味着任意公式都可以从这 些假设中推导出来).例如，在含有公理A“(B OA) 和分离法则(1扭劝留po~)的演算中，序列A，A。 (B〕功)，B OA，就是从A出发到B OA的一个推导 (即A卜(B“A)).以下是逻辑推导的几个性质: A卜A;如果r卜A，则A，rl一△;如果A，A， r卜△，则A，r卜△;如果r，A，B，r’卜△， 则r，B，A，r’卜△;如果r一A，且A，r’卜△， 则r，r‘卜△(这里A和B是公式，r和r‘是公式 的序列，△是一个公式，或是空字).这些性质使得 假设条件序列的实质变换成为可能，再连同引人和省 略逻辑符号的法则(见导出法则(由巧货月司e);可推 断法则(ded心比n日e))，就使得带有符号卜的系统 很像一个C.加即形式系统(〔记n切翔化爪以15娜记川).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条