Formalization of a voting protocol for virtual organizations

Authors:
Jeremy Pitt;Lloyd Kamara;Marek Sergot;Alexander Artikis
Affiliations:
Imperial College London, London, UK;Imperial College London, London, UK;Imperial College London, London, UK;Imperial College London, London, UK
Venue:
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Year:
2005

Citing 13
Cited 15

A logic-based calculus of events

New Generation Computing
On the characterization of law and computer systems: the normative systems perspective

Deontic logic in computer science
Animated specifications of computational societies

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Verifying Compliance with Commitment Protocols

Autonomous Agents and Multi-Agent Systems
Rules of Order for Electronic Group Decision Making - A Formalization Methodology

Collaboration between Human and Artificial Societies, Coordination and Agent-Based Distributed Computing
What Is a Conversation Policy?

Issues in Agent Communication
Formalizing Robert''s Rules of Order An Experiment in Automating Mediation of Group Decision Making

Formalizing Robert''s Rules of Order An Experiment in Automating Mediation of Group Decision Making
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming

Annals of Mathematics and Artificial Intelligence
Nonmonotonic causal theories

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
An executable specification of an argumentation protocol

ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Voting in online deliberative assemblies

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Universal voting protocol tweaks to make manipulation hard

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A protocol for resource sharing in norm-governed ad hoc networks

DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies

Voting in online deliberative assemblies

ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Symbolic model checking of institutions

Proceedings of the ninth international conference on Electronic commerce
A component-based approach to standardising agent communication

Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Specification and Verification of Institutions Through Status Functions

Coordination, Organizations, Institutions, and Norms in Agent Systems II
A Framework for Model Checking Institutions

Model Checking and Artificial Intelligence
Formal Model for Contract Negotiation in Knowledge-Based Virtual Organizations

ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Legal Knowledge Representation: A Twofold Experience in the Domain of Intellectual Property Law

Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Coping with Exceptions in Agent-Based Workflow Enactments

Engineering Societies in the Agents World IX
Energy Trade-Offs in Resource-Constrained Multi-Agent Systems

ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Component-based standardisation of agent communication

DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Model checking norms and sanctions in institutions

COIN'07 Proceedings of the 2007 international conference on Coordination, organizations, institutions, and norms in agent systems III
Whatever you say

JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
QoS management in MANETs using norm-governed agent societies

ESAW'05 Proceedings of the 6th international conference on Engineering Societies in the Agents World
Does the Playing Field Determine the Game?: An Impact Analysis of Structural Virtual Network Characteristics on Political Actions

International Journal of Sociotechnology and Knowledge Development
A formal model of agent-oriented virtual organisations and their formation

Multiagent and Grid Systems - Agent Based Computing: From Model to Implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the organization are passed to software processes. Each phase in this life-cycle requires decision making: an ostensibly fair way for independent agents to make decisions is to take a vote. Accordingly, this paper formalizes a protocol for voting. The emphasis is on characterising the powers, permissions, obligations and even sanctions of the voters, using a norm-governed approach to agent societies. The specification language is the Event Calculus, and its animation is informative with respect to a full implementation. It is well-known that various types of ad hoc alliance of autonomous entities require voting procedures, and a normative specification of the interactions is therefore beneficial for many aspects of self-organization and self-management.