Sensing God's Will is Fixed Parameter Tractable
Michael R. Fellows, Frances Rosamond, Arkadii M. Slinko · 2008
One of the goals of Artificial Intelligence is to create autonomous software agents which exhibit social intelligence, i.e are capable to act as a group member in various groups and, in particular, to participate in group decision making. For such agents to be programmed we need protocols which are formalizable. In this paper we are suggesting such a protocol based on one of the most famous and controversial social choice rules- Dodgson’s rule. We prove that the problem of implementation of this protocol is fixed parameter tractable.