OPS5 - OPS5

Genealogia: A série OPS e os sistemas nos quais foram inspirados ou inspirados.

OPS5 é uma linguagem de computador de sistema de produção ou baseada em regras , notável como a primeira linguagem a ser usada em um sistema especialista de sucesso , o sistema R1 / XCON usado para configurar computadores VAX .

A família OPS (que se diz ser a abreviatura de "Official Production System") foi desenvolvida no final dos anos 1970 por Charles Forgy enquanto estudava na Carnegie Mellon University . O grupo de pesquisa de Allen Newell em inteligência artificial já vinha trabalhando em sistemas de produção há algum tempo, mas a implementação de Forgy, baseada em seu algoritmo de Rete , foi especialmente eficiente, o suficiente para que fosse possível escalar para problemas maiores envolvendo centenas ou milhares de as regras.

OPS5 usa um mecanismo de inferência de encadeamento direto ; os programas são executados examinando "elementos da memória de trabalho" (que são vagamente parecidos com objetos, com classes e atributos) procurando correspondências com as regras na "memória de produção". As regras têm ações que podem modificar ou remover o elemento correspondente, criar novos, executar efeitos colaterais, como saída, e assim por diante. A execução continua até que mais nenhuma correspondência seja encontrada.

Nesse sentido, o OPS5 é um motor de execução de uma rede de Petri estendida com arcos inibidores.

O processo de encadeamento direto OPS5 o torna extremamente paralelizável durante a fase de correspondência, e vários compiladores automáticos de paralelização foram criados.

OPS4 era uma versão inicial, enquanto OPS83 veio depois.

A primeira implementação do OPS5 foi escrita em Lisp e, mais tarde, reescrita em BLISS para maior velocidade.

DEC OPS5 é uma implementação estendida da definição de linguagem OPS5, desenvolvida para uso com os sistemas operacionais OpenVMS , RISC ULTRIX e DEC OSF / 1.

Referências

  • Charles Forgy , Manual do Usuário OPS5 , Relatório Técnico CMU-CS-81-135 (Carnegie Mellon University, 1981)
  • Lee Brownston , Robert Farrell, Elaine Kant , Nancy Martin , Programming Expert Systems in OPS5 ( Addison-Wesley , 1985) ISBN  0-201-10647-7
  • Anoop Gupta, Miland Tambe, Dirk Kalp, Charles Forgy e Allen Newell, Implementação paralela de OPS5 no multiprocessador Encore: resultados e análise
  • Rob Lewis, OPS5 revisitado (Amazon 2016)

links externos