Apuntes para la formalización de una teoría de autómatas judiciales

Abstract

La finalidad de este estudio es demostrar la posible automatización del desahogo de los procesos judiciales y en muchos casos de la propia decisión judicial. Por lo que para el cometido de tal propósito debemos establecer y demostrar en primer lugar la predictibilidad del desahogo de los procesos judiciales basado en la necesaria certidumbre jurídica que busca brindar el denominado Estado de derecho. En segundo lugar, demostrar que los procesos judiciales son sistemas abiertos de entradas y salidas, estableciendo a su vez que los valores de entrada y salida de tal sistema son la pretensión de partes y la decisión judicial. Por último, se pasa a describir la configuración de la teoría de autómatas, las demostraciones formales para la construcción de estos y la viabilidad práctica de implementación de un autómata judicial en un sistema jurídico determinado.

The purpose of this study is to demonstrate the possible automation of the judicial processes release and in many cases of the judicial decision itself. Therefore, for the purpose of this task, we must initially establish and demonstrate in the first place the predictability of the development of the judicial processes based on the necessary legal certainty that the rule of law seeks to provide. Second, to demonstrate that judicial processes are input and output systems, establishing in turn that the input and output values of such a system are the claims of the parties and the judicial decision. Finally, going on to describe the configuration of the automaton theory, the formal demonstrations for their construction and the practical feasibility of implementing a judicial automata in each legal system.