Computing consensus: A logic for reasoning about deliberative processes based on argumentation

Truls Pedersen, Sjur Dyrkolbotn

We consider multi-agent argumentation, where each agent's view of the arguments is encoded as an argumentation framework (AF). Then we study deliberative processes than can occur o…