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.
通常局中人的理性会受到博弈的信息、预决策标準和逻辑推理能力的限制。
it tends to maximize the chances of success using commonly accepted logical inference rules.
使用普遍接受的逻辑推理规则,以争取最大限度成功的机会。
the analysis proves that in principle the go methodology is in conformity with strict logical inference and provides a new method for the reliability analysis of a manufacturing system.
分析过程证明,go法在理论上符合严格的逻辑推导,为制造系统的可靠性分析提供了一种新的方法。
the history of modern scientific development shows scientific recognition cant be achieved simply by a logical inference and an experimental test.
近代科学发展的史实表明,科学承认不是一个简单的逻辑证明加实验检验的过程。
there are some same aspects between the logical inference in ancient china and ancient greek. and they also have their own characters.
中国古代逻辑的推类与西方逻辑推理既有相同之处,亦各自具有不同的特点。
by mainly using the logical inference method, the first-generation theory conducts explanations on reasons and influences of the international capital movement.
第一代国际资本流动理论主要运用逻辑方法对国际资本流动的原因和影响进行解释;
in this paper, set pair inference according to set pair analysis is introduced. some basic logical inference operations and properties about set pair logic are discussed.