OPS5

OPS5 es un lenguaje informático de sistema de producción o basado en reglas , destacable por ser el primer lenguaje de este tipo utilizado en un sistema experto de éxito , el sistema R1/XCON, utilizado para configurar los ordenadores VAX .

La familia de sistemas OPS (Official Production System) fue desarrollada a finales de la década de 1970 por Charles Forgy mientras trabajaba en la Universidad Carnegie Mellon . El grupo de investigación de Allen Newell en inteligencia artificial llevaba tiempo trabajando en sistemas de producción, pero la implementación de Forgy, basada en su algoritmo Rete , resultó especialmente eficiente, lo suficiente como para poder escalarla a problemas de mayor envergadura que involucraban cientos o miles de reglas.

OPS5 utiliza un motor de inferencia de encadenamiento hacia adelante ; los programas se ejecutan escaneando "elementos de la memoria de trabajo" (que se asemejan vagamente a objetos, con clases y atributos) en busca de coincidencias con las reglas en la "memoria de producción". Las reglas tienen acciones que pueden modificar o eliminar el elemento coincidente, crear otros nuevos, realizar efectos secundarios como la salida de datos, etc. La ejecución continúa hasta que no se encuentran más coincidencias.

En este sentido, OPS5 es un motor de ejecución para una red de Petri extendida con arcos inhibidores.

El proceso de encadenamiento hacia adelante de OPS5 lo hace extremadamente paralelizable durante la fase de coincidencia, y se crearon varios compiladores de paralelización automática.

OPS4 fue una versión temprana, mientras que OPS83 llegó más tarde. El desarrollo de OPS4 fue patrocinado por la Orden ARPA n.° 3597 y supervisado por el Laboratorio de Aviónica de la Fuerza Aérea bajo el Contrato F33615-78-C-1151. ^{[ 1 ]}

La primera implementación de OPS5 se escribió en Lisp , y posteriormente se reescribió en BLISS para mejorar la velocidad.

DEC OPS5 es una implementación extendida de la definición del lenguaje OPS5, desarrollada para su uso con los sistemas operativos OpenVMS , RISC ULTRIX y DEC OSF/1 .

• Descripción general de OPS5
• Manual de referencia OPS5
• RuleWorks : lenguaje de código abierto basado en OPS5, con construcciones de modularidad añadidas.
• OPS5: Interfaz de sistema experto basada en RETE - Repositorio de Inteligencia Artificial de CMU
• Código fuente - Código fuente de OPS5 en GitHub
• Implementación gratuita de OPS5 en .Net Core