A logic for legal hierarchies

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Résumé

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.

langue originaleAnglais
titreProceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993
EditeurACM Press
Pages272-281
Nombre de pages10
VolumePart F127196
ISBN (Electronique)0897916069, 9780897916066
Les DOIs
Etat de la publicationPublié - 1 août 1993
Evénement4th International Conference on Artificial Intelligence and Law, ICAIL 1993 - Amsterdam, Pays-Bas
Durée: 15 juin 199318 juin 1993

Une conférence

Une conférence4th International Conference on Artificial Intelligence and Law, ICAIL 1993
Pays/TerritoirePays-Bas
La villeAmsterdam
période15/06/9318/06/93

Empreinte digitale

Examiner les sujets de recherche de « A logic for legal hierarchies ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation