Loom es un lenguaje de representación del conocimiento desarrollado por investigadores del grupo de investigación de inteligencia artificial del Instituto de Ciencias de la Información de la Universidad del Sur de California . El líder del proyecto Loom y arquitecto principal de Loom fue Robert MacGregor. La investigación fue patrocinada principalmente por la Agencia de Proyectos de Investigación Avanzada de Defensa (DARPA).
Loom es un lenguaje basado en marcos en la tradición de KL-ONE . [1] Al igual que con KL-ONE, Loom tiene una semántica formal que asigna declaraciones en Loom a declaraciones en teoría de conjuntos y lógica de primer orden . Esta semántica formal habilita un tipo de motor de demostración de teoremas llamado clasificador. El clasificador puede analizar modelos de Loom (conocidos como ontologías ) y deducir varias cosas sobre el modelo. Por ejemplo, el clasificador puede descubrir nuevas clases o cambiar las relaciones de subclase/superclase en el modelo. El clasificador también puede detectar inconsistencias en la declaración del modelo. Esta es una capacidad muy poderosa y bastante inusual en el sentido de que es capaz de realizar análisis a nivel de ontología, el nivel de declaraciones, en lugar de a nivel de implementación como lo hacen la mayoría de los motores de inferencia.
El objetivo del proyecto Loom es el desarrollo y puesta en marcha de herramientas avanzadas para la representación del conocimiento y el razonamiento en inteligencia artificial. Específicamente para permitir que se genere código a partir de modelos de dominio demostrablemente válidos.
Loom es un lenguaje y un entorno para construir aplicaciones inteligentes. En esencia, hay un sistema de razonamiento y representación del conocimiento que combina un lenguaje basado en marcos con un motor clasificador automático. El conocimiento declarativo en Loom consta de definiciones, reglas, hechos y reglas predeterminadas. Un motor deductivo llamado clasificador utiliza tecnologías de encadenamiento directo , unificación semántica y mantenimiento de la verdad orientada a objetos para compilar el conocimiento declarativo en una red diseñada para soportar eficientemente el procesamiento deductivo de consultas en línea. [2]
El sistema Loom implementa un comparador de patrones basado en lógica que impulsa una función de reglas de producción y una función de distribución de métodos dirigidos por patrones que admite la definición de métodos orientados a objetos . El alto grado de integración entre los componentes declarativos y procesales de Loom permite a los programadores utilizar programación lógica, reglas de producción y paradigmas de programación orientada a objetos en una sola aplicación. Loom también se puede utilizar como capa deductiva que se superpone a una red CLOS (Common Lisp Object System) ordinaria. En este modo, los usuarios pueden obtener muchos de los beneficios de usar Loom sin afectar la función o el rendimiento de sus aplicaciones basadas en CLOS.
PowerLoom ha reemplazado recientemente a Loom. [3]