1ca6f8a521db9766.tex
1: \begin{abstract}
2: A framework for consensus modelling is introduced using Kleene's three valued logic as a means to express vagueness in agents' beliefs.
3: Explicitly borderline cases are inherent to propositions involving vague concepts where sentences of a propositional language may be \emph{absolutely true}, \emph{absolutely false} or \emph{borderline}.
4: By exploiting these intermediate truth values, we can allow agents to adopt a more vague interpretation of underlying concepts in order to weaken their beliefs and reduce the levels of inconsistency, so as to achieve consensus. We consider a consensus combination operation which results in agents adopting the borderline truth value as a shared viewpoint if they are in direct conflict. Simulation experiments are presented which show that applying this operator to agents chosen at random (subject to a consistency threshold) from a population, with initially diverse opinions, results in convergence to a smaller set of more precise shared beliefs. Furthermore, if the choice of agents for combination is dependent on the payoff of their beliefs, this acting as a proxy for performance or usefulness, then the system converges to beliefs which, on average, have higher payoff.
5: 
6: \hspace{1em}
7: 
8: \noindent \textbf{Keywords}: Agent-Based Modelling $\cdot$  Many-Valued Logics $\cdot$ Belief Aggregation $\cdot$ Consensus
9: 
10: \end{abstract}
11: