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 applicationsPhilosophy of Law as adequate tool for the development of ontologiesThe 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 OriginPartners: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 houseProposal of agreements and required formalities to acquire the house to realize in Notaries, Property Registers and Tax Administration, speciallyStudy of the legislation, including data protection and electronic signature (public key infrastructures)Study of standards to the making of software programmesStudy of different juridical policies to articulate and put in practice all stepsEstablishment 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 activityDifferent kind of rulesValues

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 systemsThe 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 AdministrationsThe 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