ICKEDS04 Porto 2004 Slide nº 1 UNIVERSIDADE NOVA DE LISBOA Faculdade de Ciências e Tecnologia - Departamento de Informática Updating Legal Documents - The case of Phytosanitary Protection of Vegetables Agostinho Monteiro and Luís Moniz Pereira Centro de Inteligência Artificial – CENTRIA
24
Embed
ICKEDS04 Porto 2004Slide nº 1 UNIVERSIDADE NOVA DE LISBOA Faculdade de Ciências e Tecnologia - Departamento de Informática Updating Legal Documents - The.
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
ICKEDS04 Porto 2004 Slide nº 1
UNIVERSIDADE NOVA DE LISBOAFaculdade de Ciências e Tecnologia - Departamento de Informática
Updating Legal Documents- The case of Phytosanitary Protection of Vegetables
Agostinho Monteiro and Luís Moniz Pereira
Centro de Inteligência Artificial – CENTRIA
ICKEDS04 Porto 2004 Slide nº 2
Goals
•Application of Logic Programming Updates to:
Problems involving legal reasoning
The case - Phytosanitary Protection of Vegetables and Vegetable Products
Legislation subject to frequent alterations
Legislation originating from different sources
Changing World
Nation’s organization
(EC evolved several times along the analyzed period)
Geography
(disappearance of DDR, Czechoslovakia, Yugoslavia and USSR, and the corresponding constitution of new countries).
•We use LUPS, a previously developed language, as an appropriate tool to represent legal documents
•We consider the possibility of use of this implementation in other, non related, areas.
ICKEDS04 Porto 2004 Slide nº 3
The Problem
Protection against the introduction and dispersion, in the EC states, of organisms harmful to vegetables and vegetable products
•Portugal adheres to the European Community (EC), in 1986
•It became imperative to adapt national legislation to European directives (Dir. 79/93/CEE)
•This directive was transcribed for the national legislation (DL 348/88)
DForbids the introduction of harmful organisms in groups of countries, countries or some specific areas;
DForbids the introduction of harmful organisms if original of groups of countries, countries or some specific areas.
•This groupings of countries changed along the considered time.
•Other countries were or disaggregated (USSR, DDR, etc.) or they originated new countries (Bosnia-Herzegovina, Slovakia, etc.).
ICKEDS04 Porto 2004 Slide nº 4
Requirements
•Total repeal (the whole ordinance) vs. Partial (only part);
•Allowed if not forbidden vs. Forbidden if not allowed (Without information to prohibit it is allowed );
•To inhibit vs. To contradict ;
•5 Attachments (some subdivided in parts – Prohibition in the whole country or in parts of it ):
DI - Only harmful organisms ;
DII - Harmful organisms if present in vegetables (in the country);
DIII – Specific vegetables ;
DIV – Specific demands requested for introduction ;
DV – Phytossanitary certificate demand
•The origins and the destinies may be singular and/or complex ;
•Exceptions exist .
ICKEDS04 Porto 2004 Slide nº 5
LUPS - Motivation
•Dynamic Logic Programming, by itself, doesn't provide a language to specify, or to program, alterations in logical programs .
•If knowledge is already represented by logical programs, dynamic programs just represent the evolution of that knowledge .
D How is that knowledge evolution specified?
D What makes it to evolve?.
•As logic programs describe knowledge states, it is intended that they also describe the transitions of knowledge states .
•Associating a group of transition rules to each state in order to obtain the next state, it is obtained an intercalated of states and transition rules.
•With the language of dynamic updates LUPS, both states and their transitions are made declarative.
ICKEDS04 Porto 2004 Slide nº 6
LUPS – Commands
assert L L1, ..., Lk
assert L L1, ..., Lk when Lk+1, ..., Lm
assert event L L1, ..., Lk when Lk+1, ..., Lm
retract L L1, ..., Lk when Lk+1, ..., Lm
retract event L L1, ..., Lk when Lk+1, ..., Lm
always L L1, ..., Lk when Lk+1, ..., Lm
always L L1, ..., Lk when Lk+1, ..., Lm
cancel L L1, ..., Lk when Lk+1, ..., Lm
holds L1, ..., Ln at q
ICKEDS04 Porto 2004 Slide nº 7
Design and Development
From the analysis of the ruling ordinances about Phytossanitary protection it resulted a regular structure, constituted by:
•1. Indication of the rule, fact or exception’s constituent norm. Represented by the variable Norm;
•2. Identification of a harmful organism whose introduction and/or circulation is intended to prohibit . This identification is represented by the variable Organism;
•3. A product in which the occurrence of the harmful organism is verified, when that is the case, or the product itself. Represented by the variable Product;
•4. The form presented by the product when it is analyzed. Represented by the variable Form;
•5. The origin or, sometimes, the product’s production place. Represented by the variable Origin;
•6. The geographical destiny of the product, which can be a grouping of countries, an isolated country or even a group of specific areas. Represented by the variable Destiny e, finally ;
•7. The application it is destined to. Represented by the variable Purpose.
ICKEDS04 Porto 2004 Slide nº 8
Groupings of countries - Acronyms
CM Community
NC Third (Not community )
EU Europe
OE Out of Europe
NA North America
CA Central America
SA South America
AM America
MD Mediterranean
EC Ex. Czechoslovakia
EJ Ex. Yugoslavia
ER Ex. URSS
EA Ex. DDR
Asia Asia
ICKEDS04 Porto 2004 Slide nº 9
Knowledge Base Update - Part 1
State 01 updateF(‘genesis.p’). Beginning of the World
State 02 updateF(‘definicoes.p’). Initial definitions
State 03 updateF(‘update union-1957.p’). Beginning of the Community
State 04 updateF(‘update union-1973.p’). United Kingdom, Ireland, Denmark
State 05 updateF(‘update union-1981.p’). Greece
State 06 updateF(‘update union-1986.p’). Portugal, Spain
State 07 updateF(‘update 661-88 Rules.p’). Ordinance 661/88
State 08 updateF(‘update 661-88 Facts.p’).
State 09 updateF(‘update 661-88 Exceptions.p’).
ICKEDS04 Porto 2004 Slide nº 10
Knowledge Base Update - Part 2
State 10 updateF(‘update exCzech-1990.p’).
State 11 updateF(‘update exDDR-1990.p’).
State 12 updateF(‘update exUrss-1990.p’).
State 13 updateF(‘update exYugo-1991.p’).
State 14 updateF(‘update exUrss-1991.p’).
State 15 updateF(‘update exYugo-1992.p’).
State 16 updateF(‘update 344-94 Rules.p’). Ordinance 344/94
State 17 updateF(‘update 344-94-88 Facts.p’).
State 18 updateF(‘update 344-94-88 Exceptions.p’).
State 19 updateF(‘update union -1995.p’). Austria, Finland, Sweden
ICKEDS04 Porto 2004 Slide nº 11
Text of an Ordinance – An example
Ordinance 344-94 - Attachment II
PART A
Harmful organisms whose introduction and dispersion is forbidden inside the Country and in the remaining member States since they are present in certain vegetables or
vegetable products
Section I
Harmful organisms not existing in the Community and important for the whole Community
a) Insects, acaroids and nematodes in any phase or in development
Species Vegetables and vegetable products
1 – Aculops fuchsiae Keifer.................... Vegetables of Fuchsia L., destined to
Exceptions: Algeria, Cyprus, Egypt, Israel, Libya, Malta, Morocco, Syria, Tunisia.
Designation Country of origin
1 – Vegetable products :2.1 – Potato tubers (Solanum tuberosum L.), except those officially recognized as potato-seed .
Turkey, USSR and other third countries not belonging to continental Europe, with exception of: Algeria, Cyprus, Egypt, Israel, Libya, Malta, Morocco, Syria, and Tunisia.
Result Norm = Or 661-88Exigency = Pt 661-88 IV-1-1.1;
ICKEDS04 Porto 2004 Slide nº 18
Maintenance
Analysis and interpretation of the legislation and/or of the world
If partial repeal or change on the world
Identify the rules, facts and/or exceptions to modify/delete
While exist rules, facts and/or exceptions to modify/delete
Inhibit or delete those rules, facts and/or exceptions (a program for each type ) with not or retract
If modification
Add a rule, fact and/or exception to modify with assert
end If
end While
else
Add the assert not in-force(ordinance_to_repeal)
Add the assert in-force(new-ordinance)
Add the new rules, facts and/or exceptions (a program for each type )
End If
ICKEDS04 Porto 2004 Slide nº 19
Other application areas
•Situations that involve borders ;
•Situations that forbid or condition the entrance of certain objects, when present in others, have a certain form, be original of some place, and have as destiny another one (both can be structured ) and are destined to some purpose .
This framing, eventually with small modifications, may be found in areas such as:
•In spite of, along the considered period of time, the Community and the World have evolved substantially, it is very easy to update the Knowledge Base, in a declarative way, with the new acquired information (sequences of programs).
•With Dynamic Logic Programming and the language LUPS (itself developed in Logic Programming), it is enough the creation of a new update program (here understood as a text file), for each state we intend to represent ;
•It is possible to interrogate the Knowledge Base in former states, by simply specifying those states or, inversely , to obtain information concerning the state in which certain situation was true.
•It was not necessary to use the totality of the potentialities made available by this language (in reality only a small part was used) because it was not necessary to specify, for instance, events (event) and/or conditions (when) for the transition of States .
•Logic Programming, namely DLP, and its implementation LUPS, are appropriate to represent legal problems that, as in this case, involve borders ;
ICKEDS04 Porto 2004 Slide nº 21
Contacts
•A copy of the used code can be requested by email to