关键词: 信念修正, 部分相交收缩, 收缩, 修正, 遗忘理论

Abstract: For the sake of keeping minimal change principle, firstly, the forgetting contraction operator was defined based on forgetting theory, and this contraction operator could satisfy the necessity AGM contraction postulates. Then the forgetting revision operator was built through Levi Identity. Finally, the forgetting revision method and multiple forgetting revision algorithm were proposed. The case study shows that the algorithm is feasible and effective, and it can achieve a satisfied amendment.

Key words: belief revision, partial meet contraction, contraction, revision, forgetting theory