A model-based approach to the automatic revision of secondary legislation

Tingting Li, Tina Balke, Marina De Vos, Julian Padget, Ken Satoh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 9 Citations

Abstract

Conflicts between laws can readily arise in situations governed by different laws, a case in point being when the context of an inferior law (or set of regulations) is altered through revision of a superior law. Being able to detect these conflicts automatically and resolve them, for example by proposing revisions to one of the modelled laws or policies, would be highly beneficial for legislators, legal departments of organizations or anybody having to incorporate legal requirements into their own procedures. In this paper we present a model based approach for detecting and finding legal conflicts through a combination of a formal model of legal specifications and a computational model based on answer set programming and inductive logic programming. Given specific scenarios (descriptions of courses of action), our model-based approach can automatically detect whether these scenarios could lead to contradictory outcomes in the different legal specifications. Using these conflicts as use cases, we apply inductive logic programming (ILP) to learn revisions to the legal component that is the source of the conflict. We illustrate our approach using a case-study where a university has to change its studentship programme after the government brings in new immigration regulations.
LanguageEnglish
Title of host publicationICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Place of PublicationNY, USA
PublisherAssociation for Computing Machinery
Pages202-206
Number of pages5
ISBN (Print)9781450320801
DOIs
StatusPublished - 2013
Event14th International Conference on Artificial Intelligence and Law, ICAIL 2013 - Rome, Italy
Duration: 10 Jun 201314 Jun 2013

Conference

Conference14th International Conference on Artificial Intelligence and Law, ICAIL 2013
CountryItaly
CityRome
Period10/06/1314/06/13

Fingerprint

legislation
Law
programming
logic
scenario
regulation
immigration
university

Cite this

Li, T., Balke, T., De Vos, M., Padget, J., & Satoh, K. (2013). A model-based approach to the automatic revision of secondary legislation. In ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law (pp. 202-206). NY, USA: Association for Computing Machinery. DOI: 10.1145/2514601.2514627

A model-based approach to the automatic revision of secondary legislation. / Li, Tingting; Balke, Tina; De Vos, Marina; Padget, Julian; Satoh, Ken.

ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law. NY, USA : Association for Computing Machinery, 2013. p. 202-206.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Li, T, Balke, T, De Vos, M, Padget, J & Satoh, K 2013, A model-based approach to the automatic revision of secondary legislation. in ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law. Association for Computing Machinery, NY, USA, pp. 202-206, 14th International Conference on Artificial Intelligence and Law, ICAIL 2013, Rome, Italy, 10/06/13. DOI: 10.1145/2514601.2514627
Li T, Balke T, De Vos M, Padget J, Satoh K. A model-based approach to the automatic revision of secondary legislation. In ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law. NY, USA: Association for Computing Machinery. 2013. p. 202-206. Available from, DOI: 10.1145/2514601.2514627
Li, Tingting ; Balke, Tina ; De Vos, Marina ; Padget, Julian ; Satoh, Ken. / A model-based approach to the automatic revision of secondary legislation. ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law. NY, USA : Association for Computing Machinery, 2013. pp. 202-206
@inproceedings{5d167783a2204c9ea995660e33ae53b0,
title = "A model-based approach to the automatic revision of secondary legislation",
abstract = "Conflicts between laws can readily arise in situations governed by different laws, a case in point being when the context of an inferior law (or set of regulations) is altered through revision of a superior law. Being able to detect these conflicts automatically and resolve them, for example by proposing revisions to one of the modelled laws or policies, would be highly beneficial for legislators, legal departments of organizations or anybody having to incorporate legal requirements into their own procedures. In this paper we present a model based approach for detecting and finding legal conflicts through a combination of a formal model of legal specifications and a computational model based on answer set programming and inductive logic programming. Given specific scenarios (descriptions of courses of action), our model-based approach can automatically detect whether these scenarios could lead to contradictory outcomes in the different legal specifications. Using these conflicts as use cases, we apply inductive logic programming (ILP) to learn revisions to the legal component that is the source of the conflict. We illustrate our approach using a case-study where a university has to change its studentship programme after the government brings in new immigration regulations.",
author = "Tingting Li and Tina Balke and {De Vos}, Marina and Julian Padget and Ken Satoh",
year = "2013",
doi = "10.1145/2514601.2514627",
language = "English",
isbn = "9781450320801",
pages = "202--206",
booktitle = "ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law",
publisher = "Association for Computing Machinery",
address = "USA United States",

}

TY - GEN

T1 - A model-based approach to the automatic revision of secondary legislation

AU - Li,Tingting

AU - Balke,Tina

AU - De Vos,Marina

AU - Padget,Julian

AU - Satoh,Ken

PY - 2013

Y1 - 2013

N2 - Conflicts between laws can readily arise in situations governed by different laws, a case in point being when the context of an inferior law (or set of regulations) is altered through revision of a superior law. Being able to detect these conflicts automatically and resolve them, for example by proposing revisions to one of the modelled laws or policies, would be highly beneficial for legislators, legal departments of organizations or anybody having to incorporate legal requirements into their own procedures. In this paper we present a model based approach for detecting and finding legal conflicts through a combination of a formal model of legal specifications and a computational model based on answer set programming and inductive logic programming. Given specific scenarios (descriptions of courses of action), our model-based approach can automatically detect whether these scenarios could lead to contradictory outcomes in the different legal specifications. Using these conflicts as use cases, we apply inductive logic programming (ILP) to learn revisions to the legal component that is the source of the conflict. We illustrate our approach using a case-study where a university has to change its studentship programme after the government brings in new immigration regulations.

AB - Conflicts between laws can readily arise in situations governed by different laws, a case in point being when the context of an inferior law (or set of regulations) is altered through revision of a superior law. Being able to detect these conflicts automatically and resolve them, for example by proposing revisions to one of the modelled laws or policies, would be highly beneficial for legislators, legal departments of organizations or anybody having to incorporate legal requirements into their own procedures. In this paper we present a model based approach for detecting and finding legal conflicts through a combination of a formal model of legal specifications and a computational model based on answer set programming and inductive logic programming. Given specific scenarios (descriptions of courses of action), our model-based approach can automatically detect whether these scenarios could lead to contradictory outcomes in the different legal specifications. Using these conflicts as use cases, we apply inductive logic programming (ILP) to learn revisions to the legal component that is the source of the conflict. We illustrate our approach using a case-study where a university has to change its studentship programme after the government brings in new immigration regulations.

UR - http://dx.doi.org/10.1145/2514601.2514627

U2 - 10.1145/2514601.2514627

DO - 10.1145/2514601.2514627

M3 - Conference contribution

SN - 9781450320801

SP - 202

EP - 206

BT - ICAIL '13 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law

PB - Association for Computing Machinery

CY - NY, USA

ER -