1) 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.
自然推理系统中假设前提销去规则是指在引入假设前提推导出结论的过程中,运用蕴涵引入规则构造一个蕴涵式,从而销去假设前提。
3) calculus of nature inference
自然推理演算
4) naive extrapolation
自然推论
1.
The results of the experiment showed that the prediction of the room occupancy rate made by neural network is superior to the two methods of regression and naive extrapolation which are often used.
实验结果说明,用神经网络预测出的客房出租率优于多回归法和自然推论法。
5) natural extending
自然推广
6) 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。
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条