Resumen

MANSILLA, Andrés. Notes for the formalization of a theory of judicial automata. Inter disciplina [online]. 2022, vol.10, n.27, pp.271-288.  Epub 03-Oct-2022. ISSN 2448-5705.  https://doi.org/10.22201/ceiich.24485705e.2022.27.82155.

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.

Palabras llave : rule of law; automaton theory; judicial processes; input and output systems.

        · resumen en Español     · texto en Español     · Español ( pdf )