Towards the Formalization of Contradictions in a Legal Multiagent System
Abstract As existing legal systems expand and become more complex, the search of effective ways to model them becomes increasingly important in the area of Computational Law. We chose normative multiagent systems (NMAS) to study the interaction between a legal framework, a set of agents and the fundamental theories that regulate the legal dynamics of a society. Using this approach in conjunction with Computational Tree Logic (CTL), we determined that there is an increasing possibility of encountering contradictions inside complex legal systems, which in turn could undermine their purposes. We consider that contradictions are the fundamental units to take into account when diagnosing a legal system, and we classify them into several kinds according to the system structure they affect. Finally, we point to the direction of research needed for the development of intelligent agents capable of targeting contradictions.