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 ya que es capaz de hacer 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 la aplicación de herramientas avanzadas para la representación y el razonamiento del conocimiento en inteligencia artificial. En concreto, permitir la generación de código a partir de modelos de dominio cuya validez se pueda demostrar.
Loom es un lenguaje y un entorno para construir aplicaciones inteligentes. En su núcleo se encuentra un sistema de representación y razonamiento de conocimiento que combina un lenguaje basado en Frame con un motor de clasificación automática. El conocimiento declarativo en Loom consta de definiciones, reglas, hechos y reglas predeterminadas. Un motor deductivo llamado clasificador utiliza tecnologías de encadenamiento hacia adelante , unificación semántica y mantenimiento de la verdad orientada a objetos para compilar el conocimiento declarativo en una red diseñada para soportar de manera eficiente el procesamiento de consultas deductivas en línea. [2]
El sistema Loom implementa un comparador de patrones basado en lógica que controla una función de reglas de producción y una función de envío 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 procedimentales de Loom permite a los programadores utilizar paradigmas de programación lógica, reglas de producción y programación orientada a objetos en una sola aplicación. Loom también se puede utilizar como una capa deductiva que se superpone a una red CLOS (Sistema de objetos Common Lisp) ordinaria. En este modo, los usuarios pueden obtener muchos de los beneficios de utilizar Loom sin afectar la función o el rendimiento de sus aplicaciones basadas en CLOS.
Loom ha sido recientemente reemplazado por PowerLoom. [3]