A Computational Method of General Belief Revision
Jia Song · Journal of Computer Research and Development · 2004
New knowledge in the theory of basic AGM postulates is a single sentence, but in fact it comes in set of sentences, even infinite sentences General belief revision extends the AGM's theory, but a valid computational method is wanted The problem of the relation between believes can be resolved through developing the nice ordering partition model, and the problem of how to determine the new knowledge's epistemic entrenchment can be resolved through the method of correlating the new knowledge with the conflict knowledge A computational method based on linked list is given, which resolves the operating problem about the belief library of general belief revision