La informatica juridica

Libros de google

A finales de la década de 1970 y durante los años 80, una importante línea de trabajo sobre la IA y el Derecho consistió en la producción de modelos ejecutables de la legislación, que se originó con TAXMAN de Thorne McCarty[10] y LEGOL de Ronald Stamper[11]. TAXMAN se utilizó para modelar los argumentos de la mayoría y la minoría en un caso de derecho fiscal estadounidense (Eisner contra Macomber), y se implementó en el lenguaje de programación micro-PLANNER. LEGOL se utilizó para proporcionar un modelo formal de las normas y reglamentos que rigen una organización, y se implementó en un lenguaje de reglas de condición-acción del tipo utilizado para los sistemas expertos.

En el contexto de los sistemas multiagente, las normas se han modelado mediante diagramas de transición de estados. A menudo, especialmente en el contexto de las instituciones electrónicas,[37] las normas así descritas son regimentadas (es decir, no pueden ser violadas), pero en otros sistemas también se manejan las violaciones, dando un reflejo más fiel de las normas reales. Para un buen ejemplo de este enfoque, véase Modgil et al.[38]

El derecho se refiere a menudo a cuestiones de tiempo, tanto las relacionadas con el contenido, como los plazos y las fechas límite, como las relacionadas con la propia ley, como el inicio. Se han hecho algunos intentos de modelar estas lógicas temporales utilizando tanto formalismos computacionales como el Cálculo de Eventos[39] y lógicas temporales como la lógica temporal derrotable[40].

Empresas de tecnología jurídica

La inteligencia artificial, en pocas palabras, consiste en enseñar a los ordenadores a «pensar» como lo harían los humanos, utilizando los datos dados y el resultado deseado. Hay muchos tipos diferentes de sistemas que utilizan la IA, desde la publicidad y el marketing hasta las compras o la programación. Estos sistemas de IA, también denominados IA «estrecha», no son lo que mucha gente piensa cuando imagina la inteligencia artificial. Normalmente, lo que viene a la mente son ordenadores de aspecto humano, como los que aparecen en el cine y la televisión, capaces de pensamientos y emociones complejas.

En realidad, la IA se utiliza más a menudo para llevar a cabo tareas específicas que requieren un conjunto de habilidades muy concentradas, y la IA permite a un programador «enseñar» a un ordenador a realizar estas tareas especializadas de forma extremadamente competente.

La IA se utiliza a menudo para cosas como la navegación, el análisis de grandes conjuntos de datos, la organización y el ordenamiento del inventario y otras tareas que consumen mucho tiempo y son tediosas. La IA también puede utilizarse para traducir el lenguaje hablado o escrito, y ayudar a tomar decisiones determinando los resultados probables. La IA es utilizada por una gran variedad de industrias, así como por individuos.

Libro de informática jurídica

A finales de los años 70 y a lo largo de los 80, una importante línea de trabajo sobre la IA y el Derecho consistió en la producción de modelos ejecutables de la legislación, que se originó con TAXMAN de Thorne McCarty[10] y LEGOL de Ronald Stamper[11]. TAXMAN se utilizó para modelar los argumentos de la mayoría y la minoría en un caso de derecho fiscal estadounidense (Eisner contra Macomber), y se implementó en el lenguaje de programación micro-PLANNER. LEGOL se utilizó para proporcionar un modelo formal de las normas y reglamentos que rigen una organización, y se implementó en un lenguaje de reglas de condición-acción del tipo utilizado para los sistemas expertos.

En el contexto de los sistemas multiagente, las normas se han modelado mediante diagramas de transición de estados. A menudo, especialmente en el contexto de las instituciones electrónicas,[37] las normas así descritas son regimentadas (es decir, no pueden ser violadas), pero en otros sistemas también se manejan las violaciones, dando un reflejo más fiel de las normas reales. Para un buen ejemplo de este enfoque, véase Modgil et al.[38]

El derecho se refiere a menudo a cuestiones de tiempo, tanto las relacionadas con el contenido, como los plazos y las fechas límite, como las relacionadas con la propia ley, como el inicio. Se han hecho algunos intentos de modelar estas lógicas temporales utilizando tanto formalismos computacionales como el Cálculo de Eventos[39] y lógicas temporales como la lógica temporal derrotable[40].

Soluciones tecnológicas legales

A finales de los años 70 y a lo largo de los 80, una importante línea de trabajo sobre la IA y el Derecho consistió en la producción de modelos ejecutables de la legislación, que se originó con TAXMAN de Thorne McCarty[10] y LEGOL de Ronald Stamper[11]. TAXMAN se utilizó para modelar los argumentos de la mayoría y la minoría en un caso de derecho fiscal estadounidense (Eisner contra Macomber), y se implementó en el lenguaje de programación micro-PLANNER. LEGOL se utilizó para proporcionar un modelo formal de las normas y reglamentos que rigen una organización, y se implementó en un lenguaje de reglas de condición-acción del tipo utilizado para los sistemas expertos.

En el contexto de los sistemas multiagente, las normas se han modelado mediante diagramas de transición de estados. A menudo, especialmente en el contexto de las instituciones electrónicas,[37] las normas así descritas son regimentadas (es decir, no pueden ser violadas), pero en otros sistemas también se manejan las violaciones, dando un reflejo más fiel de las normas reales. Para un buen ejemplo de este enfoque, véase Modgil et al.[38]

El derecho se refiere a menudo a cuestiones de tiempo, tanto las relacionadas con el contenido, como los plazos y las fechas límite, como las relacionadas con la propia ley, como el inicio. Se han hecho algunos intentos de modelar estas lógicas temporales utilizando tanto formalismos computacionales como el Cálculo de Eventos[39] y lógicas temporales como la lógica temporal derrotable[40].