R-演算：一种信念修正的逻辑