Asociados de Programación Lógica

Logic Programming Associates ( LPA ) es una empresa especializada en software de programación lógica e inteligencia artificial . LPA fue fundada en 1980 ^{[ 1 ]} y es ampliamente conocida por su gama de compiladores Prolog , el kit de herramientas del sistema experto Flex y, más recientemente, VisiRule .

LPA se creó para aprovechar la investigación sobre programación lógica realizada en el Departamento de Informática y Control del Imperial College de Londres bajo la supervisión del profesor Robert Kowalski .

Una de las primeras implementaciones de Prolog disponibles por LPA fue micro-PROLOG ^{[ 2 ]} que se ejecutaba en computadoras domésticas populares de 8 bits como el Sinclair ZX Spectrum ^{[ 3 ] [ 4 ]} y Apple II .

Al intérprete micro-PROLOG de 8 bits le siguió pronto micro-PROLOG Professional, una de las primeras implementaciones de Prolog para el IBM PC con MS-DOS . micro-PROLOG Professional podía acceder a toda la memoria de 640 KB disponible en MS-DOS y, por lo tanto, gestionar programas mucho más grandes.

En 1985, LPA lanzó LPA MacProlog, que funcionaba en los ordenadores MacPlus y Mac II , los cuales podían acceder a hasta 4 MB de memoria. Posteriormente, Quintus cedió la licencia de MacProlog para su redistribución en Estados Unidos.

En 1989, LPA comenzó a trabajar en un nuevo compilador de Prolog de 32 bits que podía utilizar la tecnología de extensión de DOS para acceder a hasta 4 GB de memoria.

Esto se convirtió en la base de LPA Prolog para Windows, también conocido como WIN-PROLOG, ^{[ 5 ]} que luego se lanzó para Windows 3.0 en 1990.

El producto principal de LPA para Prolog es LPA Prolog para Windows , ^{[ 6 ]} un compilador y sistema de desarrollo para la plataforma Microsoft Windows. La gama actual de software de LPA comprende un conjunto integrado de herramientas de IA que abarca diversos aspectos de la Inteligencia Artificial, incluyendo Programación Lógica, Sistemas Expertos , Sistemas Basados ​​en el Conocimiento , Minería de Datos, Agentes y Razonamiento Basado en Casos, etc.

Además de continuar con el desarrollo de la tecnología del compilador Prolog, LPA cuenta con un historial de creación de herramientas y productos innovadores asociados para abordar desafíos y oportunidades específicos.

En 1989, en respuesta al creciente interés por los sistemas expertos y la aparición de productos como Crystal, GoldWorks y NExpert, LPA desarrolló el conjunto de herramientas de sistemas expertos Flex , que incorporaba razonamiento basado en marcos con herencia, programación basada en reglas y procedimientos basados ​​en datos. Flex tiene su propio lenguaje de especificación de conocimiento (KSL) similar al inglés, lo que significa que el conocimiento y las reglas se definen de una manera fácil de leer y comprender. ^{[ 7 ]}

LPA ofrecía soporte para Flex en ordenadores Windows, DOS y Macintosh, como un conjunto de herramientas complementarias a sus diversos sistemas LPA Prolog, lo que permitió a LPA entrar en el entonces dinámico mercado de reglas de sistemas expertos.

Flex se estableció rápidamente como el principal conjunto de herramientas de sistemas expertos basados ​​en Prolog y se licenció a otros proveedores de Prolog en otras plataformas de hardware, incluyendo Telecomputing Plc para complementar Top One en mainframes de IBM e ICL. ^{[ 8 ]}

Otras implementaciones incluían Quintec-Flex, Quintus Flex, Poplog Flex y BIM Flex, que se ejecutaban en plataformas Unix y/o Vax/VMS.

POPLOG-Flex se utilizó para construir BRAND EVALUATOR, un sistema experto para ayudar a los especialistas en marcas a evaluar el valor de los productos de marca ^{[ 9 ].}

Quintec-Flex se utilizó para construir un sistema híbrido para el análisis/diseño dinámico no lineal de muros de corte acoplados ^{[ 10 ].}

Flex fue adoptado por la Open University como parte de su curso T396, "Inteligencia artificial para la tecnología" ^{[ 11 ]} que fue diseñado por el profesor Adrian Hopgood. Parte del material didáctico ahora está disponible en su sitio web AI tookit .

