Automated Contract Formation: Jurisdiction and Applicable La · – Singular, national point of...
9
© 2009 UZH, IFI Automated Contract Formation: Jurisdiction and Applicable Law – Implementation in Prolog – Martin Waldburger 1 1 Department of Informatics IFI, Communication Systems Group CSG, University of Zürich CSG Doctoral Seminar, November 17, 2009, Zürich, Switzerland Key Issues Swiss PIL Jurisdiction Activity Diagram Path Identification Actions Connecting Factors, Derived Factors Implementation in Prolog Summary and Conclusions
Transcript of Automated Contract Formation: Jurisdiction and Applicable La · – Singular, national point of...
© 2009 UZH, IFI
Automated Contract Formation:Jurisdiction and Applicable Law
– Implementation in Prolog –
Martin Waldburger1
1 Department of Informatics IFI, Communication Systems Group CSG, University of Zürich
CSG Doctoral Seminar, November 17, 2009, Zürich, Switzerland
Key Issues
Swiss PIL Jurisdiction Activity Diagram
Path Identification
Actions
Connecting Factors, Derived Factors
Implementation in Prolog
Summary and Conclusions
© 2009 UZH, IFI
Key Issues
Private International Law (PIL)– PIL identification– PIL selection
Analysis– Thematic pre-selection– Detailed in-/exclusion
Modeling– UML2 activity diagram
Implementation– Automation– Connecting factors → jurisdictions, applicable laws– Integrated testing
Focus
© 2009 UZH, IFI
Swiss PIL Jurisdiction Activity Diagram
© 2009 UZH, IFI
Path Identification
j23; j26; j27; j30; j33; j34
jurisdictions(...) :-connectingFactors(),(j23; j26; ...).
j23(...) :- j22(...), j21(...), j20(...).
J20(...) :-…
Allows partial path verification
© 2009 UZH, IFI
Actions
Jurisdiction assertion (output)
Different notions– Exclusive (E)
– Chosen (C)
– Ignored (I)
– Non-exclusive (N)
– Unwaivable (U)
jurisdictions(E, C, I, N, U).– Hierarchy
– Interrelations
Single path may see multiple assertions
© 2009 UZH, IFI
Connecting Factors
Minimum factor set wanted Main determinant for test cases
– Database fields
– Variations → Verification
input(..., [ch,de,at], [ch,fr,de], non-exclusive, ch, ch).– ProviderChoices, CustomerChoices: Preference lists
– Exclusive/non-exclusive choice
– CustomerDomicile, CustomerHabitualResidence
© 2009 UZH, IFI
Derived Factors
Factors derived from connecting factors List manipulations
– Recursion– Output: Lists
Functionality– Members in lists– Common elements– No common elements– Agreement
Currently in single predicate– UnwaivableJurisdiction– ChosenJurisdiction
© 2009 UZH, IFI
Implementation in Prolog
Database
Derived Factors
Paths
Jurisdictions
Demo
© 2009 UZH, IFI
Summary and Conclusions
Achievements– Partial implementation
– Automated determination of jurisdictions
– Singular, national point of view (Swiss)
– Applicable to contracts with Swiss connection
– Successful integrated testing (verification) Next steps
– Coverage extension
– EU PIL ongoing
– 2 further national PILs ongoing
– Distributed connecting factor acquisition Lacking elements
– Inter-PIL basic connector integration
– Inter-PIL jurisdictions compatibility check
