Los modelos computacionales en la solución de controversias jurídicas

La finalidad de este estudio es demostrar la posible automatización del desahogo
de los procesos jurídicos y en muchos casos de la propia decisión. Para esto
establecemos y demostramos la predictibilidad del desahogo de los procesos
jurídicos, el hecho de que estos procesos son sistemas abiertos de entradas y
salidas, para finalmente 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 Jurídico Arbitral en un sistema jurídico
determinado para la solución de controversias de carácter privado.
Esto inevitablemente nos conduce a la posibilidad de considerar si será realmente
necesaria la intervención del Estado en determinados procesos jurídicos,
si esta intervención es eficiente para con las relaciones individuales, y si el
curso futuro de los procesos jurídicos esta relacionado de manera alguna con el
aparato estatal y su andamiaje institucional.