Flex también fue utilizado por David A. Ferrucci y Selmer Bringsjord en su máquina de contar historias, BRUTUS. ^{[ 12 ]}

En 1992, LPA ayudó a establecer el Prolog Vendors Group, ^{[ 13 ]} una organización sin fines de lucro cuyo objetivo era ayudar a promover Prolog haciendo que la gente conociera su uso en la industria.

Entre 1996 y 1998, basándose en un trabajo cofinanciado mediante una beca DTI Smart, LPA desarrolló ScaffoldIT, ^{[ 14 ] [ 15 ]} una herramienta para la creación de documentos dinámicos y sitios web inteligentes. Esta tecnología, desarrollada con el motor LPA Prolog y el servidor ProWeb asociado, permitía generar documentos complejos y personalizados, como resúmenes de pólizas de seguros, contratos legales y propuestas de venta complejas, a través de la web.

En 1999/2000, LPA ayudó a fundar Business Integrity Ltd, una empresa conjunta con Tarlo-Lyons, para comercializar la tecnología de ensamblaje de documentos mencionada anteriormente. Este producto se convirtió posteriormente en Contract Express . Contract Express se popularizó enormemente entre los grandes bufetes de abogados y se comercializó en todo el mundo para uso interno y externo.

A los socios y directores jurídicos les gustó Contract Express porque los abogados podían automatizar y actualizar sus plantillas legales en Word de forma rápida y precisa, sin necesidad de que los especialistas en TI las convirtieran en programas.

Como resultado del éxito comercial de Contract Express, BIL fue adquirida por Thomson Reuters en 2015. ^{[ 16 ]}

Los primeros días de BIL son descritos aquí por Clive Spenser. ^{[ 17 ]}

En 2004, LPA lanzó VisiRule ^{[ 18 ],} una herramienta gráfica para desarrollar sistemas basados ​​en el conocimiento y de apoyo a la toma de decisiones. VisiRule se describió en IEEE Potentials en 2007 (véase Aprovechando el conocimiento con VisiRule ):

VisiRule se ha utilizado en diversos sectores para crear sistemas expertos legales , programas de diagnóstico de máquinas, sistemas de asesoramiento médico y financiero, etc.

En 2013, VisiRule se incorporó al Sistema de Apoyo a la Toma de Decisiones para la Gestión de Ecosistemas (EMDS), donde se ha utilizado para mejorar las capacidades de apoyo a la toma de decisiones . EMDS integra sistemas de información geográfica (SIG) de última generación , así como tecnologías de programación lógica y modelado de decisiones en múltiples plataformas (Windows, Linux, Mac OS X) para brindar apoyo a la toma de decisiones en una parte sustancial del proceso de gestión adaptativa de los ecosistemas . EMDS es utilizado, ampliado, respaldado y mantenido activamente por Mountain View Business Group (para un análisis más detallado de EMDS, consulte el artículo en Frontiers in Environmental Science ).

En 2023, VisiRule fue catalogado como uno de los 5 mejores programas de apoyo a la toma de decisiones para grandes empresas en 2024. ^{[ 19 ]}

Durante muchos años, LPA ha colaborado estrechamente con Valdis Krebs , investigador, autor y consultor estadounidense-letón especializado en el análisis de redes sociales y organizacionales. Valdis es el fundador y científico jefe de Orgnet, y el creador del popular paquete de software Inflow ^{[ 20 ]} .

Se utilizaron LPA Prolog y Flex para crear Allergenius, un sistema experto para la interpretación de resultados de microarrays de alérgenos. Las reglas que representan la base de conocimiento (BC) se derivaron de la literatura y bases de datos especializadas. Los datos de entrada incluyeron la identificación del paciente y la(s) enfermedad(es), los resultados de una prueba cutánea de punción o ensayos de IgE específicos y los resultados de ISAC. La salida fue un informe médico. ^{[ 21 ]}

• Página principal de LPA
• Acerca de LPA en el sitio web de VisiRule
• Micro-PROLOG (en español)
• Aspectos de la historia de PROLOG
• Demostraciones de VisiRule
• VisiRule: una nueva herramienta gráfica para reglas de negocio de LPA
• Un sistema experto flexible para el soporte de plantas de tratamiento de aguas residuales
• ESSE: Un sistema experto para la evaluación de software
• LPA ofrece una gama de herramientas de desarrollo de software tanto para programadores como para personas sin conocimientos de programación.