Incorporación de un sistema basado en reglas en un entorno de tiempo real.

Resumen

En este trabajo se realiza un estudio, y las propuestas que de él se derivan, de los requerimientos necesarios para incorporar el paradigma de los sistemas basados en reglas (SBR), que siguen la semántica propia de los sistemas de producción empleados en inteligencia artificial (IA), en un entorno de tiempo real, En los entornos de tiempo real, los lenguajes tradicionales para el desarrollo de SBR no son adecuados debido a la enorme dificultad que implica su análisis temporal. Por esta razón, se presenta un nuevo lenguaje, denominado Arlips, y su correspondiente algoritmo de pattern matching, que cumplen las condiciones necesarias para su análisis temporal. Este lenguaje presenta una sintaxis y semántica similar a la de otros lenguajes basados en reglas que siguen la semántica propia de los sistemas de producción, pero al mismo tiempo se han incluido restricciones que facilitan que se pueda realizar su análisis temporal. Para facilitar su integración en la arquitectura inteligente de tiempo real ARTIS, se presenta también una extensión de Arlips que, además de disponer de nuevas funcionalidades, dispone de una doble interfaz con el lenguaje C, lo que facilita enormemente su integración con otros módulos de la arquitectura ARTIS. Para el análisis temporal de los SBR se propone una aproximación modular que divide el problema en tres subproblemas: Análisis del tiempo de ejecución de un ciclo de evaluación, del tiempo de ejecución del consecuente de cada regla, y del número de veces que se ejecutará cada regla. Para el análisis temporal del tiempo de ejecución de un ciclo de evaluación es fundamental la utilización del algoritmo de pattern matching que se propone, ya que genera código fuente que cumple las condiciones necesarias para facilitar esta tarea.