formal logic inference是什么意思

网络释义

用法例句

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.

遥感解译属于人脑意识活动的范畴，是利用表层信息由表及里、由此及彼的逻辑推理过程。

Thus it draws a conclusion that activation,association,logical inference,model connectionism,as a whole,is the cognitive psychological model of disambiguatio

本文从认知心理学的角度对歧义的认知心理过程作尝试性分析,并认为激活,联想,逻辑推理和模块组合这四个步骤构成一个完整的,能解决歧义的认知心理模式。

The methods of logical inference(and deduction) and inductive synthesis are used.

根据作者曾建立的系统势模型和万有引力势与电势的关系式,运用逻辑推理(演绎)和归纳综合相结合的方法,从经典物理学的源头——电流强度单位的定义和电量单位的定义出发,结合元电荷测定原理、质子的荷质比、气体分子动理论以及相对论质量公式,导出了万有引力常量G的关系式,从而很好地解释了万有引力常量G的测量值的大小、变化及其范围,揭示了万有引力常量G的本质,消减了一个物理基本常数。

Analysis On the Logic Reasoning of the Arbitral Awards;

裁决书写作的逻辑推理分析

Research on dynamic expression of digital rights based on logic reasoning

基于逻辑推理的数字权利动态描述研究

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 .

采用分析工艺规则、建立逻辑推理代码的方法实现火焰矫正方法的自动生成;通过分析矫正变形以及焊接变形的影响因素,建立了影响因素之间的映射关系式,使用人工神经网络拟合映射关系式,从而确定并优化了火焰矫正的关键工艺参数。

Thinking computation:hominine machine intelligence based on logic inference and image inference;

基于逻辑推理和表象推理的类人机器智能——思维计算

This article analyzed and summarized the logic inference process of Maxwell equation suit’s foundation.

用逻辑学的观点分析和总结了麦克斯韦方程组建立的逻辑推理过程,即归纳推理确立电磁感应的本质,类比推理引入位移电流假说,假言推理预言电磁波的存在。

Typical moving ground target tracking scenario is analyzed and logic inference is introduced for target tracking.

分析了地面运动目标跟踪的典型场景,采用逻辑推理方法进行目标跟踪。

Automated Network Attack Scenario Generation System Based on Logical Reasoning;

基于逻辑推理的网络攻击想定生成系统

Study on Kindred Relationship Logical Reasoning Expert System;

亲属关系逻辑推理专家系统的研究

Under the condition of logical reasoning on lattice-valued propositions, paper[1] defined ∨-∧ lattice-valued implication operators, and discussed some tiopositions.

在格值命题的逻辑推理下，给出了∨─∧格值蕴涵算子，并讨论了一些命题。

take something as preexisting.

把……当作逻辑推理前提。

From Contextual Reasoning to Logical Reasoning--An Analysis of Reading Comprehension Mode;

从语境推理到逻辑推理——阅读推理模式探析

To arrive at(a truth, for example) by logic.

得出通过逻辑推理得出（例如，真理）

Finally achieve logical inference through racer.

通过Racer完成本体逻辑推理任务。

The logic of this was weird to say the least.

至少可以说，这个逻辑推理是奇怪的。

Application of Petri Nets in Predicate Logic Reasoning;

谓词逻辑推理中的Petri网应用

Cultivation of Students Logical Reasoning Ability in the Teaching of English Reading;

英语阅读教学中逻辑推理能力的培养

THE RELATIONSHIP BETWEEN COLLEGE STUDENTS COGNITIVE STYLE AND REASONING;

大学生的认知风格与逻辑推理的关系

dilemma reasoning

二难推理 -逻辑学

the logical analysis of mathematical reasoning.

数学推理的逻辑分析。

A Tableau Decision Procedure for Rough Description Logic RALCQ

粗描述逻辑RALCQ的Tableau推理

An Inference and Decision Logic Approach for Process Planning Based on Mathematical Logic;

基于数理逻辑的工艺推理与决策逻辑方法研究

ON THE RELATIONSHIP BETWEEN LOGIC AND NON-LOGIC PROCESS OF HUMAN REASONING;

推理心理研究中的逻辑加工与非逻辑加工评析

To reason methodically and logically.

推理用理性方法和逻辑进行推理

The act of inferring or drawing conclusions.

推理进行逻辑推断或探求结论的行为

Analogy as One of the Major Types of Logical Reasoning in Ancient China

中国古代逻辑的主导推理类型——推类

Comprehension on Logical Deduction in Solving Mathematical Proposition;

对逻辑演绎推理在数学解题中的理解

Different contents different Logic: under the conditions of gaining benefits and avioding injuring

利/害条件下归纳推理的心理逻辑分离