Representación del conocimiento jurídico en programación lógica y su aplicación a la toma de decisión en el derecho penal

Laburpena

Se realiza una maqueta de Sistema Experto Jurídico, mediante una representación del conocimiento, en la que ,tras modelar la tarea de juzgar, y como medio de reducir la arbitrariedad judicial, se aplica la probabilidad subjetiva o bayesiana y la lógica borrosa a la valoración de la prueba, la programación lógica (PROLOG) a la aplicación del derecho formalizando los preceptos penales que tipifican los delitos de homicidio, asesinato y homicidio imprudente, y de nuevo la lógica fuzzy a la graduación de la pena, realizando refinamientos como el tiempo de cumplimiento como variable discreta, Se modeliza una sentencia real en los citados tres aspectos (prueba, normas penales y pena). Se obtienen como conclusiones la conveniencia de aplicar métodos formales para aumentar la seguridad jurídica en la aplicación del Derecho Penal, continuando con la tradición derivada de la codificación.