logical inference发音

意思翻译

逻辑推理

相似词语短语

inference───n.推理；推论；推断

logical───adj.合逻辑的，合理的；逻辑学的

logical operation───[计]逻辑操作，[计]逻辑运算

inference engine───[计]推理机；推理工具

amortized inference───摊销推断

elaborative inference───精细推理

statistical inference───[统计][数]统计推断

fiducial inference───基准推断

inference question───推理问题

双语使用场景

A computer can reason about statements in these formal languages automatically using logical inference rules.───计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。

maximize the chances of success using commonly accepted logical inference rules.───使用普遍接受的逻辑推理规则，以争取最大限度成功的机会。

At the same time implemented machine proof of some mathematical theorems (Group theory) and logical Inference of statements.───同时，实现了一些数学(群论)定理的机器证明，命题的逻辑推演等。

Generally, players'bounded rationality is limited by game information, prediction-decision criteria and logical inference ability.───通常局中人的理性会受到博弈的信息、预决策标准和逻辑推理能力的限制。

In many definitions of logic, logical inference and inference with purely formal content are the same.───在许多定义的逻辑，逻辑推理和推理与纯粹形式上的内容是相同的。

Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.───符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。

There are some same aspects between the logical inference in ancient China and ancient Greek. And they also have their own characters.───中国古代逻辑的推类与西方逻辑推理既有相同之处，亦各自具有不同的特点。

Social interaction: logical inference of the deteriorating circle model of hospital reimvursementmechanism───社会互动：医院补偿机制恶性循环模型逻辑推论

Research on A Logical Inference Method for Text Classification───一种用于文本分类的逻辑推理方法探讨

英语使用场景

Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference.

By mainly using the logical inference method, the first-generation theory conducts explanations on reasons and influences of the international capital movement.

Lastly, comparative to logical inference, the law of causation is rooted the diachronic connection between two empiristic facts.

However, because oneself lacks the strict logical inference, I think that it is unable to substitute for the expected utility theory in the standardized decision-making function.

This new inference engine consists of forward neural network inference model and backward logical inference mcdel.

Finally achieve logical inference through racer.