1) The inference method of verification suppose
假设验证推理
2) assume-guarantee reasoning
假设-保证推理
3) abduction
[英][æb'dʌkʃən] [美][æb'dʌkʃən]
假设推理
1.
It is based on abduction and utilizes defaults to compute the future problem.
它以假设推理为基础,并利用缺省值对未来的问题进行计算。
4) assuming and validating method
假设验证法
1.
In order to identify multi-faulty satellites rapidly, and to improve the reliability of satellites navigation system, a new receiver autonomous integrity monitoring(RAIM) algorithm is proposed, which is called assuming and validating method.
为能够快速识别多颗故障卫星,提高卫星导航定位系统的可靠性,提出了一种可以用于多颗故障卫星识别的接收机自主完整性监测(RAIM)的新方法——假设验证法。
5) presumptive reasoning
假设性推理
1.
Being an informal logician,Walton not only has studied the presumptive reasoning thoroughly,but also has prompted the presumptive reasoning to the equal status to the deductive and inductive logic as the third type reasoning form.
非形式逻辑学家沃尔顿对假设性推理进行了深入的研究,并且将假设性推理升为和演绎与归纳相并列的第三类推理形式,从而在理论和实践上解决了许多长期困扰人们的逻辑问题,为论证和谬误理论研究提供了一个新的逻辑基础,是对非形式逻辑合法性的极好辩护,也对建立面向生活世界的语用逻辑提供了更为合适的标准。
6) validations of assumptions
假设条件验证
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条