1) probable inference
或然推理
1.
Inference ,which includes apodictic inference and probable inference, is the chief thought pattern of ascertaining case quality .
推理是判明案件性质的主要思维形式,它包括必然推理和或然推理。
2) probable reasoning
或然性推理
3) probable logic inference
或然性逻辑推理
4) natural deduction
自然推理
1.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
2.
The rule of supposed premise elimination in the system of natural deduction is for eliminating the supposed premises by structuring a implication expression in the course of introducing the supposed premises to infer the conclusion.
自然推理系统中假设前提销去规则是指在引入假设前提推导出结论的过程中,运用蕴涵引入规则构造一个蕴涵式,从而销去假设前提。
5) plausible inference
似然推理
1.
In this paper, the knowledge representation based on the fuzzy set theory is investigated, and a new plausible inference algorithm PMLIFS-I is presented.
该文探究了基于模糊集理论的知识表示法,提出了似然推理新算法PMLIFS-I。
6) apodictic inference
必然推理
1.
Inference ,which includes apodictic inference and probable inference, is the chief thought pattern of ascertaining case quality .
推理是判明案件性质的主要思维形式,它包括必然推理和或然推理。
补充资料:演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条