Abstract

The Legal Knowledge Engineering is a new topic of investigationof Artificial Intelligence. This paper discusses some relevant problems relatedto 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 conflictingwith codes, codes conflicting with jurisprudence, and in general, treatmentswith conflicting propositions in Normative Law Theory. This paper suggeststo treat directly inconsistencies in the Legal Knowledge Engineering; thisengineering has as underlying logic a paraconsistent annotated deontic logic.There are three main approximations in Legal Knowledge Engineering basedon: cases, rules and logic. In this paper, we consider the approximationbased 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 ameta-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 withthe issues discussed