Controlled Natural Language in a Game for Legal Assistance
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.
KeywordsNatural Language Contract Performance Deontic Logic Legal Document Legal Text
Unable to display preview. Download preview PDF.
- [BSBS09]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)Google Scholar
- [CD69]Crystal, D., Davy, D.: Investigating English style. Studies in the History and Theory of Linguistics. Indiana University Press (1969)Google Scholar
- [CSS03]Claessen, K., Sheeran, M., Singh, S.: Functional Hardware Description in Lava. In: The Fun of Programming, Cornerstones of Computing, pp. 151–176. Palgrave (2003)Google Scholar
- [Dav67]Davidson, D.: The Logical Form of Action Sentences. In: Rescher, N. (ed.) The Logic of Decision and Action. University of Pittsburgh Press (1967)Google Scholar
- [Hay71]Hayes, P.J.: A Logic of Actions. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 6, pp. 495–520. Edinburgh University Press (1971)Google Scholar
- [Mal26]Mally, E.: Grundgesetze des Sollens. Elemente fer Logik des Willens. Leuschner & Lubensky, Graz (1926)Google Scholar
- [Man88]Mann, W.C., Thompson, S.A.: Rhetorical Structure Theory: Toward a functional theory of text organization. Text 8(3), 243–281 (1988)Google Scholar
- [McN06]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)Google Scholar
- [Nun90]Nunberg, G.: The Linguistics of Punctuation (Center for the Study of Language and Information - Lecture Notes) (August 1990)Google Scholar
- [PB05]Phair, M.E., Bliss, A.: PerlNomic: Rule Making and Enforcement in Digital Shared Spaces. In: Online Deliberation 2005 / DIAC 2005, Stanford, CA, USA (2005)Google Scholar
- [Sub90]Suber, P.: Nomic: A Game of Self-Amendment. In: The Paradox of Self-Amendment. Peter Lang Publishing (1990)Google Scholar
- [Vel10]Vella, G.: Automatic Summarisation of Legal Documents. Master’s thesis, Univerisity of Malta, Dept Intelligent Computer Systems, University of Malta, Msida MSD2080, Malta (2010)Google Scholar