1) assume-guarantee reasoning
假设-保证推理
2) The inference method of verification suppose
假设验证推理
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) 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.
非形式逻辑学家沃尔顿对假设性推理进行了深入的研究,并且将假设性推理升为和演绎与归纳相并列的第三类推理形式,从而在理论和实践上解决了许多长期困扰人们的逻辑问题,为论证和谬误理论研究提供了一个新的逻辑基础,是对非形式逻辑合法性的极好辩护,也对建立面向生活世界的语用逻辑提供了更为合适的标准。
5) default assumption reasoning
缺省假设推理
1.
Due to this,propose default assumption reasoning based on DFL.
因此文中针对研究对象以及它们之间的动态模糊性,提出了基于动态模糊逻辑(DFL)的缺省假设推理,并给出了缺省假设推理的框架描述、动态模糊(DF)知识的表示以及推理算法等。
6) theoretical
[英][,θɪə'retɪkl] [美]['θiə'rɛtɪkḷ]
理论的;假设的;推理的
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条