A logic for legal hierarchies

Pierre Yves Schobbens

doi:10.1145/158976.159010

A logic for legal hierarchies

Pierre Yves Schobbens

Faculty of Computer Science

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

Abstract

The theory of non-monotonic reasoning has interesting applications/or the formalization and automated use of legal concepts, specially: • drawing conclusions from a logically inconsistent, but hierarchic, regulations [1,30]; • similarly, establishing facts from a set of inconsistent testimonies, partially ranked by confidence; • using presumptions (such as the presumption of innocence) in the face of possibly contradictory evidence. In this paper, we use a logic [37, 38], that ranks contradictory formulae using two new paraconsistent variants of conjunction: "but" and "on the other hand". Its algebraic proof theory is presented.

Original language	English
Title of host publication	Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993
Publisher	ACM Press
Pages	272-281
Number of pages	10
Volume	Part F127196
ISBN (Electronic)	0897916069, 9780897916066
DOIs	https://doi.org/10.1145/158976.159010
Publication status	Published - 1 Aug 1993
Event	4th International Conference on Artificial Intelligence and Law, ICAIL 1993 - Amsterdam, Netherlands Duration: 15 Jun 1993 → 18 Jun 1993

Conference

Conference	4th International Conference on Artificial Intelligence and Law, ICAIL 1993
Country/Territory	Netherlands
City	Amsterdam
Period	15/06/93 → 18/06/93

Access to Document

10.1145/158976.159010

Cite this

@inproceedings{b71747db98ae40668482eaa0f9637dc8,

title = "A logic for legal hierarchies",

abstract = "The theory of non-monotonic reasoning has interesting applications/or the formalization and automated use of legal concepts, specially: • drawing conclusions from a logically inconsistent, but hierarchic, regulations [1,30]; • similarly, establishing facts from a set of inconsistent testimonies, partially ranked by confidence; • using presumptions (such as the presumption of innocence) in the face of possibly contradictory evidence. In this paper, we use a logic [37, 38], that ranks contradictory formulae using two new paraconsistent variants of conjunction: {"}but{"} and {"}on the other hand{"}. Its algebraic proof theory is presented.",

author = "Schobbens, {Pierre Yves}",

year = "1993",

month = aug,

day = "1",

doi = "10.1145/158976.159010",

language = "English",

volume = "Part F127196",

pages = "272--281",

booktitle = "Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993",

publisher = "ACM Press",

address = "United States",

note = "4th International Conference on Artificial Intelligence and Law, ICAIL 1993 ; Conference date: 15-06-1993 Through 18-06-1993",

}

TY - GEN

T1 - A logic for legal hierarchies

AU - Schobbens, Pierre Yves

PY - 1993/8/1

Y1 - 1993/8/1

N2 - The theory of non-monotonic reasoning has interesting applications/or the formalization and automated use of legal concepts, specially: • drawing conclusions from a logically inconsistent, but hierarchic, regulations [1,30]; • similarly, establishing facts from a set of inconsistent testimonies, partially ranked by confidence; • using presumptions (such as the presumption of innocence) in the face of possibly contradictory evidence. In this paper, we use a logic [37, 38], that ranks contradictory formulae using two new paraconsistent variants of conjunction: "but" and "on the other hand". Its algebraic proof theory is presented.

AB - The theory of non-monotonic reasoning has interesting applications/or the formalization and automated use of legal concepts, specially: • drawing conclusions from a logically inconsistent, but hierarchic, regulations [1,30]; • similarly, establishing facts from a set of inconsistent testimonies, partially ranked by confidence; • using presumptions (such as the presumption of innocence) in the face of possibly contradictory evidence. In this paper, we use a logic [37, 38], that ranks contradictory formulae using two new paraconsistent variants of conjunction: "but" and "on the other hand". Its algebraic proof theory is presented.

UR - http://www.scopus.com/inward/record.url?scp=85021953833&partnerID=8YFLogxK

U2 - 10.1145/158976.159010

DO - 10.1145/158976.159010

M3 - Conference contribution

AN - SCOPUS:85021953833

VL - Part F127196

SP - 272

EP - 281

BT - Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993

PB - ACM Press

T2 - 4th International Conference on Artificial Intelligence and Law, ICAIL 1993

Y2 - 15 June 1993 through 18 June 1993

ER -

A logic for legal hierarchies

Abstract

Conference

Access to Document

Other files and links

Fingerprint

Cite this