Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Similares en SciELO
Compartir
Inter disciplina
versión On-line ISSN 2448-5705versión impresa ISSN 2395-969X
Resumen
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-Oct-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.
Palabras llave : estado de derecho; teoría de autómatas; procesos judiciales; sistemas de entrada y salida.