Conciliation through Iterated Belief Merging

O. Gauwin, S. Konieczny, P. Marquis
2007 Journal of Logic and Computation  
Two families of conciliation processes for intelligent agents based on an iterated merge-then-revise change function for belief profiles are introduced and studied. The processes from the first family are sceptical in the sense that at any revision step, each agent considers that her current beliefs are more important than the current beliefs of the group, while the processes from the other family are credulous. Some key features of such conciliation processes are pointed out for several
more » ... operators; especially, the stationarity issue, the existence of consensus and the properties of the induced iterated merging operators are investigated.
doi:10.1093/logcom/exm047 fatcat:v6woi67jubbobayuz2b7umvcry