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 originale | Anglais |
---|---|
titre | Proceedings of the 4th International Conference on Artificial Intelligence and Law, ICAIL 1993 |
Editeur | ACM Press |
Pages | 272-281 |
Nombre de pages | 10 |
Volume | Part F127196 |
ISBN (Electronique) | 0897916069, 9780897916066 |
Les DOIs | |
Etat de la publication | Publié - 1 août 1993 |
Evénement | 4th International Conference on Artificial Intelligence and Law, ICAIL 1993 - Amsterdam, Pays-Bas Durée: 15 juin 1993 → 18 juin 1993 |
Une conférence
Une conférence | 4th International Conference on Artificial Intelligence and Law, ICAIL 1993 |
---|---|
Pays/Territoire | Pays-Bas |
La ville | Amsterdam |
période | 15/06/93 → 18/06/93 |