Construcción y análisis temporal de sistemas basados en reglas para entornos de tiempo real

espanolEn este articulo se presenta un nuevo lenguaje para el desarrollo de sistemas basados en reglas en tiempo real, y una aproximacion para realizar el analisis de su coste temporal. Tras introducir los problemas que dificultan la incorporacion de las tecnicas tradicionales de inteligencia artificial en entornos de tiempo real, se presentan las caracteristicas de este lenguaje que facilitan su empleo en estos entornos. Una caracteristica fundamental de este lenguaje basado en reglas es su algoritmo de pattern matching. Este algoritmo genera un bloque de codigo para cada elemento de la memoria de trabajo. Al dividir de esta forma el codigo que realiza la fase de evaluacion, se facilita el analisis del tiempo de ejecucion empleado por la fase de evaluacion. EnglishIn this article we present a new language to develop real-time rule-based systems, and one approach to its timing analysis. First at all, we present the difficulties to incorporate traditional artificial intelligence techniques in real-time environments and the characteristics of this new language to facilitate this task. One important property of this rule-based language is its pattern matching algorithm. This algorithm generates a block of code for each working memory element. This division into blocks of code facilitates static timing analysis of the match phase.