Una visión general de KRL, un lenguaje de representación del conocimiento

Este documento describe KRL, un lenguaje de representación del conocimiento diseñado para su uso en sistemas de comprensión. Esboza tanto los conceptos generales que subyacen a nuestra investigación como los detalles de KRL‐0, una implementación experimental de algunos de estos conceptos. KRL es un intento de integrar el conocimiento procedimental con una amplia base de formas declarativas. Estas formas proporcionan una variedad de formas de expresar la estructura lógica del conocimiento, para dar flexibilidad en la asociación de procedimientos (para memoria y razonamiento) con piezas específicas de conocimiento, y para controlar la accesibilidad relativa de diferentes hechos y descripciones. El formalismo para el conocimiento declarativo se basa en objetos conceptuales estructurados con descripciones asociadas. Estos objetos forman una red de unidades de memoria con varios tipos diferentes de enlaces, cada uno con implicaciones bien definidas para el proceso de recuperación. Los procedimientos pueden asociarse directamente con la estructura interna de un objeto conceptual. Este vínculo procedimental permite que los pasos para una operación particular sean determinados por las características de las entidades específicas involucradas. La estructura de control de KRL se basa en la creencia de que la próxima generación de programas inteligentes integrará el procesamiento dirigido por datos y el procesamiento dirigido por objetivos utilizando multiprocesamiento. Proporciona una agenda multiprocesada ordenada por prioridad con estrategias explícitas (proporcionadas por el usuario) para la programación y la asignación de recursos. Proporciona directorios de procedimientos que operan junto con marcos de proceso para permitir la parametrización procedimental de los procesos fundamentales del sistema para construir, comparar y recuperar estructuras de memoria. El desarrollo futuro de KRL incluirá la integración de la definición de procedimientos con el formalismo descriptivo.