OPS5 es una basada en reglas o sistema de producción de lenguaje informático , notable como el primer idioma que se utilizará en un exitoso sistema experto , el R1 / XCON sistema utilizado para configurar VAX ordenadores.
La familia OPS (que se dice que es la abreviatura de "Sistema de producción oficial") fue desarrollada a fines de la década de 1970 por Charles Forgy mientras estaba en la Universidad Carnegie Mellon . El grupo de investigación de Allen Newell en inteligencia artificial había estado trabajando en sistemas de producción durante algún tiempo, pero la implementación de Forgy, basada en su algoritmo Rete , fue especialmente eficiente, lo suficiente como para que fuera posible escalar a problemas más grandes que involucraban a cientos o miles de reglas.
OPS5 utiliza un motor de inferencia de encadenamiento directo ; los programas se ejecutan escaneando "elementos de la memoria de trabajo" (que son vagamente similares 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, etc. La ejecución continúa hasta que no se pueden encontrar más coincidencias.
En este sentido, OPS5 es un motor de ejecución para una red de Petri ampliada con arcos inhibidores.
El proceso de encadenamiento directo de OPS5 lo hace extremadamente paralelizable durante la fase de emparejamiento, y se crearon varios compiladores de paralelización automática.
OPS4 fue una versión anterior, mientras que OPS83 llegó después.
La primera implementación de OPS5 se escribió en Lisp y luego se reescribió en BLISS para mayor velocidad.
DEC OPS5 es una implementación extendida de la definición del lenguaje OPS5, desarrollada para su uso con los sistemas operativos VMS , RISC ULTRIX y DEC OSF / 1.
Referencias
- Charles Forgy , Manual del usuario de OPS5, Informe técnico CMU-CS-81-135 (Universidad Carnegie Mellon, 1981)
- Lee Brownston , Robert Farrell, Elaine Kant , Nancy Martin , Programación de sistemas expertos en OPS5 ( Addison-Wesley , 1985) ISBN 0-201-10647-7
- Anoop Gupta, Miland Tambe, Dirk Kalp, Charles Forgy y Allen Newell, Implementación paralela de OPS5 en el multiprocesador Encore: resultados y análisis
- Rob Lewis, OPS5 revisado (Amazon 2016)
enlaces externos
- Descripción general de OPS5
- OPS5 Manual de referencia
- RuleWorks : lenguaje de código abierto basado en OPS5, con construcciones de modularidad agregadas.
- OPS5: shell de sistema experto basado en RETE - Repositorio de inteligencia artificial de CMU
- código fuente - código fuente OPS5 en Github
- Implementación gratuita de OPS5 en .Net Core