Abstract
When acting in different jurisdictions (e.g. under the laws of different countries) at the same time, it can be of great value for individuals to be able to determine whether disparities among the laws of these different systems exist and allowing them to identify the consequences that may follow from these disparities. For individuals, it is typically not of interest to find all the ways in which these legal systems differ, but rather to establish whether a particular course of action may have different legal interpretations, depending on the jurisdiction. In this paper we present a formal and computational framework that, given specific scenarios (descriptions of courses of action), can automatically detect whether these scenarios could lead to different outcomes. We demonstrate our approach by means of a private international law case-study where a company drafts a contract clause after examining the consequences in the available jurisdictions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Cliffe, O., De Vos, M., Padget, J.: Specifying and reasoning about multiple institutions. In: Noriega, P., Vázquez-Salceda, J., Boella, G., Boissier, O., Dignum, V., Fornara, N., Matson, E. (eds.) COIN 2006. LNCS (LNAI), vol. 4386, pp. 67–85. Springer, Heidelberg (2007)
Cliffe, O., De Vos, M., Padget, J.: Answer set programming for representing and reasoning about virtual institutions. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 60–79. Springer, Heidelberg (2007)
Corapi, D., Russo, A., Vos, M.D., Padget, J.A., Satoh, K.: Normative design using inductive learning. TPLP 11(4-5), 783–799 (2011)
De Vos, M., Padget, J., Satoh, K.: Legal modelling and reasoning using institutions. In: Onoda, T., Bekki, D., McCready, E. (eds.) JSAI-isAI 2010. LNCS (LNAI), vol. 6797, pp. 129–140. Springer, Heidelberg (2011)
Dini, L., Peters, W., Liebwald, D., Schweighofer, E., Mommers, L., Voermans, W.: Cross-lingual legal information retrieval using a wordnet architecture. In: Proceedings of the 10th International Conference on Artificial Intelligence and Law, pp. 163–167. ACM (2005)
Dung, P.M., Sartor, G.: The modular logic of private international law. Artificial Intelligence and Law 19, 233–261 (2011)
Gangemi, A., Sagri, M., Tiscornia, D.: Metadata for content description in legal information. In: Procs. of LegOnt Workshop on Legal Ontologies (2003)
GarcÃa-Camino, A., Noriega, P., RodrÃguez-Aguilar, J.-A.: An algorithm for conflict resolution in regulated compound activities. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS (LNAI), vol. 4457, pp. 193–208. Springer, Heidelberg (2007)
Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3-4), 365–386 (1991)
Governatori, G.: Representing business contracts in ruleml. International Journal of Cooperative Information Systems 14(2-3), 181–216 (2005)
Governatori, G., Rotolo, A., Rubino, R.: Implementing temporal defeasible logic for modeling legal reasoning. In: Nakakoji, K., Murakami, Y., McCready, E. (eds.) JSAI-isAI 2009. LNCS, vol. 6284, pp. 45–58. Springer, Heidelberg (2010)
Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems: the normative systems perspective. In: Meyer, J.-J.C., Wieringa, R.J. (eds.) Deontic Logic in Computer Science, pp. 275–307. John Wiley & Sons Ltd. (1993)
Kollingbaum, M.J., Norman, T.J., Preece, A., Sleeman, D.: Norm refinement: Informing the re-negotiation of contracts. In: ECAI 2006 Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@ECAI 2006, pp. 46–51 (2006)
Sartor, G.: Normative conflicts in legal reasoning. Artificial Intelligence and Law 1, 209–235 (1992)
Stark, M., Riesenfeld, R.: Wordnet: An electronic lexical database. In: Proceedings of 11th Eurographics Workshop on Rendering. Citeseer (1998)
Valente, A., Breuker, J.: Ontologies: The missing link between legal theory and ai & law. In: JURIX, vol. 94, pp. 139–149. Citeseer (1994)
Vasconcelos, W., Kollingbaum, M., Norman, T.: Normative conflict resolution in multi-agent systems. Autonomous Agents and Multi-Agent Systems 19(2), 124–152 (2009)
Vasconcelos, W., Kollingbaum, M.J., Norman, T.J.: Resolving conflict and inconsistency in norm-regulated virtual organizations. In: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, pp. 644–651. ACM (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. (2013). Detecting Conflicts in Legal Systems. In: Motomura, Y., Butler, A., Bekki, D. (eds) New Frontiers in Artificial Intelligence. JSAI-isAI 2012. Lecture Notes in Computer Science(), vol 7856. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39931-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-39931-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-39930-5
Online ISBN: 978-3-642-39931-2
eBook Packages: Computer ScienceComputer Science (R0)