可承诺逻辑