A Semantic Approach for Iterated Revision in Possibilistic Logic

In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for revision is too strong to define a practical one-step revision operator and some of them should be weakened. We then present a semantic approach for iterated revision in possibilistic logic using a one-step revision operator. The computation of the semantic approach is given. We show that our revision approach satisfies almost all the DP postulates for iterated revision and some other important logical properties.

• Type: Conference
• Year: 2008
• Where: AAAI
• Authors: Guilin Qi
• Keywords: AAAI 2008, Intelligent Agents, Iterated Revision, One-step Revision Operator, Possibilistic Logic