OPS5

OPS5
계보:OPS 시리즈 및 시스템에서 영감을 얻거나 영감을 얻습니다.

OPS5는 규칙 기반 또는 실가동 시스템 컴퓨터 언어이며, VAX 컴퓨터 구성에 사용되는 R1/XCON 시스템으로서 성공한 익스퍼트 시스템에서 사용되는 최초의 언어입니다.

OPS(Official Production System) 패밀리는 1970년대 후반 찰스 포기에 의해 카네기 멜론 대학교 재학 중에 개발되었다.앨런 뉴웰의 인공지능 연구 그룹은 한동안 생산 시스템에 대해 연구해 왔지만, 그의 리트 알고리즘에 기초한 포르기의 구현은 특히 효율적이며, 수백 또는 수천 개의 규칙과 관련된 더 큰 문제까지 확장할 수 있었다.

OPS5는 순방향 체인 추론 엔진을 사용합니다.프로그램은 "작업 메모리 요소"를 스캔함으로써 실행됩니다(클래스 및 속성으로 막연히 객체 유사함). "실동 메모리"의 규칙과 일치하는 것을 찾습니다.규칙에는 일치하는 요소를 수정 또는 삭제하거나, 새 요소를 만들거나, 출력 등의 부작용을 수행하는 작업이 있습니다.일치하는 항목을 더 찾을 수 없을 때까지 계속 실행됩니다.

그런 의미에서 OPS5는 인히비터 아크를 가진 Petri net의 실행 엔진입니다.

OPS5 포워드 체인 프로세스는 매칭 단계 동안 매우 병렬화할 수 있도록 하며, 여러 개의 자동 병렬 컴파일러가 생성되었습니다.

OPS4는 초기 버전이지만 OPS83은 이후 버전입니다.

OPS5의 첫 번째 구현은 Lisp로 작성되었으며, 이후 속도를 위해 BLIS로 다시 작성되었습니다.

DEC OPS5는 OpenVMS, RISC ULTRIX 및 DEC OSF/1 운영체제용으로 개발된 OPS5 언어 정의의 확장 구현입니다.

레퍼런스

  • Charles Forgy, OPS5 사용자 매뉴얼, 기술 보고서 CMU-CS-81-135 (Carnegi Mellon University, 1981년)
  • Lee Brownston, Robert Farrell, Elaine Kant, Nancy Martin, 프로그래밍 전문가 시스템s in OPS5 (Addison-Wesley, 1985) ISBN0-201-10647-7
  • Anoop Gupta, Miland Tambe, Dirk Kalp, Charles Forgy 및 Allen Newell, 앙코르 멀티프로세서에서의 OPS5 병렬 구현: 결과 및 분석
  • Rob Lewis, OPS5 재방문 (Amazon 2016)

외부 링크