Discussion on the Quantificational Unrevision Method to Satisfy the AGM Theory
Shang Ying · Computer Engineering and Science · 2004
Belief revision is the most important topic in common reasoning.There are many static methods, and AGM theory is the most efficient one among them. This paper presents a quantificational unrevision method and discusses the satisfiability between this method and the AGM theory. It also demonstrates that the method is of good property.