Resumo

MANSILLA, Andrés. Apuntes para la formalización de una teoría de autómatas judiciales. Inter disciplina [online]. 2022, vol.10, n.27, pp.271-288.  Epub 03-Out-2022. ISSN 2448-5705.  https://doi.org/10.22201/ceiich.24485705e.2022.27.82155.

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.

Palavras-chave : estado de derecho; teoría de autómatas; procesos judiciales; sistemas de entrada y salida.