When do rule changes count-as legal rule changes?
Institutions regulate societies. Comprising Searle's constitutive counts-as rules, “A counts-as B in context C”, an institution ascribes from brute and institutional facts (As), a social reality comprising institutional facts (Bs) conditional on the social reality (contexts Cs). When brute fact...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
IOS Press
2016
|
| _version_ | 1797065193204744192 |
|---|---|
| author | King, T Dignum, V Jonker, C |
| author_facet | King, T Dignum, V Jonker, C |
| author_sort | King, T |
| collection | OXFORD |
| description | Institutions regulate societies. Comprising Searle's constitutive counts-as rules, “A counts-as B in context C”, an institution ascribes from brute and institutional facts (As), a social reality comprising institutional facts (Bs) conditional on the social reality (contexts Cs). When brute facts change an institution evolves from one social reality to the next. Rule changes are also regulated by rule-modifying counts-as rules ascribing rule change in the past/present/future (e.g. a majority rule change vote counts-as a rule change). Determining rule change legality is difficult, since changing counts-as rules both alters and is conditional on the social reality, and in some cases hypothetical rule-change effects (e.g. not retroactively criminalising people). However, without a rigorous account of rule change ascriptions, AI agents cannot support humans in understanding the laws imposed on them. Moreover, advances in automated governance design for socio-technical systems, are limited by agents' ability to understand how and when to enact institutional changes. Consequently, we answer “when do rule changes count-as legal rule changes?” in a temporal setting with a novel formal framework. |
| first_indexed | 2024-03-06T21:25:09Z |
| format | Conference item |
| id | oxford-uuid:42d46638-ce78-4a20-98c4-1f278186d6d2 |
| institution | University of Oxford |
| last_indexed | 2024-03-06T21:25:09Z |
| publishDate | 2016 |
| publisher | IOS Press |
| record_format | dspace |
| spelling | oxford-uuid:42d46638-ce78-4a20-98c4-1f278186d6d22022-03-26T14:51:48ZWhen do rule changes count-as legal rule changes?Conference itemhttp://purl.org/coar/resource_type/c_5794uuid:42d46638-ce78-4a20-98c4-1f278186d6d2Symplectic Elements at OxfordIOS Press2016King, TDignum, VJonker, CInstitutions regulate societies. Comprising Searle's constitutive counts-as rules, “A counts-as B in context C”, an institution ascribes from brute and institutional facts (As), a social reality comprising institutional facts (Bs) conditional on the social reality (contexts Cs). When brute facts change an institution evolves from one social reality to the next. Rule changes are also regulated by rule-modifying counts-as rules ascribing rule change in the past/present/future (e.g. a majority rule change vote counts-as a rule change). Determining rule change legality is difficult, since changing counts-as rules both alters and is conditional on the social reality, and in some cases hypothetical rule-change effects (e.g. not retroactively criminalising people). However, without a rigorous account of rule change ascriptions, AI agents cannot support humans in understanding the laws imposed on them. Moreover, advances in automated governance design for socio-technical systems, are limited by agents' ability to understand how and when to enact institutional changes. Consequently, we answer “when do rule changes count-as legal rule changes?” in a temporal setting with a novel formal framework. |
| spellingShingle | King, T Dignum, V Jonker, C When do rule changes count-as legal rule changes? |
| title | When do rule changes count-as legal rule changes? |
| title_full | When do rule changes count-as legal rule changes? |
| title_fullStr | When do rule changes count-as legal rule changes? |
| title_full_unstemmed | When do rule changes count-as legal rule changes? |
| title_short | When do rule changes count-as legal rule changes? |
| title_sort | when do rule changes count as legal rule changes |
| work_keys_str_mv | AT kingt whendorulechangescountaslegalrulechanges AT dignumv whendorulechangescountaslegalrulechanges AT jonkerc whendorulechangescountaslegalrulechanges |