Conferencia

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"Performance improvement on legal model checking" (2017) 16th International Conference on Artificial Intelligence and Law, ICAIL 2017:59-68
Estamos trabajando para incorporar este artículo al repositorio
Consulte el artículo en la página del editor

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
Handle:http://hdl.handle.net/20.500.12110/paper_97814503_v_n_p59_Faciano
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