110 likes | 119 Views
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
E N D
Law and Justice in a Global SocietyArtificial Intelligence and LawOntology and Philosophy of Law: from REIMDOCas exampleFernando Galindo University of ZaragozaGranada, 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