Une méthodologie automatisée de la logique juridique

Résumé

Le droit est une matière qui se prête très bien au traitement informatique. En effet nous pouvons dans cette discipline identifier deux aspects différents et complémentaires de la même réalité, à savoir l'aspect éthique et l'aspect logique.

Dans cette étude, l'auteur se penche sur l'aspect logique du droit. Pour ce faire, il utilise la logique formelle afin de réduire sous forme de règles la matière portant sur le remboursement des améliorations faites sur l'immeuble d'autrui. Le résultat final en est un d'intelligence artificielle avec la réalisation d'un système expert portant le nom de LEX-A. Celui-ci a été réalisé sur ordinateur Macintosh et utilise le langage de programmation PROLOG.

Abstract

Law is a subject matter that lends itself well to data processing. Indeed, it is a discipline in which we can identify the two distinctive and complementary aspects of one reality : the ethical and the logical aspects.

In this study, as the ethical question has been settled beforehand, the author delves into the logical aspect of law. To do so, he uses formal logic so as to reduce to logical rules the data related to the refunding of improvements made to a third party's building. The final result is one of artificial intelligence with the realization of an expert system bearing the name LEX-A. It was developed on a Macintosh computer and uses the PROLOG programming language.