Davide Grossi edited section_Conclusions_In_this_preliminary__.tex  about 8 years ago

Commit id: f03bb9656713445d29a79bb4f891275882a70acf

deletions | additions      

       

\section{Conclusions} \section{Conclusions and on-going work} \label{sec:conclusions}  In this preliminary work we have presented a simple class of opinion diffusion processes on networks, which we called Boolean DeGroot processes (BDPs). Interestingly these processes lie at the interface of two so far unconnected network diffusion models: the well-known DeGroot processes---of which BDPs constitute the binary special case---and of propositional opinion diffusion processes---of which BDPs constitute the special case where the set of neighbors is a singleton. We established necessary and sufficient conditions for convergence for such processes and showed how these can be captured in modal fixpoint logics. These results have also provided a novel perspective on the issue of delegation cycles in liquid democracy.