“Got COCA?” A new perspective in building electronic meeting systems
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
An executable specification of an argumentation protocol
ICAIL '03 Proceedings of the 9th international conference on Artificial intelligence and law
Formalization of a voting protocol for virtual organizations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Voting in online deliberative assemblies
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
A norm-governed systems perspective of ad hoc networks
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
| Hi-index | 0.00 |
Robert''s Rules of Order are the standard procedure for deliberative societies of all kinds in the USA. This paper reports on an ongoing experiment: formalizing these rules for the purpose of implementing them as a procedural component of automated mediation systems for discussion and group decision making. Robert''s Rules of Order have been chosen for this experiment because they are well-known, precisely formulated, and well-tested in practice. Although they need to be adapted for electronic applications, their formalization should nevertheless give useful insights into the problems and prospects of adding a procedural component to automated mediation systems. The research is carried out in the context of the ZENO mediation system, developed at the GMD Bonn. One of ZENO''s components is a WWW-accessible discussion forum. The aim of the ongoing experiment is to extend this forum with rules of order, and with a corresponding mudule that assists the human mediator in maintaining order at the forum, and in giving advice to the users of the forum on their options, rights and obligations in the discussion. This paper reports on the first part of the experiment, formalizing Robert''s Rules of Order in first-order predicate logic. This formal specification should be the basis for a more operational specification, and for the eventual implementation as a component of ZENO.