A model to support collective reasoning: Formalization, analysis and computational assessment