Abstract:
This article describes several performance improvements that allowed FL, a tool developed to model check legal documents to nd coherence problems, to process a real case study of the Argentinian Customer Protection Act. The described truth-preserving techniques reduce the model checking state space by improving the representation of actions and ltering language constructs that are used to encode the law. © 2017 Copyright held by the owner/author(s).
Registro:
Documento: |
Conferencia
|
Título: | Performance improvement on legal model checking |
Autor: | Faciano, C.; Di Iorio, A.H.; Giaccaglia, M.F.; Mera, S.; Clara, B.L.; Rua, M.B.; Schapachnik, F.; Uriarte, V.; Marcos, C.; Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; Weightmans |
Filiación: | Departamento de Computación FCEyN, Universidad de Buenos Aires, Argentina Facultad de Ingenier a, Universidad FASTA Mar del Plata, Argentina Facultad de Ciencias Jur dicas y Sociales, Universidad FASTA Mar del Plata, Argentina
|
Palabras clave: | Automated legislative drafting; Deontic logic; Model checking regulations; Artificial intelligence; Laws and legislation; Automated legislative drafting; Deontic Logic; Language constructs; Legal documents; Legal modeling; Performance improvements; Real case; Model checking |
Año: | 2017
|
Página de inicio: | 59
|
Página de fin: | 68
|
DOI: |
http://dx.doi.org/10.1145/3086512.3086518 |
Título revista: | 16th International Conference on Artificial Intelligence and Law, ICAIL 2017
|
Título revista abreviado: | Proc Int Conf Artif Intell Law
|
CODEN: | 85OAA
|
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814503_v_n_p59_Faciano |
Referencias:
- Ball, T., Levin, V., Rajamani, S.K., A decade of software model checking with SLAM (2011) Commun. ACM, 54 (7), pp. 68-76. , https://doi.org/10.1145/1965724.1965743, July 2011
- Benedetti, J.P., (2014) Improving FL, A Tool for Normative Analysis and Automatic Aw Detection, , http://www.dc.uba.ar/inv/tesis/licenciatura/2014/benedetti.pdf, Master’s thesis. Depto de Computación, Facultad de Ciencias Exactas y Naturales, UBA
- Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M., NuSMV: A new symbolic model checker (2000) International Journal on Software Tools for Technology Transfer (STTT), 2 (4), pp. 410-425. , https://doi.org/10.1007/s100090050046, 2000
- Cimatti, A., Giunchiglia, E., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A., (2002) Integrating BDD-Based and SAT-Based Symbolic Model Checking, pp. 49-56. , https://doi.org/10.1007/3-540-45988-X_5, Springer Berlin Heidelberg, Berlin, Heidelberg
- Tosatto, S.C., Governatori, G., Kelsen, P., Business process regulatory compliance is hard (2015) IEEE Trans. Services Computing, 8 (6), pp. 958-970. , https://doi.org/10.1109/TSC.2014.2341236, 2015
- Faciano, C., (2016) Optimizing The Peformance of The FL Legal Coherence Checker, , http://www.dc.uba.ar/inv/tesis/licenciatura/2016/faciano.pdf, Master’s thesis. Depto de Computación, Facultad de Ciencias Exactas y Naturales, UBA
- Fenech, S., Pace, G.J., Schneider, G., CLAN: A tool for contract analysis and conict discovery (2009) ATVA (Lecture Notes in Computer Science), 5799, pp. 90-96. , Zhiming Liu and Anders Ravn (Eds.), Springer
- Furbach, U., Schon, C., Stolzenburg, F., Automated reasoning in deontic logic (2014) Multi-Disciplinary Trends in Articial Intelligence - 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings (Lecture Notes in Computer Science), 8875, pp. 57-68. , https://doi.org/10.1007/978-3-319-13365-26, M. Narasimha Murty, Xiangjian He, Chillarige Raghavendra Rao, and Paul Weng (Eds.), Springer
- Giannakopoulou, D., Magee, J., Fluent model checking for event-based systems (2003) ACM SIGSOFT Software Engineering Notes, 28 (5), p. 266. , 2003
- Gorín, D., Mera, S., Schapachnik, F., Model checking legal documents (2010) Proceedings of The 2010 Conference on Legal Knowledge and Information Systems: JURIX 2010, pp. 111-115. , https://doi.org/10.3233/978-1-60750-682-9-151
- Gorín, D., Mera, S., Schapachnik, F., A software tool for legal drafting (2011) FLACOS 2011: Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, pp. 1-15. , Elsevier
- Governatori, G., Thou shalt is not you will (2015) Proceedings of The 15th International Conference on Articial Intelligence and Law, ICAIL 2015, pp. 63-68. , https://doi.org/10.1145/2746090.2746105, San Diego, CA, USA, June 8-12, 2015, Ted Sichelman and Katie Atkinson (Eds.). ACM
- Governatori, G., Pham, D.H., DR-CONTRACT: An architecture for e-contracts in defeasible logic (2009) IJBPIM, 4, pp. 187-199. , 2009
- Governatori, G., Shek, S., Regorous: A business process compliance checker (2013) Proceedings of The Fourteenth International Conference on Articial Intelligence and Law (ICAIL’13), pp. 245-246. , https://doi.org/10.1145/2514601.2514638, ACM, New York, NY, USA
- Grumberg, O., Veith, H., (2008) 25 Years of Model Checking: History, Achievements, Perspectives, 5000. , Springer
- Gunski, M.C., Raiczyk, M.G., (2016) FL: Improving Expressive Power of The FL Language for The Detection of Normative Aws, , http://www.dc.uba.ar/inv/tesis/licenciatura/2016/gunski.pdf, Master’s thesis. Depto de Computación, Facultad de Ciencias Exactas y Naturales, UBA
- Kučera, A., Strejček, J., The stuttering principle revisited (2005) Acta Informatica, 41 (7), pp. 415-434. , https://doi.org/10.1007/s00236-005-0164-4, 2005
- Lam, H.-P., Governatori, G., The making of SPINdle (2009) RuleML 2009, pp. 315-322. , Springer
- Pace, G., Prisacariu, C., Schneider, G., Model checking contracts – A case study (2007) Automated Technology for Verication and Analysis, pp. 82-97. , 2007
- Pace, G.J., Schapachnik, F., Schneider, G., Conditional permissions in contracts (2015) Legal Knowledge and Information Systems - JURIX 2015: The Twenty-Eighth Annual Conference, Braga, Portual, December 10-11, 2015 (Frontiers in Articial Intelligence and Applications), 279, pp. 61-70. , https://doi.org/10.3233/978-1-61499-609-5-61, IOS Press
- Solaiman, E., Molinajimenez, C., Shrivastava, S., Model checking correctness properties of electronic contracts (2003) Proceedings of The International Conference on Service Oriented Computing (ICSOC03), pp. 303-318. , Springer-Verlag
- Sznur, S., Brun, J.M., Rua, M.B., Martínez, M., Schapachnik, F., Análisis de consistencia de la legislación de defensa al consum-idor mediante métodos formales (2014) CIIDDI 2014, Tercer Congreso Iberoamericano De Investigadores Y Docentes De Derecho E Informática
- Visser, W., Dwyer, M.B., Whalen, M., The hidden models of model checking (2012) Software & Systems Modeling, 11 (4), pp. 541-555. , 2012
- Woźna, B., Lomuscio, A., Penczek, W., Bounded model checking for deontic interpreted systems (2005) Electronic Notes in Theoretical Computer Science, 126 (2005), pp. 93-114. , https://doi.org/10.1016/j.entcs.2004.11.015, Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004). Logic and Communication in Multi-Agent Systems 2004A4 - Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; Weightmans
Citas:
---------- APA ----------
Faciano, C., Di Iorio, A.H., Giaccaglia, M.F., Mera, S., Clara, B.L., Rua, M.B., Schapachnik, F.,..., Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; Weightmans
(2017)
. Performance improvement on legal model checking. 16th International Conference on Artificial Intelligence and Law, ICAIL 2017, 59-68.
http://dx.doi.org/10.1145/3086512.3086518---------- CHICAGO ----------
Faciano, C., Di Iorio, A.H., Giaccaglia, M.F., Mera, S., Clara, B.L., Rua, M.B., et al.
"Performance improvement on legal model checking"
. 16th International Conference on Artificial Intelligence and Law, ICAIL 2017
(2017) : 59-68.
http://dx.doi.org/10.1145/3086512.3086518---------- MLA ----------
Faciano, C., Di Iorio, A.H., Giaccaglia, M.F., Mera, S., Clara, B.L., Rua, M.B., et al.
"Performance improvement on legal model checking"
. 16th International Conference on Artificial Intelligence and Law, ICAIL 2017, 2017, pp. 59-68.
http://dx.doi.org/10.1145/3086512.3086518---------- VANCOUVER ----------
Faciano, C., Di Iorio, A.H., Giaccaglia, M.F., Mera, S., Clara, B.L., Rua, M.B., et al. Performance improvement on legal model checking. Proc Int Conf Artif Intell Law. 2017:59-68.
http://dx.doi.org/10.1145/3086512.3086518