DIS: Re: BUS: Re: OFF: [Promotor] Distribution of Propositions 9035-9039
Janet Cobb via agora-business [2023-11-27 11:38]: > Consider a referendum on an AI 3 proposal A. Also consider a Rule X, > power 2: "If it is greater than 1, The AI of the referendum on proposal > A is immediately set to 1." > > Rule X and Rule 1950 are now both attempting to continuously set the AI > of the decision to different values, and this isn't a conflict per se so > precedence rules don't apply. So it isn't clear what value should be > used, and it might even try to revert to the default. This proposal > prevents that by preventing the power 2 rule from setting it to a value > such that it has to be automatically corrected. Why is it not a conflict? When evaluating the effects of the rules, two different rules give two different actions for the same entity. It's clearly in conflict, as both actions cannot be done simultaneously. -- juan
Re: DIS: Re: BUS: Re: OFF: [Promotor] Distribution of Propositions 9035-9039
On 11/28/23 08:56, juan via agora-discussion wrote: > Janet Cobb via agora-business [2023-11-27 11:38]: >> Consider a referendum on an AI 3 proposal A. Also consider a Rule X, >> power 2: "If it is greater than 1, The AI of the referendum on proposal >> A is immediately set to 1." >> >> Rule X and Rule 1950 are now both attempting to continuously set the AI >> of the decision to different values, and this isn't a conflict per se so >> precedence rules don't apply. So it isn't clear what value should be >> used, and it might even try to revert to the default. This proposal >> prevents that by preventing the power 2 rule from setting it to a value >> such that it has to be automatically corrected. > Why is it not a conflict? When evaluating the effects of the rules, > two different rules give two different actions for the same entity. It's > clearly in conflict, as both actions cannot be done simultaneously. > > They're not being done simultaneously. The two rules never apply at the same time, they just infinitely react to each other. This is *not* one rule saying "AI is 3" while the other is saying "AI is 2", which can be resolved using normal precedence rules. -- Janet Cobb Assessor, Rulekeepor, Stonemason
Re: DIS: Re: BUS: Re: OFF: [Promotor] Distribution of Propositions 9035-9039
On Tue, Nov 28, 2023 at 11:08 AM Janet Cobb via agora-discussion < agora-discussion@agoranomic.org> wrote: > On 11/28/23 08:56, juan via agora-discussion wrote: > > Janet Cobb via agora-business [2023-11-27 11:38]: > >> Consider a referendum on an AI 3 proposal A. Also consider a Rule X, > >> power 2: "If it is greater than 1, The AI of the referendum on proposal > >> A is immediately set to 1." > >> > >> Rule X and Rule 1950 are now both attempting to continuously set the AI > >> of the decision to different values, and this isn't a conflict per se so > >> precedence rules don't apply. So it isn't clear what value should be > >> used, and it might even try to revert to the default. This proposal > >> prevents that by preventing the power 2 rule from setting it to a value > >> such that it has to be automatically corrected. > > Why is it not a conflict? When evaluating the effects of the rules, > > two different rules give two different actions for the same entity. It's > > clearly in conflict, as both actions cannot be done simultaneously. > > > > > > They're not being done simultaneously. The two rules never apply at the > same time, they just infinitely react to each other. > > This is *not* one rule saying "AI is 3" while the other is saying "AI is > 2", which can be resolved using normal precedence rules. > > -- > Janet Cobb > > Assessor, Rulekeepor, Stonemason > On a holistic level, I think this is a conflict between rules. On an atomic level, this is a supertask. An infinite amount of untracked switch flips occur in a finite amount of time, that time period is decided by the assessor when attempting to resolve such a decision. A supertask results in an indeterminate value, which is similar to other indeterminate values EG in questions of ownership such as the radiance stone or other ships of theseus. The other supertask is when the promotor has to report the adoption index, and this is also an infinite number of tasks in a finite amount of time: the ending time being when the promotor publishes eir report. I think it can be resolved by CFJ as not a paradox, because it's not a logical paradox, just another normal Agoran question of indeterminancy. -- 4ˢᵗ Uncertified Bad Idea Generator