1) XSB logic reasoning system
XSB逻辑推理系统
2) fuzzy logic inference system
模糊逻辑推理系统
3) proposed logical system
推荐的逻辑系统
4) 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的本质,消减了一个物理基本常数。
5) 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 .
采用分析工艺规则、建立逻辑推理代码的方法实现火焰矫正方法的自动生成;通过分析矫正变形以及焊接变形的影响因素,建立了影响因素之间的映射关系式,使用人工神经网络拟合映射关系式,从而确定并优化了火焰矫正的关键工艺参数。
6) 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.
分析了地面运动目标跟踪的典型场景,采用逻辑推理方法进行目标跟踪。
补充资料：逻辑推理机
逻辑推理机
logic inference machine
lu0JI tull一Ji逻辑推理机(一嘟e inrerence maehine)可自动进行推理的计算机。它的输人是所要求证明的推理目标、有关的变量以及前提和假设;输出是关于推理目标的证明结论、有关的解释以及上述变量的值。程序员为逻辑推理机编写逻辑程序，其中包括推理过程中需要的已知事实，表示推理规则的逻辑语句和其它形式的语句等。通常，逻辑程序是用PR()-L‘X弓程序设计语言编写的。逻辑推理机根据上述信息，按照其本身所具有的推理机制，选择适当的决策步骤进行逻辑推理演算并输出结果。 逻辑推理机必须是完善的，即不可能给出错误的推理结果，又必须是完备的，即能够给出全部正确推理结果。 逻辑推理机的体系结构可以用知比en抽象机(W八八项)语义模型表示。WAM模型的指令集包含以下5类基本指令: (l)索引类指令在一个子句的推理过程中，用于控制各部分执行次序，例如，选择当前子句、回溯、重试等; (2)过程类指令用于管理推理过程中的子句链的选择和环境设置，以及子句链之间的转移等; (3)取检类指令包括取出参数，检验子句的形式参数与实在参数是否合一，记录相应的变量代人关系等; (4)设置类指令在子句体中，为谓词设置实在参数等; (5)合一类指令用于处理表或函数结构中各分量的设置和合一操作等。 应用这些指令，可以编写相应的程序来描述逻辑推理机的体系结构;又可以通过它们，采用编译、解释以及硬件组成等方法去实现实际的逻辑推理机。 关于逻辑推理机的研究成果有美国的PLM机(l 985年)、日本第五代计算机计划中的PSI机(1985年)和PSI一11机(1987年)以及具有并行化体系结构的Multi一PSI机(1987年)和PIM机(1986年)等。(郑守淇)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条