Showing papers by "Alexander Artikis published in 2005"
25 Jul 2005
TL;DR: 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.
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.
34 citations
06 Jun 2005
TL;DR: This paper formalise a general voting protocol trying to take into account a right to cast a vote, and an entitlement that the vote cast is counted in the correct way, as part of a suite of protocols which collectively implement rules of order.
Abstract: Voting is an essential element of mechanism design for multi-agent systems, and decision support for CSCW tools implementing online deliberative assemblies. Much attention has been given both to designing the process so that it is resistant to manipulation by strategic voting, and so that an automated system can follow rules of order as developed for the conduct of formal meetings. In this paper, we formalise a general voting protocol trying to take into account a right to cast a vote, and an entitlement that the vote cast is counted in the correct way. We discuss the design and development of a system for online deliberative assemblies, that incorporates this protocol as part of a suite of protocols which collectively implement rules of order. We conclude with some comments on the voting protocol as it relates to the 2004 ACM Statement on E-Voting.
13 citations