Mixing Legal and Non-legal Norms Alexander Boer

Slides:



Advertisements
Similar presentations
ROWLBAC – Representing Role Based Access Control in OWL
Advertisements

E-Science AHM, Nottingham. September 20 th, Glen Dobson: An OWL Ontology for QoS Glen Dobson (Russell Lock, Ian Sommerville)
The 20th International Conference on Software Engineering and Knowledge Engineering (SEKE2008) Department of Electrical and Computer Engineering
Artificial Intelligence Description Logics - Background and Motivation for DL Relation between DL and FOPL (extensional Semantics) Example.
CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.
OWL - DL. DL System A knowledge base (KB) comprises two components, the TBox and the ABox The TBox introduces the terminology, i.e., the vocabulary of.
So What Does it All Mean? Geospatial Semantics and Ontologies Dr Kristin Stock.
The International RuleML Symposium on Rule Interchange and Applications Local and Distributed Defeasible Reasoning in Multi-Context Systems Antonis Bikakis,
Of 27 lecture 7: owl - introduction. of 27 ece 627, winter ‘132 OWL a glimpse OWL – Web Ontology Language describes classes, properties and relations.
1 Ontology Language Comparisons doug foxvog 16 September 2004.
Edition 3 Metadata registry (MDR) Ray Gates May 12, /05/20151.
Chapter 9: Ontology Management Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.
Research topics Semantic Web - Spring 2007 Computer Engineering Department Sharif University of Technology.
Ontologies and the Semantic Web by Ian Horrocks presented by Thomas Packer 1.
Prepared By Jacques E. ZOO Bohm’s Philosophy of Nature David Bohm, Causality and Chance in Modern Physics (New York, 1957). From Feyerabend, P. K.
C. Varela; Adapted w/permission from S. Haridi and P. Van Roy1 Declarative Computation Model Defining practical programming languages Carlos Varela RPI.
NaLIX: A Generic Natural Language Search Environment for XML Data Presented by: Erik Mathisen 02/12/2008.
The Semantic Web Week 13 Module Website: Lecture: Knowledge Acquisition / Engineering Practical: Getting to know.
COMP 6703 eScience Project Semantic Web for Museums Student : Lei Junran Client/Technical Supervisor : Tom Worthington Academic Supervisor : Peter Strazdins.
Description Logics. Outline Knowledge Representation Knowledge Representation Ontology Language Ontology Language Description Logics Description Logics.
The Semantic Web Week 12 Term 1 Recap Lee McCluskey, room 2/07 Department of Computing And Mathematical Sciences Module Website:
Models of Human Performance Dr. Chris Baber. 2 Objectives Introduce theory-based models for predicting human performance Introduce competence-based models.
China.2005http://sekt.semanticweb.org/ Reasoning with Multi-version Ontologies: a temporal logic approach Zhisheng Huang and Heiner Stuckenschmidt Vrije.
The Research Problem and Objectives Lecture 6 1. Organization of this lecture Research Problem & Objectives: Research and Decision/Action Problems Importance.
© ESTRELLA, IST A quick ‘n easy intro to LKIF Core Rinke Hoekstra.
Ontology Alignment/Matching Prafulla Palwe. Agenda ► Introduction  Being serious about the semantic web  Living with heterogeneity  Heterogeneity problem.
Ontology Development Kenneth Baclawski Northeastern University Harvard Medical School.
A Modeling Language to Model Norms Karen Figueiredo Viviane Torres da Silva Universidade Federal Fluminense (UFF)
An Introduction to Description Logics. What Are Description Logics? A family of logic based Knowledge Representation formalisms –Descendants of semantic.
Applying Belief Change to Ontology Evolution PhD Student Computer Science Department University of Crete Giorgos Flouris Research Assistant.
Ming Fang 6/12/2009. Outlines  Classical logics  Introduction to DL  Syntax of DL  Semantics of DL  KR in DL  Reasoning in DL  Applications.
School of Computing FACULTY OF ENGINEERING Developing a methodology for building small scale domain ontologies: HISO case study Ilaria Corda PhD student.
Michael Eckert1CS590SW: Web Ontology Language (OWL) Web Ontology Language (OWL) CS590SW: Semantic Web (Winter Quarter 2003) Presentation: Michael Eckert.
1 Contact: From Evaluation to Research Description of a continuum in the field of Global Education.
An Introduction to Description Logics (chapter 2 of DLHB)
Developing “Geo” Ontology Layers for Web Query Faculty of Design & Technology Conference David George, Department of Computing.
Knowledge Representation of Statistic Domain For CBR Application Supervisor : Dr. Aslina Saad Dr. Mashitoh Hashim PM Dr. Nor Hasbiah Ubaidullah.
Advanced topics in software engineering (Semantic web)
©Ferenc Vajda 1 Semantic Grid Ferenc Vajda Computer and Automation Research Institute Hungarian Academy of Sciences.
updated ’08CmpE 583 Fall 2008Introduction- 1 CmpE 583- Web Semantics: Theory and Practice Atilla ELÇİ Computer Engineering Department Eastern.
Rules, RIF and RuleML.
The Process Specification Language (PSL): Theories and Applications Michael Grüninger and Christopher Menzel Journal Club Presentation Eric Rozell, Tetherless.
More on Description Logic(s) Frederick Maier. Note Added 10/27/03 So, there are a few errors that will be obvious to some: So, there are a few errors.
KR A Principled Framework for Modular Web Rule Bases and its Semantics Anastasia Analyti Institute of Computer Science, FORTH-ICS, Greece Grigoris.
Semantic Web BY: Josh Rachner and Julio Pena. What is the Semantic Web? The semantic web is a part of the world wide web that allows data to be better.
Ontology Engineering Lab #5 – September 30, 2013.
Logic Programming. Formal Logics- Recap Formulas – w/out quantifiers Free Variables Bound Variables Assignments and satisfaction Validity and satisfiability.
Legal Engineering A Design Perspective on the Law Prof. dr. Tom M. van Engers
S ystems Analysis Laboratory Helsinki University of Technology 1 Decision Analysis Raimo P. Hämäläinen Systems Analysis Laboratory Helsinki University.
Definitions. Definitions to Know Morality: any major decisions that affect others becomes a moral decision. Immoral: refers to the way people ought not.
OWL Web Ontology Language Summary IHan HSIAO (Sharon)
Enable Semantic Interoperability for Decision Support and Risk Management Presented by Dr. David Li Key Contributors: Dr. Ruixin Yang and Dr. John Qu.
1 Instance Store Database Support for Reasoning over Individuals S Bechhofer, I Horrocks, D Turi. Instance Store - Database Support for Reasoning over.
Selected Semantic Web UMBC CoBrA – Context Broker Architecture  Using OWL to define ontologies for context modeling and reasoning  Taking.
LDK R Logics for Data and Knowledge Representation Description Logics: family of languages.
Rinke Hoekstra Use of OWL in the Legal Domain Statement of Interest OWLED 2008 DC, Gaithersburg.
26/02/ WSMO – UDDI Semantics Review Taxonomies and Value Sets Discussion Paper Max Voskob – February 2004 UDDI Spec TC V4 Requirements.
OWL (Ontology Web Language and Applications) Maw-Sheng Horng Department of Mathematics and Information Education National Taipei University of Education.
Robert Muthuri, Guido Boella, Joris Hulstijn
The Semantic Web By: Maulik Parikh.
Knowledge Representation Part II Description Logic & Introduction to Protégé Jan Pettersen Nytun.
Rules, RIF and RuleML.
Semantic Web Lecture Notes Prepared by Jagdish S. Gangolly
Ontology.
ece 720 intelligent web: ontology and beyond
Ontology.
Essential elements in developing high quality recommendations based on individual appeals: structure and reasoning of the recommendations Jurgita Paužaitė-Kulvinskienė.
Scalable and Efficient Reasoning for Enforcing Role-Based Access Control
Deniz Beser A Fundamental Tradeoff in Knowledge Representation and Reasoning Hector J. Levesque and Ronald J. Brachman.
CIS Monthly Seminar – Software Engineering and Knowledge Management IS Enterprise Modeling Ontologies Presenter : Dr. S. Vasanthapriyan Senior Lecturer.
Presentation transcript:

