[计]?判定过程

two-decision procedure : 双向决策程序 decision procedure : 决策过程；判定过程 monotone decision procedure : 单调决策程序 ..

?决策过程

...是可判定终 止的，不管是是的回答还是否的回答，所以一般的描述逻辑推理过程的研究 者倾向于使用决策过程（Decision Procedure），而不是一阶逻辑的定理证 明机之类的机制。

?决策程序决策程序

... decision method 决策方法 decision procedure 决策程序决策程序 decision rule 决策法则 ...

?决策程序

1．1．2决策程序 权威决策程序（decision procedure）指权威在 决策过程中所选择的讨论步骤。本文主要指权威 为决策规定的发言次序，即权威何时发言，主要 包括两个属性：一是讨论开始...