@INPROCEEDINGS{NMR06:SDP,
  author       = {Julien Seinturier and Pierre Drap and Odile Papini},
  title        = {A reversible framework for propositional bases merging},
  pages        = {490--496},
  year         = {2006},
  editor       = {Jürgen Dix},
  address      = {Lake District, UK},
  publisher    = {Institut für Informatik, Technische Universitat Clausthal},
  month        = {May 30 - June 1},
  organization = {Clausthal University of Technology and University College London},
  booktitle    = {Proceedings of the XIth Workshop on Nonmonotonic Reasoning NMR 2006},
  url          = {http://www.in.tu-clausthal.de/uploads/media/NMR_Proc_TR4.pdf},
  abstract     = {The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several approaches have been proposed for merging propositional bases. However none of these approaches allows us the reversibility of the merging process. In this paper, we propose a very general reversible framework for merging ordered as well as not ordered pieces of information coming from various sources either ordered or not. A semantic approach of merging in the proposed reversible framework is first presented, stemming from a representation of total pre-orders by means of polynomials on real numbers. The syntactic counter-part is then presented, based on belief bases weighted by polynomials on real numbers. We show the equivalence between semantic and syntactic approaches. Finally, we show how this reversible framework is suitable for easily representing the approach of merging propositional bases stemming from Hamming distance and how the proposed framework is suitable for generalizing the revision of an epistemic state by an epistemic state to the fusion of several epistemic states.}
}