AI要約 本論文は区間順序とバイ順序の理論的枠組みを用い、信頼性制限付き信念改訂(credibility-limited belief revision)の表現定理を提示する。順序構造と改訂操作の対応関係を明らかにし、新しい公理化を与える。

EN This paper develops a representation theorem for credibility-limited belief revision using interval orders and biorders, establishing correspondences between these order-theoretic structures and revision operations and providing a new axiomatization.