Quantum-Based Belief Merging

Belief merging aims at building a common belief set issued from multiple belief sets. The quality of the resulting set is usually considered in terms of a closeness criterion between the initial belief sets and an integrity constraint with respect to the aim of the merging procedure. The notion of distance between belief sets is thus a crucial issue when we face the merging problem. The aim of this paper is to revisit belief merging operators, notably the majority and the arbitration operators, with the help of a new distance that considers, in a syntactical way, the importance of each symbol in the belief set.

[1]  Peter Z. Revesz,et al.  On the Semantics of Arbitration , 1997, Int. J. Algebra Comput..

[2]  Jerusa Marchi,et al.  A Syntactic Approach to Satisfaction , 2008 .

[3]  Sébastien Konieczny,et al.  Distance Based Merging: A General Framework and some Complexity Results , 2002, KR.

[4]  Kenneth D. Forbus Introducing Actions into Qualitative Simulation , 1989, IJCAI.

[5]  Jerusa Marchi,et al.  A Syntactical Approach to Belief Update , 2005, MICAI.

[6]  Rolf Socher Optimizing the clausal normal form transformation , 2004, Journal of Automated Reasoning.

[7]  Alberto O. Mendelzon,et al.  Knowledge Base Merging by Majority , 1999 .

[8]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[9]  Jerusa Marchi,et al.  A Syntactical Approach to Revision , 2004, ECAI.

[10]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[11]  Sébastien Konieczny,et al.  Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory , 2005, Eur. J. Oper. Res..

[12]  Sébastien Konieczny,et al.  Merging Information Under Constraints: A Logical Framework , 2002, J. Log. Comput..

[13]  Alexander Gelbukh,et al.  MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings , 2005, MICAI.

[14]  P. Schönemann On artificial intelligence , 1985, Behavioral and Brain Sciences.

[15]  Marco Schaerf,et al.  Arbitration (or How to Merge Knowledge Bases) , 1998, IEEE Trans. Knowl. Data Eng..