在决策学中，把通过逻辑论证得到的方案执行结果称为