區間順序與雙順序在信念修訂中的應用

關鍵要點

• •引入每個可能世界具有非負可信度區間的區間順序。
• •雙順序泛化區間，允許負長度以捕捉不協調。
• •對區間、雙順序及中間修訂家族提供公理化特徵。
• •雙順序修訂滿足成功公設但非總是一致；修改版優先一致性。
• •連結Hansson等人的可信度限制算子，但無單句閉包條件。