海外直订A Reasoning Many Intelligence and 人工智能中演绎推理 多值方法 Valued Artificial for Deduction Approach