Resumen de 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
Angel Rafael Sanchez Soria
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.
