The document discusses using intuitionistic description logic (iALC) to formalize legal ontologies and reasoning. It argues that an intuitionistic approach is better suited than classical logic for modeling law. iALC allows representing legal concepts, individuals, and relationships between valid legal statements. The document provides an example of using iALC to represent and reason about a contract dispute involving parties from different legal systems.
Description logic is a formal logic-based knowledge representation language which “Description" about the world in terms of concepts (classes), roles (properties, relationships) and individuals (instances).
Description logic is a formal logic-based knowledge representation language which “Description" about the world in terms of concepts (classes), roles (properties, relationships) and individuals (instances).
A linked open data architecture for contemporary historical archivesAlexandre Rademaker
This presentation presents an architecture for historical archives maintenance based on Open Linked Data technologies and open source distributed development model and tools. The proposed architecture is being implemented for the archives of the Center for Teaching and Research in the Social Sciences and Contemporary History of Brazil (CPDOC) from Getulio Vargas Foundation (FGV).
Elevating Tactical DDD Patterns Through Object CalisthenicsDorra BARTAGUIZ
After immersing yourself in the blue book and its red counterpart, attending DDD-focused conferences, and applying tactical patterns, you're left with a crucial question: How do I ensure my design is effective? Tactical patterns within Domain-Driven Design (DDD) serve as guiding principles for creating clear and manageable domain models. However, achieving success with these patterns requires additional guidance. Interestingly, we've observed that a set of constraints initially designed for training purposes remarkably aligns with effective pattern implementation, offering a more ‘mechanical’ approach. Let's explore together how Object Calisthenics can elevate the design of your tactical DDD patterns, offering concrete help for those venturing into DDD for the first time!
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
A linked open data architecture for contemporary historical archivesAlexandre Rademaker
This presentation presents an architecture for historical archives maintenance based on Open Linked Data technologies and open source distributed development model and tools. The proposed architecture is being implemented for the archives of the Center for Teaching and Research in the Social Sciences and Contemporary History of Brazil (CPDOC) from Getulio Vargas Foundation (FGV).
Elevating Tactical DDD Patterns Through Object CalisthenicsDorra BARTAGUIZ
After immersing yourself in the blue book and its red counterpart, attending DDD-focused conferences, and applying tactical patterns, you're left with a crucial question: How do I ensure my design is effective? Tactical patterns within Domain-Driven Design (DDD) serve as guiding principles for creating clear and manageable domain models. However, achieving success with these patterns requires additional guidance. Interestingly, we've observed that a set of constraints initially designed for training purposes remarkably aligns with effective pattern implementation, offering a more ‘mechanical’ approach. Let's explore together how Object Calisthenics can elevate the design of your tactical DDD patterns, offering concrete help for those venturing into DDD for the first time!
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
Communications Mining Series - Zero to Hero - Session 1DianaGray10
This session provides introduction to UiPath Communication Mining, importance and platform overview. You will acquire a good understand of the phases in Communication Mining as we go over the platform with you. Topics covered:
• Communication Mining Overview
• Why is it important?
• How can it help today’s business and the benefits
• Phases in Communication Mining
• Demo on Platform overview
• Q/A
Climate Impact of Software Testing at Nordic Testing DaysKari Kakkonen
My slides at Nordic Testing Days 6.6.2024
Climate impact / sustainability of software testing discussed on the talk. ICT and testing must carry their part of global responsibility to help with the climat warming. We can minimize the carbon footprint but we can also have a carbon handprint, a positive impact on the climate. Quality characteristics can be added with sustainability, and then measured continuously. Test environments can be used less, and in smaller scale and on demand. Test techniques can be used in optimizing or minimizing number of tests. Test automation can be used to speed up testing.
Smart TV Buyer Insights Survey 2024 by 91mobiles.pdf91mobiles
91mobiles recently conducted a Smart TV Buyer Insights Survey in which we asked over 3,000 respondents about the TV they own, aspects they look at on a new TV, and their TV buying preferences.
Observability Concepts EVERY Developer Should Know -- DeveloperWeek Europe.pdfPaige Cruz
Monitoring and observability aren’t traditionally found in software curriculums and many of us cobble this knowledge together from whatever vendor or ecosystem we were first introduced to and whatever is a part of your current company’s observability stack.
While the dev and ops silo continues to crumble….many organizations still relegate monitoring & observability as the purview of ops, infra and SRE teams. This is a mistake - achieving a highly observable system requires collaboration up and down the stack.
I, a former op, would like to extend an invitation to all application developers to join the observability party will share these foundational concepts to build on:
Unlocking Productivity: Leveraging the Potential of Copilot in Microsoft 365, a presentation by Christoforos Vlachos, Senior Solutions Manager – Modern Workplace, Uni Systems
GridMate - End to end testing is a critical piece to ensure quality and avoid...ThomasParaiso2
End to end testing is a critical piece to ensure quality and avoid regressions. In this session, we share our journey building an E2E testing pipeline for GridMate components (LWC and Aura) using Cypress, JSForce, FakerJS…
State of ICS and IoT Cyber Threat Landscape Report 2024 previewPrayukth K V
The IoT and OT threat landscape report has been prepared by the Threat Research Team at Sectrio using data from Sectrio, cyber threat intelligence farming facilities spread across over 85 cities around the world. In addition, Sectrio also runs AI-based advanced threat and payload engagement facilities that serve as sinks to attract and engage sophisticated threat actors, and newer malware including new variants and latent threats that are at an earlier stage of development.
The latest edition of the OT/ICS and IoT security Threat Landscape Report 2024 also covers:
State of global ICS asset and network exposure
Sectoral targets and attacks as well as the cost of ransom
Global APT activity, AI usage, actor and tactic profiles, and implications
Rise in volumes of AI-powered cyberattacks
Major cyber events in 2024
Malware and malicious payload trends
Cyberattack types and targets
Vulnerability exploit attempts on CVEs
Attacks on counties – USA
Expansion of bot farms – how, where, and why
In-depth analysis of the cyber threat landscape across North America, South America, Europe, APAC, and the Middle East
Why are attacks on smart factories rising?
Cyber risk predictions
Axis of attacks – Europe
Systemic attacks in the Middle East
Download the full report from here:
https://sectrio.com/resources/ot-threat-landscape-reports/sectrio-releases-ot-ics-and-iot-security-threat-landscape-report-2024/
Sudheer Mechineni, Head of Application Frameworks, Standard Chartered Bank
Discover how Standard Chartered Bank harnessed the power of Neo4j to transform complex data access challenges into a dynamic, scalable graph database solution. This keynote will cover their journey from initial adoption to deploying a fully automated, enterprise-grade causal cluster, highlighting key strategies for modelling organisational changes and ensuring robust disaster recovery. Learn how these innovations have not only enhanced Standard Chartered Bank’s data infrastructure but also positioned them as pioneers in the banking sector’s adoption of graph technology.
Securing your Kubernetes cluster_ a step-by-step guide to success !KatiaHIMEUR1
Today, after several years of existence, an extremely active community and an ultra-dynamic ecosystem, Kubernetes has established itself as the de facto standard in container orchestration. Thanks to a wide range of managed services, it has never been so easy to set up a ready-to-use Kubernetes cluster.
However, this ease of use means that the subject of security in Kubernetes is often left for later, or even neglected. This exposes companies to significant risks.
In this talk, I'll show you step-by-step how to secure your Kubernetes cluster for greater peace of mind and reliability.
DevOps and Testing slides at DASA ConnectKari Kakkonen
My and Rik Marselis slides at 30.5.2024 DASA Connect conference. We discuss about what is testing, then what is agile testing and finally what is Testing in DevOps. Finally we had lovely workshop with the participants trying to find out different ways to think about quality and testing in different parts of the DevOps infinity loop.
SAP Sapphire 2024 - ASUG301 building better apps with SAP Fiori.pdfPeter Spielvogel
Building better applications for business users with SAP Fiori.
• What is SAP Fiori and why it matters to you
• How a better user experience drives measurable business benefits
• How to get started with SAP Fiori today
• How SAP Fiori elements accelerates application development
• How SAP Build Code includes SAP Fiori tools and other generative artificial intelligence capabilities
• How SAP Fiori paves the way for using AI in SAP apps
Essentials of Automations: The Art of Triggers and Actions in FMESafe Software
In this second installment of our Essentials of Automations webinar series, we’ll explore the landscape of triggers and actions, guiding you through the nuances of authoring and adapting workspaces for seamless automations. Gain an understanding of the full spectrum of triggers and actions available in FME, empowering you to enhance your workspaces for efficient automation.
We’ll kick things off by showcasing the most commonly used event-based triggers, introducing you to various automation workflows like manual triggers, schedules, directory watchers, and more. Plus, see how these elements play out in real scenarios.
Whether you’re tweaking your current setup or building from the ground up, this session will arm you with the tools and insights needed to transform your FME usage into a powerhouse of productivity. Join us to discover effective strategies that simplify complex processes, enhancing your productivity and transforming your data management practices with FME. Let’s turn complexity into clarity and make your workspaces work wonders!
Essentials of Automations: The Art of Triggers and Actions in FME
Intuitionistic Description Logic for Legal Reasoning
1. Intuitionistic Description Logic for Legal Reasoning
Intuitionistic Description Logic for Legal
Reasoning
Edward Hermann Hausler Alexandre Rademaker
Valeria de Paiva
Departamento de Informática - PUC-Rio - Brasil
FGV - Brasil
Univ. Birmingham - UK
EBL 2011 May
2. Intuitionistic Description Logic for Legal Reasoning
Jurisprudence Motivation
Considerations on Legal Ontologies
Roles played by a Knowledge Representation artifact/formalism
(Davis et alli)
It is a set of ontological commitments;
It is a fragmentary theory of intelligent reasoning;
It is a medium for efficient computation;
It is a medium of human expression.
3. Intuitionistic Description Logic for Legal Reasoning
Jurisprudence Motivation
Considerations on Legal Ontologies
What is an Ontology?
A declarative description of a domain.
Concretely, an Ontology is a Knowledge Base: A set of
Logical Assertions that aims to describe a Domain
completely.
Consistency is mandatory.
Consistency means absence of contradictions.
Negation has an essential role.
4. Intuitionistic Description Logic for Legal Reasoning
Jurisprudence Motivation
Considerations on Legal Ontologies
Main Motivation
Solid Jurisprudence + Description Logic
5. Intuitionistic Description Logic for Legal Reasoning
Jurisprudence Motivation
Considerations on Legal Ontologies
What does the term “Law” mean?
What does count as the “unit of law”? Open question,
a.k.a. “The individuation problem”.
(Raz1972) What is to count as one “complete law”?
6. Intuitionistic Description Logic for Legal Reasoning
Jurisprudence Motivation
Considerations on Legal Ontologies
Under Legal Positivism: Two main approaches to the
“Individuation problem”.
1. Taking the collection of laws as a whole. A law, or general
law, is a kind of deontic statement or proposition.
2. Taking into account all individual legal valid statements
(ivls or vls for short) as individual laws. An individual law is
not a deontic statement, it is not even a proposition. “The
law” is the collection of all individual laws.
7. Intuitionistic Description Logic for Legal Reasoning
Jurisprudence Motivation
Considerations on Legal Ontologies
Formalization of Legal Ontologies following the second
approach
The first-class citizens of any Legal Ontology are vls. Only
vls inhabit legal world. Influence of Kelsen’s
characterization of law.
There can be concepts on vls and relationships between
vls. For example: PILBR , CIVIL, FAMILY , etc, can be
concepts. LexDomicilium can be a relationship, a.k.a. a
legal connection.
£ Facilitates the analysis of structural relationships
between laws, viz. Primary and Secondary Rules. Induces
natural precedence between laws, e.g. “ Peter is liable”
precedes “Peter has a renting contract”.
8. Intuitionistic Description Logic for Legal Reasoning
Logical Motivation
Intuitionistic versus Classical logic:
Which version is more adequate to Law Formalization??
Classical Negation classifies: ¬φ ∨ φ is valid for any φ
In BR, 18 is the legal age BR contains all vls in Brazil
.
“Peter is 17”
“Peter is liable”∈ BR iff “Peter is liable”∈ ¬BR
Classical negation forces the existence of a liable
Peter in some legal system outside Brazil
9. Intuitionistic Description Logic for Legal Reasoning
Logical Motivation
Intuitionistic versus Classical logic:
Which version is more adequate to Law Formalization??
The Intuitionistic Negation
|=i ¬A, iff, for all j, if i j then |=j A
i
~ 2 Ø
|=j A |=k A
|=i ¬¬A → A and |=i A ∨ ¬A
10. Intuitionistic Description Logic for Legal Reasoning
Logical Motivation
Intuitionistic versus Classical logic:
Which version is more adequate to Law Formalization??
An Intuitionistically based approach to Law
“Peter is liable”∈ BR
There is no vls in BR
“Peter is liable” ∈ ¬BR means
dominating “Peter is liable”
neither “Peter is liable”∈ BR nor “Peter is liable”∈ ¬BR
11. Intuitionistic Description Logic for Legal Reasoning
Intuitionistic Description Logics
The logical framework for ontologies formalization
iALC and ALC have the same logical language
Binary (Roles) and unary (Concepts) predicate symbols,
R(x, y ) and C(y ).
Prenex Guarded formulas (∀y (R(x, y ) → C(y )),
∃y (R(x, y ) ∧ C(y ))).
Essentially propositional (Tboxes), but may involve
reasoning on individuals (Aboxes), expressed as “x : C”
and xRy .
Semantics: Provided by a structure I = (∆I , I , ·I ) closed
under refinement, i.e., y ∈ AI and x I y implies x ∈ AI .
“¬” and “ ” must be interpreted intuitionistically .
It is not First-order Intuitionistic Logic. It is a genuine
Hybrid logic.
12. Intuitionistic Description Logic for Legal Reasoning
Intuitionistic Description Logics
Deductive Reasoning in iALC
∆⇒ x :A A⇒ B
Usual Structural-Rules for Intuitionistic Logic ∈-r
∆⇒ x :B
Γ, x : C ⇒ x : C xRy , Γ ⇒ xRy
Γ1 ⇒ C Γ2 , D ⇒ δ Γ, C ⇒ D
-l -r
Γ1 , Γ2 , C D⇒ δ Γ⇒ C D
Γ, x : C, x : D ⇒ δ Γ ⇒ x: C Γ ⇒ x: D
-l -r
Γ, x : (C D) ⇒ δ Γ ⇒ x : (C D)
Γ, x : C ⇒ δ Γ, x : D ⇒ δ Γ ⇒ x: C
-l 1 -r
Γ, x : (C D), ⇒ δ Γ ⇒ x : (C D)
Γ, x : ∀R.C, y : C, xRy ⇒ δ Γ, xRy ⇒ y : C
∀-l ∀-r
Γ, x : ∀R.C, xRy ⇒ δ Γ ⇒ x : ∀R.C
Γ, xRy , y : C ⇒ δ Γ ⇒ xRy Γ ⇒ y: C
∃-l ∃-r
Γ, x : ∃R.C ⇒ δ Γ ⇒ x : ∃R.C
13. Intuitionistic Description Logic for Legal Reasoning
A Case Analysis
Using iALC to formalize Conflict of Laws in Space
A Case Study
Peter and Maria signed a renting contract. The subject of the contract
is an apartment in Rio de Janeiro. The contract states that any dispute will
go to court in Rio de Janeiro. Peter is 17 and Maria is 20. Peter lives in
Edinburgh and Maria lives in Rio.
Only legally capable individuals have civil obligations:
PeterLiable ContractHolds@RioCourt, shortly, pl cmp
MariaLiable ContractHolds@RioCourt, shortly, ml cmp
Concepts, nominals and their relationships
BR is the collection of Brazilian Valid Legal Statements
SC is the collection of Scottish Valid Legal Statements
PILBR is the collection of Private International Laws in Brazil
ABROAD is the collection of VLS outside Brazil
LexDomicilium is a legal connection:
Legal Connections The pair pl, pl is in LexDomicilium
14. Intuitionistic Description Logic for Legal Reasoning
A Case Analysis
Non-Logical Axiom Sequents
The sets ∆, of concepts, and Ω, of iALC sequents representing the
knowledge about the case
ml : BR pl : SC pl cmp
∆=
ml cmp pl LexDom pl
PILBR ⇒ BR
Ω= SC ⇒ ABROAD
∃LexDom.ABROAD ∃Lexk .Lk . . . ⇒ PILBR
16. Intuitionistic Description Logic for Legal Reasoning
Related approaches
Related approaches
Deontic Logic (since von Wright 1951, Mally 1926).
PSPACE-complete: SDL (KD and KDn ), GDL (NSDL and PSDL)
and Propositional − BOID Undecidable: LORA, BOID and all
FOL versions of KD and its extensions. Limited to deal with
contrary-to-duty paradoxes.
Defeasible Logic (Sartor 1991). Complexity goes from
LinearTime (Propositional) to Undecidability of rule applications.
It deals better with contrary-to-duty paradoxes. Is LinearTime
regarding a quite restrict logic language.
iALC PSPACE-complete, non-FOL based ability to express
individuals. Natural precedence can be used detour the
contrary-to-duty paradoxes. Seems to expresses same the way
that dyadic GDL deals with paradoxes.
Defeasible Logic and iALC validate the same VLS, but iALC
cannot express the dynamics of a trial.
17. Intuitionistic Description Logic for Legal Reasoning
Contrary-to-duty paradoxes
Consequence of conflicting norms
It ought to be that Jones go to
the assistance of his neighbours. Ob(φ)
It ought to be that if Jones does go then
he tells them he is coming. Ob(φ → ψ)
If Jones doesn’t go, then
he ought not tell them he is coming. ¬φ → Ob(¬ψ)
Jones doesn’t go. ¬φ
18. Intuitionistic Description Logic for Legal Reasoning
Conclusion and Future Work
Summary of the Approach
Individual Legal Valid Statements are the individuals of the universe.
Concepts are Classes of individual laws.
Roles (relationships) between individual laws denote kinds of Legal
Connections
Subsumptions and Negations are intuitionistically interpreted (iALC)
Does it avoid the constrary-to-duty paradoxes of the Deontic approach?
19. Intuitionistic Description Logic for Legal Reasoning
Conclusion and Future Work
Conclusions
Seems to be adequate to one jurisprudence theory.
Juridic cases can be analyzed in the ABOX.
TBOX describes “The Law”.
is not always specified at the level of the TBOX.
It seems to scale, but there is no empirical evidence.
Is the coherence analysis easier? (PSPACE-complete)
(?) Investigate some “hard juridical cases”.
(?) Can be the kernel of a tool for helping with a judge’s decision (not a
sentence writer!!!)