Logic Programming Associates ( LPA ) es una empresa especializada en programación lógica y software de inteligencia artificial . LPA se fundó 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 del Departamento de Computación y Control del Imperial College de Londres sobre programación lógica realizada bajo la supervisión del profesor Robert Kowalski .
Una de las primeras implementaciones de Prolog que LPA puso a disposición fue micro-PROLOG [2] , que se ejecutaba en computadoras domésticas populares de 8 bits, como Sinclair ZX Spectrum [3] y Apple II .
Uno de los primeros casos de uso de Prolog fue en el área legal, concretamente, la Ley de Nacionalidad Británica.
Lance Elliot escribió: "La Ley de Nacionalidad Británica se aprobó en 1981 y poco después se utilizó como un medio para mostrar la eficacia del uso de técnicas y tecnologías de Inteligencia Artificial (IA), con el fin de explorar cómo las leyes recientemente promulgadas en ese momento El derecho podría codificarse en una formalización computarizada basada en la lógica. Un artículo de investigación ahora citado con frecuencia titulado “La Ley de Nacionalidad Británica como programa lógico” se publicó en 1986 en la prestigiosa Communication of the ACM y posteriormente se convirtió en un sello distintivo para trabajos posteriores en La IA y la ley." [4]
Puede acceder a este trabajo de investigación tan anunciado aquí. [5]
Al intérprete micro-PROLOG de 8 bits pronto le siguió micro-PROLOG Professional, una de las primeras implementaciones de Prolog para los 'nuevos' IBM Pcs de 16 bits que ejecutan MS-DOS . micro-PROLOG Professional podría acceder a toda la memoria de 640 K disponible en MS-DOS y, por lo tanto, gestionar programas mucho más grandes
En 1985, LPA lanzó LPA MacProlog que se ejecutaba en computadoras MacPlus y Mac II y podía acceder a hasta 4 Mb de memoria. Posteriormente, MacProlog obtuvo la licencia de Quintus para su redistribución en los EE. UU.
En 1989, LPA comenzó a trabajar en un nuevo compilador Prolog de 32 bits que podía utilizar 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, que luego se lanzó para Windows 3.0 en 1990.
El producto principal Prolog de LPA es LPA Prolog para Windows, [6] un compilador y sistema de desarrollo para la plataforma Microsoft Windows. La gama actual de software LPA comprende un conjunto de herramientas de IA integrado que cubre varios aspectos de la Inteligencia Artificial , incluida la programación lógica, los sistemas expertos , los sistemas basados en el conocimiento , la minería de datos, los agentes y el razonamiento basado en casos , etc.
Además de continuar con el desarrollo de la tecnología del compilador Prolog, LPA tiene un historial de creación de herramientas y productos asociados innovadores para abordar desafíos y oportunidades específicos.
En 1989, en respuesta al aumento del interés en los sistemas expertos y la aparición de productos como Crystal, GoldWorks, NExpert, LPA desarrolló el conjunto de herramientas del sistema experto Flex, que incorporaba razonamiento basado en marcos con herencia, programación basada en reglas y procesamiento de datos. procedimientos impulsados. Flex tiene su propio lenguaje de especificación de conocimientos (KSL), similar al inglés, lo que significa que los conocimientos y las reglas se definen de una manera fácil de leer y comprender. [7]
LPA admitió Flex en PC con Windows, DOS y Macintosh, como un conjunto de herramientas complementario a sus diversos sistemas LPA Prolog y permitió a LPA ingresar al entonces rápido y vibrante mercado de reglas de sistemas expertos.
Flex se estableció rápidamente como el conjunto de herramientas líder del sistema experto basado en Prolog y se concedió licencia a otros proveedores de Prolog en otras plataformas de hardware, incluida Telecomputing Plc, para complementar Top One en mainframes IBM e ICL. [8]
Otras implementaciones incluyeron Quintec-Flex, Quintus Flex, Poplog Flex y BIM Flex, todas ejecutadas en plataformas Unix y/o Vax/VMS.
POPLOG-Flex se utilizó para crear BRAND EVALUATOR, un sistema experto para ayudar a los especialistas de marcas a evaluar el valor de los productos de marca [9]
Se utilizó Quintec-Flex 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 ya está disponible en su sitio web AI takeit.
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 crear Prolog Vendors Group, [13] una organización sin fines de lucro cuyo objetivo era ayudar a promover Prolog concienciando a la gente sobre su uso en la industria.
Entre 1996 y 1998, basándose en un trabajo cofinanciado a través de un premio DTI Smart, LPA desarrolló ScaffoldIT, [14] [15] una herramienta para crear documentos dinámicos y sitios web inteligentes. Esta tecnología, creada utilizando el motor LPA Prolog y el servidor ProWeb asociado, pudo generar documentos complejos y personalizados, como cronogramas de pólizas de seguros, contratos legales y propuestas de ventas complejas, a través de la Web.
En 1999/2000, LPA ayudó a crear Business Integrity Ltd, como una empresa conjunta con Tarlo-Lyons, para llevar al mercado la tecnología de ensamblaje de documentos antes mencionada. Este producto finalmente se convirtió en Contract Express . Contract Express se hizo muy popular entre las grandes firmas de abogados y se vendió en todo el mundo para uso interno y externo.
A los socios y GC les gustó Contract Express porque los abogados pudieron automatizar y actualizar de manera rápida y precisa sus plantillas legales en Word sin necesidad de que los especialistas de TI las convirtieran en programas.
Como resultado del éxito comercial de Contract Express, Thomson Reuters adquirió BIL en 2015. [16]
Clive Spenser describe aquí los primeros días de BIL. [17]
En 2004, LPA lanzó VisiRule [18], una herramienta gráfica para desarrollar sistemas de apoyo a la toma de decisiones y basados en el conocimiento. VisiRule se describió en IEEE Potentials en 2007 (consulte Aprovechando sus conocimientos con VisiRule):
VisiRule se ha utilizado en diversos sectores para crear sistemas expertos legales , programas de diagnóstico automático, sistemas de asesoramiento médico y financiero, etc. [ cita necesaria ]
En 2013, VisiRule se incorporó al Soporte de decisiones de gestión de ecosistemas (EMDS), donde se ha utilizado para proporcionar capacidades mejoradas de soporte de decisiones . EMDS integra sistemas de información geográfica (GIS) 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 soporte a las decisiones para una parte sustancial del proceso de gestión adaptativa de manejo de ecosistemas . EMDS es utilizado, ampliado, respaldado y mantenido activamente por Mountain View Business Group (para una repetición detallada de EMDS, consulte el artículo en Frontiers in Environmental Science).
En 2023, VisiRule fue catalogado como uno de los cinco mejores software de apoyo a la toma de decisiones para grandes empresas en 2024. [19]
Durante muchos años, LPA ha trabajado estrechamente con Valdis Krebs , un investigador, autor y consultor estadounidense-letón en el campo del 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 conocimientos (KB) se derivaron de la literatura y de bases de datos especializadas. Los datos de entrada incluyeron la identificación del paciente y su(s) enfermedad(es), los resultados de una prueba cutánea o de ensayos de IgE específicos y resultados de ISAC. El resultado fue un informe médico. [21]