A meta-interpreter based on paraconsistent legal knowledge engineering

Jair Minoro Abe, Leonardo Pujatti

DOI: http://dx.doi.org/10.12775/LLP.2001.008


The Legal Knowledge Engineering is a new topic of investigation of Artificial Intelligence. This paper discusses some relevant problems related to this new area in a summarized way. Within the Normative Law Theory, one question that arises naturally is that of contradiction, like for example: articles conflicting with other articles inside the same code, codes conflicting with codes, codes conflicting with jurisprudence, and in general, treatments with conflicting propositions in Normative Law Theory. This paper suggests to treat directly inconsistencies in the Legal Knowledge Engineering; this engineering has as underlying logic a paraconsistent annotated deontic logic. There are three main approximations in Legal Knowledge Engineering based on: cases, rules and logic. In this paper, we consider the approximation based on logic. It is considered a paraconsistent annotated deontic logic. Based on this logic, it is established a new proposal that is called Paraconsistent Legal Knowledge Engineering. For this proposal, it it is suggested a meta-interpreter to support the deontic operators as well as inconsistency — entitled on this paper Paralog D that can be used as a base to handle with the issues discussed.


paraconsistent annotated deontic logic; paraconsistent legal knowledge engineering

Full Text:



Abe, J.M.: Fundamentos da lógica anotada, (Foundations of annotated logics), in Portuguese, Ph.D. thesis, University of Sao Paulo, Sao Paulo, 135 p, 1992.

Abe, J.M. On annotated modal logic. Math. Japon. 40 (1994), no. 3, 553–560.

Alchourrón, C., Bulygin, E.: The expressive conception of norms. In R. Hilpinen, editor, New Studies in Deontic Logic, pages 123–148. D. Reidel. 1981.

Ávila, B.C., J.M. Abe & J.P.A. Prado, ParaLog-e: A Paraconsistent Evidential Logic Programming Language, XVII International Conference of the Chilean Computer Science Society, IEEE Computer Society Press, pp. 2–8, Valparaíso, Chile, Novembro, 1997.

Cerro, L., F. Molog: A system that extends Prolog with modal logic. The New Generation Computer Journal 4. pp. 35–30, 1986.

Cerro, L., F. Molog: A tool for non-classical logic programming. Internet. IRIT. 1995.

Da Costa, N.C.A., J.M. Abe, and V.S. Subrahmanian, 1991, Remarks on annotated logic, Zeitschr. f. Math. Logik und Grundlagen d. Math. 37: 561–570.

Kelsen, H: General Theory of Norms. Clarendon Press, Oxford.

Lemmon, E.J.: Moral dilemmas. Philosophical Review 71: 139–158, 1962.

Lemmon, E.J.: Deontic logic and the logic of imperatives. Logique et Analyse 6: 39–61, 1965.

Maccarthy, T.: A language for legal discourse I. Basic structures. In Proc. of the second international conference on AI and Law, pages 180–189, Vancouver, ACM, 1989.

Raz, J.: Legal principles and the limits of law. The Yale Law Journal 81: 823–854.

Rescher, N.: Topics in philosophical logic. D. Reidel Pub. Co., Dordrecht, Holland, 1968.

Schereiber, G., et al.: A principal approach to knowledge-based system development. Academic Press, The Netherlands, 1993.

Sergot, M.: The representation of law in computer programs: a survey and comparison of past and current projects. In T. Bench-Capon, editor, Knowledge Based Systems and Legal Applications. Academic Press, 1990.

Subrahmanian, V.S.: On the semantics of quantitative logic programs. Proc. 4th IEEE Symposium on Logic Programming, Computer Society Press, Washington DC, pp. 173–182, 1987.

Valente, A.: Legal Knowledge Engineering. A Modeling Approach. IOS PRESS. The Netherlands, 1995.

Von Wright, G.H.: A note on deontic logic and derived obligation. Mind, 65: 507–509, 1956.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism