Skip to main content Skip to main navigation menu Skip to site footer
  • Register
  • Login
  • Language
    • English
    • Język Polski
  • Menu
  • Home
  • Current
  • Archives
  • Online First Articles
  • About
    • About the Journal
    • Submissions
    • Editorial Team
    • Advisory Board
    • Peer Review Process
    • Logic and Logical Philosophy Committee
    • Open Access Policy
    • Privacy Statement
    • Contact
  • Register
  • Login
  • Language:
  • English
  • Język Polski

Logic and Logical Philosophy

A meta-interpreter based on paraconsistent legal knowledge engineering
  • Home
  • /
  • A meta-interpreter based on paraconsistent legal knowledge engineering
  1. Home /
  2. Archives /
  3. No. 9 (2001) /
  4. Articles

A meta-interpreter based on paraconsistent legal knowledge engineering

Authors

  • Jair Minoro Abe Universidade Paulista, São Paulo
  • Leonardo Pujatti Universidade Paulista, São Paulo

DOI:

https://doi.org/10.12775/LLP.2001.008

Keywords

paraconsistent annotated deontic logic, paraconsistent legal knowledge engineering

Abstract

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.

Author Biographies

Jair Minoro Abe, Universidade Paulista, São Paulo

Dept. of Informatics

Leonardo Pujatti, Universidade Paulista, São Paulo

ICET – UNIP

References

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.

Downloads

  • PDF

Published

2004-01-19

How to Cite

1.
ABE, Jair Minoro and PUJATTI, Leonardo. A meta-interpreter based on paraconsistent legal knowledge engineering. Logic and Logical Philosophy. Online. 19 January 2004. Vol. 9, no. 9, pp. 129-136. [Accessed 6 July 2025]. DOI 10.12775/LLP.2001.008.
  • ISO 690
  • ACM
  • ACS
  • APA
  • ABNT
  • Chicago
  • Harvard
  • IEEE
  • MLA
  • Turabian
  • Vancouver
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

No. 9 (2001)

Section

Articles

Stats

Number of views and downloads: 556
Number of citations: 0

Crossref
Scopus
Google Scholar
Europe PMC

Search

Search

Browse

  • Browse Author Index
  • Issue archive

User

User

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo

Information

  • For Readers
  • For Authors
  • For Librarians

Newsletter

Subscribe Unsubscribe

Language

  • English
  • Język Polski

Tags

Search using one of provided tags:

paraconsistent annotated deontic logic, paraconsistent legal knowledge engineering
Up

Akademicka Platforma Czasopism

Najlepsze czasopisma naukowe i akademickie w jednym miejscu

apcz.umk.pl

Partners

  • Akademia Ignatianum w Krakowie
  • Akademickie Towarzystwo Andragogiczne
  • Fundacja Copernicus na rzecz Rozwoju Badań Naukowych
  • Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
  • Instytut Kultur Śródziemnomorskich i Orientalnych PAN
  • Instytut Tomistyczny
  • Karmelitański Instytut Duchowości w Krakowie
  • Ministerstwo Kultury i Dziedzictwa Narodowego
  • Państwowa Akademia Nauk Stosowanych w Krośnie
  • Państwowa Akademia Nauk Stosowanych we Włocławku
  • Państwowa Wyższa Szkoła Zawodowa im. Stanisława Pigonia w Krośnie
  • Polska Fundacja Przemysłu Kosmicznego
  • Polskie Towarzystwo Ekonomiczne
  • Polskie Towarzystwo Ludoznawcze
  • Towarzystwo Miłośników Torunia
  • Towarzystwo Naukowe w Toruniu
  • Uniwersytet im. Adama Mickiewicza w Poznaniu
  • Uniwersytet Komisji Edukacji Narodowej w Krakowie
  • Uniwersytet Mikołaja Kopernika
  • Uniwersytet w Białymstoku
  • Uniwersytet Warszawski
  • Wojewódzka Biblioteka Publiczna - Książnica Kopernikańska
  • Wyższe Seminarium Duchowne w Pelplinie / Wydawnictwo Diecezjalne „Bernardinum" w Pelplinie

© 2021- Nicolaus Copernicus University Accessibility statement Shop