Browse by author
Lookup NU author(s): Dr Brian Rossiter
The processing of normative statements depends heavily on the embedding of higher order logic within natural language. This is a prime component of legal computer science that needs a theoretical basis which can be realized in practice both as good science and as good engineering. Scientific rigour expects the use of mathematics, and the engineering element needs that mathematics to be constructive. Theoretical computer science has recently seen developments in constructive mathematics satisfying these principles with the use of category theory. An example of this formalism is used to represent the normative statement: John gives Mary the ring and title passes on delivery and to show by the use of the adjoint functor theorem the integration of law and logic embedded in natural language as needed in legal computer science.
Author(s): Heather MA, Rossiter BN
Publication type: Report
Publication status: Published
Series Title: Department of Computing Science Technical Report Series
Year: 1996
Pages: 26
Print publication date: 01/11/1996
Source Publication Date: November 1996
Report Number: 554
Institution: Department of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/554.pdf