Authors
Pierre-Yves Schobbens
Publication date
1993/8/1
Book
Proceedings of the 4th international conference on Artificial intelligence and law
Pages
272-281
Description
The theory of non-monotonic reasoning has interesting applications for 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.
Total citations
Scholar articles
PY Schobbens - Proceedings of the 4th international conference on …, 1993