La formalizacio?n del razonamiento juri?dico y, especi?ficamente, de la interpretacio?n es un viejo suen?o de nuestra cultura. Hoy, la Inteligencia Artificial parece lista para cumplir esa tarea. Teo?ricos computacionales y lo?gicos esta?n desarrollando herramientas te?cnicas para estructurar modelos formales de interpretacio?n juri?dica u?tiles para la Inteligencia Artificial. Sin embargo, estos esfuerzos han conseguido so?lo formalizaciones abstractas, que no son capaces de resolver cuestiones materiales sobre la respuesta correcta ante un caso nuevo. Los algoritmos no pueden descubrir, ni evaluar, problemas humanos sin la ayuda de programadores; no pueden decidir entre hipo?tesis interpretativas alternativas; en fin, la Inteligencia Artificial no puede cumplir con las exigencias de la razo?n pra?ctica en el derecho.
The formalization of legal reasoning and, specifically, of legal interpretation is an old dream of our culture. Today, Artificial Intelligence seems ready to comply with this task. Computational theorist and logicians are developing technical tools to structure formal models of legal interpretations useful to IA. However, these efforts have reached only abstract formalizations, but these do not have capabilities to resolve material questions about the correct answer in front of a new case. Algorithms cannot discover, nor evaluate, human problems without the help of programmers; they cannot decide between alternative interpretive hypothesis. At last, IA can not comply with exigencies of practical reason in law.