M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference 2005 Towards Modeling Systematic Interpretation of Codified.

Slides:



Advertisements
Similar presentations
Diversity in Management Research
Advertisements

Pat Langley School of Computing and Informatics Arizona State University Tempe, Arizona USA Modeling Social Cognition in a Unified Cognitive Architecture.
Knowledge Representation
01 -1 Lecture 01 Artificial Intelligence Topics –Introduction –Knowledge representation –Knowledge reasoning –Machine learning –Applications.
Learning to solve legal cases: The effects of instructional support Fleurie Nievelstein Tamara van Gog Gijs van Dijck* Els Boshuizen Open University of.
Formal Methods. Importance of high quality software ● Software has increasingly significant in our everyday activities - manages our bank accounts - pays.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
Programming Languages Structure
Marakas: Decision Support Systems, 2nd Edition © 2003, Prentice-Hall Chapter Chapter 7: Expert Systems and Artificial Intelligence Decision Support.
Methods of interpretation Joanna Helios Wioletta Jedlecka LLB.
LECTURE 3 Theme: Basics of civil law. Civil law relationships.
THE MODEL OF ASIS FOR PROCESS CONTROL APPLICATIONS P.Andreeva, T.Atanasova, J.Zaprianov Institute of Control and System Researches Topic Area: 12. Intelligent.
Query Processing Presented by Aung S. Win.
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
LÊ QU Ố C HUY ID: QLU OUTLINE  What is data mining ?  Major issues in data mining 2.
© ESTRELLA, IST A quick ‘n easy intro to LKIF Core Rinke Hoekstra.
The Use of Student Work as a Context for Promoting Student Understanding and Reasoning Yvonne Grant Portland MI Public Schools Michigan State University.
{ Problem Solving Dr. Melanie Maxwell & Dr. Stephen Sher Pythagoras Project Common Core SMP Event July 29 – August 2, 2013 Transitioning from Teacher Problem.
Author: James Allen, Nathanael Chambers, etc. By: Rex, Linger, Xiaoyi Nov. 23, 2009.
Chapter 1 Introduction Dr. Frank Lee. 1.1 Why Study Compiler? To write more efficient code in a high-level language To provide solid foundation in parsing.
Chapter 10: Compilers and Language Translation Invitation to Computer Science, Java Version, Third Edition.
Interoperability in Information Schemas Ruben Mendes Orientador: Prof. José Borbinha MEIC-Tagus Instituto Superior Técnico.
School of Computing FACULTY OF ENGINEERING Developing a methodology for building small scale domain ontologies: HISO case study Ilaria Corda PhD student.
110/19/2015CS360 AI & Robotics AI Application Areas  Neural Networks and Genetic Algorithms  These model the structure of neurons in the brain  Humans.
Knowledge and search, page 1 CSI 4106, Winter 2005 Knowledge and search Points Properties of knowledge  Completeness  Objectivity  Certainty  Formalizability.
Objectives 1. A definition of the term group as used in the context of management 2. A thorough understanding of the difference between formal and informal.
IXA 1234 : C++ PROGRAMMING CHAPTER 1. PROGRAMMING LANGUAGE Programming language is a computer program that can solve certain problem / task Keyword: Computer.
Graduate studies - Master of Pharmacy (MPharm) 1 st and 2 nd cycle integrated, 5 yrs, 10 semesters, 300 ECTS-credits 1 Integrated master's degrees qualifications.
LegalRuleML LegalRuleML TC. Outline Why LegalRuleML Goal of LegalRuleML Objectives of LegalRuleML Some examples of LegalRuleML Meta model of LegalRuleML.
ES Model development Dr. Ahmed Elfaig The ES attempts to predict results from available information, data and knowledge The model should be able to infer.
Chapter 13 Artificial Intelligence and Expert Systems.
Interkulturelles Zentrum INTERCULTURAL DIALOG as a political process FRANJO STEINER.
Qualitative Research Topic : Analysis is Ongoing (P.272~290) MA1C0109 Owen 楊勝雄.
Group-oriented Modelling Tools with Heterogeneous Semantics Niels Pinkwart COLLIDE Research Group University of Duisburg, Germany.
Object-Oriented Software Engineering using Java, Patterns &UML. Presented by: E.S. Mbokane Department of System Development Faculty of ICT Tshwane University.
Title: Diagnosing a team of agents: Scaling up Written by: Meir Kalech and Gal A. Kaminka Presented by: Reymes Madrazo-Rivera.
A Goal Based Methodology for Developing Domain-Specific Ontological Frameworks Faezeh Ensan, Weichang Du Faculty of Computer Science, University of New.
Towards the better software metrics tool motivation and the first experiences Gordana Rakić Zoran Budimac.
Introduction to Earth Science Section 2 Section 2: Science as a Process Preview Key Ideas Behavior of Natural Systems Scientific Methods Scientific Measurements.
On formal notation of the teleological structure of law Vytautas ČYRAS Vilnius University, Faculty of Mathematics and Informatics, Vilnius
Lecture 3: 18/4/1435 Searching for solutions. Lecturer/ Kawther Abas 363CS – Artificial Intelligence.
Chapter 1 Introduction Major Data Structures in Compiler
Theme 2: Data & Models One of the central processes of science is the interplay between models and data Data informs model generation and selection Models.
1 Knowledge Acquisition and Learning by Experience – The Role of Case-Specific Knowledge Knowledge modeling and acquisition Learning by experience Framework.
Towards a Reference Quality Model for Digital Libraries Maristella Agosti Nicola Ferro Edward A. Fox Marcos André Gonçalves Bárbara Lagoeiro Moreira.
Computer Science CPSC 322 Lecture 22 Logical Consequences, Proof Procedures (Ch 5.2.2)
CpSc 810: Machine Learning Analytical learning. 2 Copy Right Notice Most slides in this presentation are adopted from slides of text book and various.
Conceptualization Relational Model Incomplete Relations Indirect Concept Reflection Entity-Relationship Model Incomplete Relations Two Ways of Concept.
Winter 2007SEG2101 Chapter 31 Chapter 3 Requirements Specifications.
Chapter 1: Introduction to Neuro-Fuzzy (NF) and Soft Computing (SC)
An Ontology-based Approach to Context Modeling and Reasoning in Pervasive Computing Dejene Ejigu, Marian Scuturici, Lionel Brunie Laboratoire INSA de Lyon,
Lecture №1 Role of science in modern society. Role of science in modern society.
Research Word has a broad spectrum of meanings –“Research this topic on ….” –“Years of research has produced a new ….”
Decision Making & Knowledge Management in Inquiring Organizations: Toward a New Decision-making Paradigm for DSS April 11, 2002 Keedong Yoo James F. Courtney.
Organic Evolution and Problem Solving Je-Gun Joung.
1 A Methodology for automatic retrieval of similarly shaped machinable components Mark Ascher - Dept of ECE.
Definition and Technologies Knowledge Representation.
Type author names here Social Research Methods Chapter 26: Breaking down the quantitative/qualitative divide Alan Bryman Slides authored by Tom Owens.
Overview of Standards on Cost Auditing By: CMA Pradip H.Desai.
Continuing Competence is coming
COMPLIANCE Challenges and opportunities for the legal profession
ece 720 intelligent web: ontology and beyond
Chapter 8 Program Goals and Objectives Russell & Jamieson.
Section 2: Science as a Process
Collaboration Spotting: Visualisation of LHCb process data
Chapter 1 Laws and Their Ethical Foundation
SmaRT Visualization of Legal Rules for Compliance
Social Research Methods
Understanding Legal Rules
Chapter 10: Compilers and Language Translation
Presentation transcript:

M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference 2005 Towards Modeling Systematic Interpretation of Codified Law Matthias Grabmair University of Augsburg School of Law Germany Kevin D. Ashley University of Pittsburgh School of Law Intelligent Systems Program USA

M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference Systematic Interpretation ... is one of the four recognized civil law interpretation methods besides wording, legislative intent and teleology. ... analyzes a norm with respect to its position in the code’s overall structure and interconnected meaning. [Larenz, 1995; Alexy 1978] ... means interpretation of norm interaction.  The norm is interpreted in light of the influence of other norms... ... and in light of the influence the norm has on its surrounding ones... ... in its Sphere of Influence.

M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference Legal Sentences  Complete Legal Sentences [Larenz, 1995] ... form a regulation by themselves because they mention all their requirements and consequences. ... can directly be translated into an IF-THEN relation.  Incomplete Legal Sentences ... need to be read in conjunction with other legal sentences in order to construe an autonomous regulation. ... need systematic interpretation in order to be translated into an IF- THEN relation.

M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference Point of Departure How can a piece of written law be translated into a ruleset and, at the same time, capture the systematic interplay of its legal sentences authentically?

M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference The Approach in a Nutshell Code INR IF-THEN relations with Interaction Predicates in isomorphic original code structure Generation Domain Knowledge Ontologies Rulebase Plain final rules

M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference INR  The Intermediate Norm Representation (INR) mirrors the code in its original structure in an isomorphic way using IF-THEN relations. [Prakken & Schrickx, 1994]  No exterior information is used in formulating a relation from the original legal sentence.  Hooks for norm interaction and the sphere of influence are neutrally preserved through the use of Interaction Predicates.

M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference Interaction Predicates ... are used in the INR in the same way as standard binary predicates. ... symbolize standardized phenomena of norm interaction (e.g. referrals, exceptions, etc.) ... are equipped with encapsulated reasoning algorithms that are defined at the outset as the typical reasoning steps a jurist undertakes when encountering the respective norm interaction.  The algorithms use code structure and domain knowledge ontologies to generate final, unambiguous rulesets and arrange them in a tree. [Gardner, 1987]  Conflicts can be detected [van Engers et. al., 2000] and solved through authentic legal reasoning.

M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference Example §1 “For c, r1, r2 and r3 need to be fulfilled.” INR: IF (r1 AND r2 AND r3) THEN c Ruleset: IF (r1 AND r2 AND r3) THEN c §2 “In case of r4, r3 shall suffice.” INR: IF (r4) THEN suffice(r3) Reasoning of the suffice-Interaction Predicate:  §1 is determined as referenced norm out of the structure.  Domain knowledge is used to determine implicit assumptions.  Most plausible interpretation(s) spread out a ruleset tree. Ruleset (e.g.): IF (r1 AND r3 AND r4) THEN c

M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference Core Concepts Ruleset Tree Sphere of Influence The set of norms a certain norm influences and by which it is influenced. Each node is a complete ruleset from the same static INR and inherits its mother node interpretations. §1 §§1,2 §§1,2,3

M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference Further Challenges  Issues  Strong dependency on the definitions of ontologies and predicates  Risk of oversensitivity, but necessary to capture subtleties  Project Aims  Contribute to norm interpretation research in AI&Law  Sharpen contours of legal methodology through experiment results  Correctly visualize a norm’s sphere of influence in the code  State of the Project  In the phase of conceptualization  Search for a suitable legal test field for a future experiment

M. Grabmair & K. D. Ashley Towards Systematic Interpretation of Codified Law Jurix Conference Thank You! Slides available at: