Merging Qualitative Constraints Networks Using Propositional Logic

Jean-Francois Condotta (1) , Souhila Kaci (1) , Pierre Marquis (1) , Nicolas Schwind (1)

1 CRIL - Centre de Recherche en Informatique de Lens

In this paper we address the problem of merging qualitative constraints networks (QCNs). We propose a rational merging procedure for QCNs. It is based on translations of QCNs into propositional formulas, and take advantage of propositional merging operators.

Domaines: Intelligence artificielle [cs.AI]

Jean-Francois Condotta, Souhila Kaci, Pierre Marquis, Nicolas Schwind. Merging Qualitative Constraints Networks Using Propositional Logic. 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'09), 2009, Verona, Italy. pp.347-358. ⟨hal-00866851⟩