Institutionalised Paxos Consensus

We address the problem of maintaining consistency in systems that are open, decentralised and resource-constrained, where the system components are highly mobile and/or 'volatile'. An example of these systems is found in vehicular ad hoc networks (VANET). Self-organising and norm-governed electronic institutions have been proposed to address these issues, but the problem of maintaining the consistency of conventionally-agreed values (institutional facts) arises due to the fragmentation/aggregation of component clusters, role failure, and revision of agreed values. In this paper, we specify IPCon, an algorithm for Institutionalised Paxos Consensus, which is an extension of the well-known Paxos consensus algorithm for maintaining consistency in static distributed databases. The 'classic' Paxos algorithm is modified to accommodate role-based institutionalised power and extended to allow for dynamic clusters that may change, merge or fragment. We further extend IPCon to allow for the revision of previously agreed parameter values. A proof of correctness for IPCon is given, along with details of an axiomatisation and executable specification of the algorithm in the Event Calculus. These results show that IPCon is a viable method for coordination, consensus formation and collective-choice in self-organising multi-agent systems using electronic institutions.

[1]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[2]  Joshua M. Epstein,et al.  Growing Artificial Societies: Social Science from the Bottom Up , 1996 .

[3]  Marc Esteva,et al.  Engineering Open Multi-Agent Systems as Electronic Institutions , 2004, AAAI.

[4]  Yann Chevaleyre,et al.  A Short Introduction to Computational Social Choice , 2007, SOFSEM.

[5]  Jason Potts,et al.  Micro-meso-macro , 2004 .

[6]  W. Lam.  Governing the Commons , 2010 .

[7]  Alexander Artikis.  Dynamic specification of open agent systems , 2012, J. Log. Comput..

[8]  Kin K. Leung,et al.  Utility-Based Gateway Deployment for Supporting Multi-Domain DTNs , 2010, 2010 7th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON).

[9]  Leslie Lamport,et al.  The part-time parliament , 1998, TOCS.

[10]  Gabriella Pigozzi,et al.  Aggregation in multiagent systems and the problem of truth-tracking , 2007, AAMAS '07.

[11]  R. Poovendran,et al.  CARAVAN: Providing Location Privacy for VANET , 2005 .

[12]  Leslie Lamport,et al.  Byzantizing Paxos by Refinement , 2011, DISC.

[13]  Rainer Hegselmann,et al.  Opinion dynamics and bounded confidence: models, analysis and simulation , 2002, J. Artif. Soc. Soc. Simul..

[14]  Leslie Lamport,et al.  Paxos Made Simple , 2001 .

[15]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[16]  Barbara Dunin-Keplicz,et al.  Teamwork in Multi-Agent Systems - A Formal Approach , 2010, Wiley series in agent technology.