logical inference的意思

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.