Influence-Based Opinion Diffusion (Extended Abstract)

An Importance-Based Merging Operator, is a function ∆, which associates a formula µ and a non empty ordered multiset of consistent formulas ϕ1 ≺ ... ≺ ϕn with a formula denoted ∆µ(ϕ1 ≺ ... ≺ ϕn) so that: M od(∆µ(ϕ1 ≺ ... ≺ ϕn)) = M in ≤ d,ϕ 1 ≺...≺ϕn M od(µ)