1) combination expression of association inference
联畜推理的组合式
2) composition expression of association inference
联言推理的合成式
3) cooperate reasoning
联合推理
1.
The paper designed the IT project risk evaluation and decision reasoning mechanism based on cooperate reasoning first.
在传统决策推理方式的基础上,提出了一种综合运用规则、事例、模型推理的更符合IT招标项目实际的联合推理方式风险评价决策机制,并重点讨论了定权灰聚类推理模型的运用。
4) compositional reasoning
组合推理
1.
Model checking based on compositional reasoning for cryptographic protocols;
密码协议的一种基于组合推理的模型验证
2.
Based on assume-guarantee compositional reasoning techniques, a new assume-guarantee based reasoning rule and algorithm are proposed, and the soundness of the rule is proved.
基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、假设函数的设定问题、进程+逻辑的系统特性描述问题等难题。
5) combinatorial reasoning
组合推理
1.
In order to represent the equivalence of topological relations between a line and a region in vector space,on the basis of 97 topological relations between a line and a region,which are depicted by combinatorial reasoning of spatial topological relations,the questions of equivalent transformation of the basic topological relations types in abstraction process are discussed.
以空间拓扑关系组合推理所描述的线与面之间的拓扑关系为基础,研究了抽象过程中基本拓扑关系类型等价转换所涉及的问题;提出了成分抽象的等价转换方法,并将其运用于线与面之间基本拓扑关系类型的抽象过程中;绘制了线与面之间基本拓扑关系类型的等价转换图。
6) decomposition expression of association inference
联言推理的分解式
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条