On Sun, Jun 23, 2019 at 3:40 PM Kerim Aydin <ke...@uw.edu> wrote:
>
>
> CFJ: An Agoran decision to select the winner of the election has
> a voting method of AI-Majority.
>
> Rule 1950 (Decisions with Adoption Indices, Power=3):
> Adoption index is an untracked switch possessed by Agoran
> decisions and proposals, whose value is either "none" (default)
> [...]
> For any Agoran decision with an adoption index, the voting method
> is AI-majority.
>
> This states outright that Agoran decisions have AIs, and any decision with
> an AI has a voting method of AI-majority. The fact that the value of the AI
> is "none" doesn't mean the AI is nonexistent.
Gratuitous: Given the way that both this rule and R2162 (Switches)
gloss over the differences between (a) switches, (b) types of
switches, (c) instances of switches, and (d) values of instances of
switches, I think it's no great leap to say that the text is unclear
for R217 purposes, allowing it to be augmented with factors including
common sense. Precisely because all decisions, by definition, have an
instance of the adoption index switch (especially since that
definition is in the very same rule), common sense suggests that
"decision with an adoption index" should be read as something other
than "decision having an instance of the adoption index switch".
Evidence:
Rule 2162/11 (Power=3)
Switches
A type of switch is a property that the rules define as a switch,
(Is it a type of switch or a switch?)
