CAJ | 학술논문

经典的AGM信念修正理论和以D-P假设为代表的迭代信念修正理论都是以完全指派为可能世界而进行的理论研究.把这些研究推广到有缺指派的领域中与完全指派为每个原子命题符号都指派真假值不同,有缺指派是一个三值指派,它可以为每个原子命题符号指派真、假和不确定三值之一.以有缺指派为可能世界,对D-P系统进行了推广,证明了相应的表示定理.
경전적AGM신념수정이론화이D-P가설위대표적질대신념수정이론도시이완전지파위가능세계이진행적이론연구.파저사연구추엄도유결지파적영역중여완전지파위매개원자명제부호도지파진가치불동,유결지파시일개삼치지파,타가이위매개원자명제부호지파진、가화불학정삼치지일.이유결지파위가능세계,대D-P계통진행료추엄,증명료상응적표시정리.
Classical belief revision theory and iterated belief revision theory are both developed in the framework of complete valuations. This paper extends the research to the incomplete valuation. Different from complete valuation, incomplete valuation may assign the unknown state to some atomic propositions. Adopting incomplete valuation as possible world, this paper establishes a model-based representation theorem which characterizes the proposed postulates and constrains.