A logic for legal hierarchies

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationProceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993
PublisherACM Press
Pages272-281
Number of pages10
VolumePart F127196
ISBN (Electronic)0897916069, 9780897916066
DOIs
Publication statusPublished - 1 Aug 1993
Event4th International Conference on Artificial Intelligence and Law, ICAIL 1993 - Amsterdam, Netherlands
Duration: 15 Jun 199318 Jun 1993

Conference

Conference4th International Conference on Artificial Intelligence and Law, ICAIL 1993
CountryNetherlands
CityAmsterdam
Period15/06/9318/06/93

Fingerprint

Dive into the research topics of 'A logic for legal hierarchies'. Together they form a unique fingerprint.

Cite this