Mixing Legal and Non-legal Norms Alexander Boer

Overview  The ontological status of norms  Why norms as preferences?  Validity of norms as preferences  Contrary-to-duty situations  Normative conflict  Further work  Only in the paper  Composition of non-legal preferences vs.  Composition of legal preferences (choice principles)

The ontological status of norms  ‘Norm’ is an epistemological category in assessment  Of a broken circuit board (norm group)  Of abnormal behaviour (normal)  Of undesirable behaviour (normative)  ‘Preference’ is an epistemological category in planning  Personal preference  Adopted preference (constraint)  In context of agent: norm = preference

Norms and Preferences in the Legal System 1.‘Norms of analysis’ of involved stakeholders in drafting legislation 2.Legal norms adopted from legislation by addressees of legislation 3.Social norms adopted by addressees of legislation 4.Personal preferences of addressees 5.Adaptation of personal and social preferences to legal norms (evasion)

Uses of preferences  Making decisions constrained by legal norms (Legal Services Counter, E-POWER)  Assessing behaviour against legal norms (CLIME)  Assessing expected behaviour (adapted to legal norms) against ‘norms of analysis’ (E- POWER simulation)  Comparing two alternative sets of legal norms (E-POWER simulation)  Almost always legal and non-legal preferences involved

Why?  My PhD Thesis  Newton workbench  Understandable Legal Knowledge Acquisition  Understandable representation method  Semantic Web (merging norms from different sources)  ESTRELLA Project  European project for Standardized Transparent Representations in order to Extend LegaL Accessibility  Legal Knowledge Interchange Format (LKIF)  Make everybody happy: represent whatever you want, apply reasoning rules depending on purpose

