Bin Xing

A Logic for Iterated Belief Revision

2021 · 2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)

Representing belief information is a fundamental problem in the field of belief revision. The AGM framework uses a deductively closed set of formulas, known as a theory, to represent the belief information of an agent, …