proto-proposal: clarify Mother, May I?
AI: 2
{{{
Amend rule 2152 to read
The following terms are defined for the discussion of situations
concerning attempts by some entity to perform some action.
These terms are spelled in all capitals. Where these words are
used in lowercase these definitions do not necessarily apply,
but SHOULD be used as a guide to interpretation.
Terms concerning the capacity of an entity to perform an action:
* POSSIBLE, EFFECTIVE, VALID, CAN: attempts to perform the
described action are successful
* IMPOSSIBLE, INEFFECTIVE, INVALID, CANNOT: attempts to perform
the described action are unsuccessful (antonym of POSSIBLE)
Terms concerning obligations of an entity regarding performing
an action:
* PERMITTED, LEGAL, MAY: it is not a rule violation to perform
the action
* PROHIBITED, ILLEGAL, MUST NOT, SHALL NOT, MAY NOT: it is a
rule violation to perform the action (antonym of PERMITTED)
* OPTIONAL: it is not a rule violation to not perform the action
* MANDATORY, REQUIRED, MUST, SHALL: it is a rule violation to
not perform the action (antonym of OPTIONAL)
Terms concerning the wisdom of performing an action:
* RECOMMENDED, ENCOURAGED, SHOULD: it is usually wise to perform
the action
* UNRECOMMENDED, UNENCOURAGED: it is not necessarily usually
wise to perform the action (antonym of RECOMMENDED)
* DEPRECATED, DISCOURAGED, SHOULD NOT: it is usually unwise to
perform the action
* UNDEPRECATED, UNDISCOURAGED: it is not necessarily usually
unwise to perform the action (antonym of DEPRECATED)
Possibility, permission, and recommendation of an action are
neither inherently related to each other, nor inherently related
to the possibility, permission, and recommendation
(respectively) of the contrary action. The terminology defined
in this rule is used to govern each of these independently:
anything said about one, using these terms, carries no
implication regarding any of the others.
[Explicitly distinguishes terminology concerning the three different
aspects of an action, and makes clear that these are governed
separately. All terms are now defined in antonymous pairs.]
[Identities (other than antonymity):
* not(x) is PERMITTED == x is OPTIONAL
* not(x) is OPTIONAL == x is PERMITTED
* not(x) is PROHIBITED == x is MANDATORY
* not(x) is MANDATORY == x is PROHIBITED
* not(x) is RECOMMENDED == x is DEPRECATED
* not(x) is DEPRECATED == x is RECOMMENDED
* not(x) is UNRECOMMENDED == x is UNDEPRECATED
* not(x) is UNDEPRECATED == x is UNRECOMMENDED]
}}}
-zefram