Ideas  Entity-Relationship-based (boxes and lines) method for representing normative statements in the Web Ontology Language (OWL)  Use mainstream Decision Theory concepts (choice, preference, composition of preferences)  Mixing with non-legal preferences  Use concepts from Knowledge Acquisition methodology  Concept Triads and decision trees/tables

Knowledge Acquisition as eliciting choices  Ontology and Decision Trees  Concepts and differentiae  Repertory grids  Triads: Binary choices, opposites  Choice reveals a preference  Norms  Binary choice between compliance and violation  Choice is guided by imposed preference (acceptance of a norm)

Norms as preferences?  Revealed vs. motivating preference  Preference for things vs. classes of things  Combinative vs. exclusionary preference  Conditional vs. absolute preferences? S A¬A disjointWith subClassOf <

Subsumption

Conditional preference

Deontic operators to preference relations

A fourth deontic operator: Liberty

Representation in OWL  Entity-relation model (subject-predicate- object triples)  Very similar to description logics (KIF, LOOM, KRSS, etc.) but very different (graph-based) syntax  Separates statements about concepts (terminology) and instances (assertions)  No Unique Name Assumption for instances  Merging triples from different sources

Preference for classes of things in OWL  Operational semantics of preference relation is similar to =, = =, >, <  Relation on concepts, not instances  Second order relation  Either not OWL DL but OWL Full, or two separate OWL DL terminological boxes  “Second order Reasoning” in practice simple  Not possible to represent that = and < are disjoint!  No disjointness on relations…

=< >= <>=

Validity of norms as preferences?  Contrary-to-duty situations  Chisholm, Forrester, Gentle Murderer, Reykjavic, etc.  Normative conflict  Conflict of disaffirmation  Disaffirming an imperative  Disaffirming a permission  Hill’s ‘intersection’ conflicts  Conflict of compliance  Other conflicts  Hohfeldian concepts, etc.

Contrary-to-duty situations

Chisholm’s situation

The Reykjavic situation

Normative Conflict

Conflicts of disaffirmation: disaffirmation of an imperative Using the network facilities in the university building is prohibited. Using WiFi in the classrooms is permitted.

Conflicts of disaffirmation: disaffirmation of a permission Using the network facilities in the university building is permitted. Using WiFi in the classrooms is prohibited.

Unresolved cases of disaffirmation  Symmetric subsumption of situation vs. alternatives:  Using the network facilities in the classrooms is prohibited.  Using WiFi in the university building is permitted.  No clear solution:  Is this simply not a conflict?  Does the most specific description of alternative take precedence?  Hill’s “intersection conflicts”?

Unresolved cases of disaffirmation

Conflicts of compliance  ‘Impossibility of joint compliance’ (IJC)  In S you ought to both P and not P  Did you voluntarily enter into situation S?  Can you move out of situation S?  Example:  Police: night clubs ought to lock unguarded emergency exits  Fire department: night clubs ought not to lock emergency exits

Conflicts of compliance

Conflict between permissions? Elhag et al: “There seem to be other types of conflict as that between the permission for A to live in a certain house and a permission for B to destroy that same house. These conflicts need our attention and have to be embodied in a theory on normative conflicts.” 1.Neither agent has to deal with a circular ordering of alternatives 2.Both agents are free to act

Other cases of conflict?  Conflict of legal and non-legal norms  permission for A to live in a certain house and a permission for B to destroy that same house   permission for A to live in a house that is to be destroyed (given B’s preferences?)  A norm of analysis is violated…  Alternative: assumption of implicit right-duty relation between A and B?  Conflict of a norm with reality  Unrealizability of compliance with norm

Other work  Composition of preferences in Law vs. Decision Theory  Choice rules (Lex Specialis etc.) work because of restricted format for legal preferences  Additive (MAUT) and multiplicative (utility) composition in Decision Theory  Hohfeldian legal concepts  Right, duty, power, liability, etc.

Further work  ESTRELLA’s LKIF and Newton  Axioms on/off  Automated Problem Solving vs. evaluation queries  Isomorphism MetaLex legislative XML structures to OWL representation  Classification of sentence patterns  Normative statements about (application of) legislation  Choice rules defined in legislation  E.g. overruling Lex Posterior