Transcript Law and Justice in a Global Society Artificial Intelligence and

Law and Justice in a Global Society
Artificial Intelligence and Law
Ontology and Philosophy
of Law: from REIMDOC as
example
Fernando Galindo
University of Zaragoza
Granada, 25th May 2005
Summary
Abstract of the paper
REIMDOC: object
The example: first steps
Ontologies
Philosophy of Law
Consequences
Conclusion
Abstract of the paper
Paper as concrete example of the use of
ontologies as tool for knowledge
representation in Artificial Intelligence
applications
Philosophy of Law as adequate tool for the
development of ontologies
The proof of the theories is the study of a
concrete case related to the making of a
software programme of industrial character
adequate to integrate and retrieve juridical
documentation, using several languages
REIMDOC: object
From a philosophical point of view: study of juridical
transactions in the ICT society (best as the
knowledge society)
Procedures related with:


1) the elaboration of private agreements for the acquisition
of real state property
2) their formalization to be included in the property registers,
payment of tax in the tax Administration and solution of
possible conflicts by the Administration of Justice (Judges)
as examples
The study as begin of the construction of REIMDOC:
system of multi lingual retrieval and integration of
juridical documents
REIMDOC: support
PROFIT project (FIT-340100-2004-22 )
Leader: Atos Origin
Partners:
Jurisweb Interactiva (Derecho.com)
 Polytechnic University of Madrid (Group
Artificial Intelligence)
 University of Zaragoza (Group Data
protection and electronic signature)

Another support
PRIME.- Privacy and Identification
Management in Europa.- IST Project
GERSOCO.- Principles of governance for the
knowledge society.- CICYT
LEFIS.- Legal Framework for the Information
Society Networks.- Socrates, AECI, ALFA
E CREATOR.- Teaching to the e learning
teachers.- Leonardo
The example: first steps
Study of the information needs of the citizens that
like to buy securely a house
Proposal of agreements and required formalities to
acquire the house to realize in Notaries, Property
Registers and Tax Administration, specially
Study of the legislation, including data protection and
electronic signature (public key infrastructures)
Study of standards to the making of software
programmes
Study of different juridical policies to articulate and
put in practice all steps
Establishment of four types of documents: glossary,
contracts models, legislation and judicial sentences
Ontologies
The basic words and the relations that form
the vocabulary of a specific area, and the
rules to combine the words and the relations
to expand the vocabulary (AI proposals)
Developed Ontologies in REIMDOC: Person,
Location, Organization, Trading, Models of
Contracts, Taxes, Judicial Sentences,
Legislation, Belongings, Civil Personality,
Proving of Trading of Estate
Philosophy of Law
Not the first Jhering: only legal concepts
Argumentation theorie
Autopoiesis: knowledge theory
Communicative Law:
Law as activity
 Different kind of rules
 Values

Consequences
Methodology as example for the
development of tools for E Government (E
Administration)
Freedom and legal security (procedures)
are guaranteed when the ICT are used as
tools
Juridical and Technical Data protection
resources and Public Key Infrastructures
are used
Conclusion
The example has as objective the development of theories
and practical examples for E Government, this is the access
to the Public Administrations by the citizens using
technological systems
The point of departure is the access to documentation
referred to the acquisition of properties: houses or
appartments. It is enough easy (formal) and complex for the
development and proof of systems of E Government
The idea is to plan and design adequate procedures and
programmes to build, formalize and send securely, documents
made by citizens to the Public Administrations
The activites are possible thanks to the adequate
philosophical reduction of the example. It opens the door to
put in practice all necessary resources for this kind of
research