A constructive method of the finest splitting of belief set

作者：Wu Maonian^*; Zhang Mingyi

来源：8th International Conference on Fuzzy Logic and Intelligent Technologies in Nuclear Science, 2008-09-21 to 2008-09-24.

DOI：10.1142/9789812799470_0052

• belief change
• splitting language
• constructive method

An agent holds a great number of beliefs. By the notable AGM model, nine tenths of the previous beliefs of the agent will be revised if a new belief is inconsistent with them. In reality, more often than not, people hope that only the relevant parts of a belief need to be adjusted. In a finite language, Parikh proposed the concept of splitting of belief set and the existence of the finest splitting of any set of formulae in 1999. While Kourousias and Makinson proved that the existence of the splitting of any set of formulae in an infinite language in 2007. Nevertheless, neither of them have presented us with a constructive method to gain the finest splitting. In the paper, a constructive method was proposed to find the finest splitting of any set of formulae. And we analyse the complexity of the method.

• 出版日期2008
• 单位贵州大学