Abstract
This paper addresses the design of an automated legal assistant capable of performing a logical analysis of legal documents and using natural language as a medium of communication with a human client. We focus on the interplay between natural language in which the legal document is expressed and the formal logic used for reasoning about it — ideally approached using a controlled natural language (CNL) together with an appropriately chosen logic for analysis and reasoning. In translating from CNL to logic, information about the CNL structure is lost. For example, the CNL might contain legal clause numbers, whilst the logic might not. This can lead to problems when for example the reasoning system discovers an inconsistency in the contract and needs to explain its whereabouts to the client. Below we discuss the issues affecting the choice of logic, arguing in favour of keeping certain structural information during formal analysis of legal documents to be able to refer to that structure when interacting with the user.
We present a framework in which to experiment and seek solutions to these issues. Having identified a sufficiently restricted domain of application we also report on the development of a CNL to interact with a variant of the game Nomic — a game based on the notion of contract specification and amendment — and argue how this game provides an ideal platform to explore the use of structure information in the domain of legal analysis.
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
Bateman, J., Kleinz, J., Kamps, T., Reichenberger, K.: Towards Constructive Text, Diagram, and Layout Generation for Information Presentation. Computational Linguistics 27, 409–449 (2001)
Bao, J., Smart, P.R., Braines, D., Shadbolt, N.R.: A Controlled Natural Language Interface for Semantic Media Wiki Using the Rabbit Language. In: CNL (2009)
Crystal, D., Davy, D.: Investigating English style. Studies in the History and Theory of Linguistics. Indiana University Press (1969)
Claessen, K., Sheeran, M., Singh, S.: Functional Hardware Description in Lava. In: The Fun of Programming, Cornerstones of Computing, pp. 151–176. Palgrave (2003)
Davidson, D.: The Logical Form of Action Sentences. In: Rescher, N. (ed.) The Logic of Decision and Action. University of Pittsburgh Press (1967)
Daskalopulu, A., Sergot, M.: The Representation of Legal Contracts. AI and Society 11, 6–17 (1997)
Hayes, P.J.: A Logic of Actions. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 6, pp. 495–520. Edinburgh University Press (1971)
Havelund, K., Rosu, G.: Monitoring Programs Using Rewriting. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering, ASE 2001, pp. 135–143. IEEE Computer Society, Washington, DC (2001)
Hudak, P.: Building domain-specific embedded languages. ACM Computing Surveys 28, 196 (1996)
Mally, E.: Grundgesetze des Sollens. Elemente fer Logik des Willens. Leuschner & Lubensky, Graz (1926)
Mann, W.C., Thompson, S.A.: Rhetorical Structure Theory: Toward a functional theory of text organization. Text 8(3), 243–281 (1988)
McNamara, P.: Deontic Logic. In: Gabbay, D.M., Woods, J. (eds.) Handbook of the History of Logic, vol. 7, pp. 197–289. North-Holland Publishing (2006)
Nunberg, G.: The Linguistics of Punctuation (Center for the Study of Language and Information - Lecture Notes) (August 1990)
Phair, M.E., Bliss, A.: PerlNomic: Rule Making and Enforcement in Digital Shared Spaces. In: Online Deliberation 2005 / DIAC 2005, Stanford, CA, USA (2005)
Pace, G.J., Rosner, M.: A Controlled Language for the Specification of Contracts. In: Fuchs, N.E. (ed.) CNL 2009. LNCS, vol. 5972, pp. 226–245. Springer, Heidelberg (2010) ISBN: 978-3-642-14417-2
Power, R., Scott, D., Bouayad-Agha, N.: Document Structure. Computational Linguistics 29, 211–260 (2003)
Ranta, A.: Grammatical Framework: A Type-Theoretical Grammar Formalism. Journal of Functional Programming 14(02), 145–189 (2004)
Schwitter, R.: A Controlled Natural Language for the Semantic Web. Journal of Intelligent Systems 17(1-3), 125–141 (2008)
Suber, P.: Nomic: A Game of Self-Amendment. In: The Paradox of Self-Amendment. Peter Lang Publishing (1990)
Vella, G.: Automatic Summarisation of Legal Documents. Master’s thesis, Univerisity of Malta, Dept Intelligent Computer Systems, University of Malta, Msida MSD2080, Malta (2010)
Von Wright, G.H.: Deontic Logic. Mind 60, 1–15 (1951)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Camilleri, J.J., Pace, G.J., Rosner, M. (2012). Controlled Natural Language in a Game for Legal Assistance. In: Rosner, M., Fuchs, N.E. (eds) Controlled Natural Language. CNL 2010. Lecture Notes in Computer Science(), vol 7175. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31175-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-31175-8_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31174-1
Online ISBN: 978-3-642-31175-8
eBook Packages: Computer ScienceComputer Science (R0)