Oxford Journals
tools journals homepage advanced search contact help
Journal of Logic and Computation: Current Issue
 
home
browse
current
etoc
authors
subinfo
subscribers
samples

OUP > Journals > Computing/Engineer. & Mathematics/Stats. > Journal of Logic and Computation

Journal of Logic and Computation

Volume 12, Issue 5, October 2002: pp. 773-808

Merging Information Under Constraints: A Logical Framework

Sébastien Konieczny1 and Ramón Pino Pérez2

1Centre de Recherche en Informatique de Lens, Université d'Artois, Rue de L'université, SP 16 - 62300 Lens, France. E-mail: konieczny@cril.univ-artois.fr
2Centre de Recherche en Informatique de Lens, Université d'Artois, Rue de L'université, SP 16 - 62300 Lens, France. E-mail: pino@cril.univ-artois.fr

The paper considers the problem of merging several belief bases in the presence of integrity constraints and proposes a logical characterization of operators having a majority behaviour or a consensual one. Then a representation theorem in terms of pre-orders on interpretations is given. The close connection between belief revision and merging operators is shown and it is shown that the proposal extends the pure merging case (i.e. without integrity constraints) studied in a previous work. Finally it is shown that Liberatore and Schaerf commutative revision operators can be seen as a special case of merging.

Keywords: Logic-based merging; belief revision; integrity constraints

Table of Contents   Full-Text PDF (306 KB)

Oxford University Press
Published by Oxford University Press
Copyright ©Oxford University Press 2003
Print ISSN: 0955-792X  Online ISSN: 1465-363X.
Oxford University Press Privacy Policy and Legal Statement