Кіріспе

OPS5 – ережеге негізделген немесе өндірістік жүйелік компьютер тілі, VAX компьютерлерін конфигурациялауға қолданылған, сәтті сарапшы жүйесі R1/XCON үшін жасалған алғашқы осындай тіл. OPS (кейбір деректер бойынша, "Official Production System" деген сөздің қысқартылған түрі) отбасын 1970 жылдардың соңында Чарльз Форги Карнеги Меллон университетінде оқып жүргенде әзірлеген. Аллен Ньюэллдің жасанды интеллект зерттеу тобы өндірістік жүйелерді біраз уақыттан бері зерттеп келді, бірақ Форгидің Rete алгоритміне негізделген іске асыруы ерекше тиімді болды, сондықтан жүздеген немесе мыңдаған ережелерді қамтитын кең ауқымды мәселелерді шешуге мүмкіндік берді. OPS5 алға бағытталған қорытынды шығару механизмін пайдаланады; бағдарламалар "өндірістік жадтағы" ережелермен сәйкес келетін "жұмыс жады элементтерін" (сыныптар мен атрибуттары бар, нысанға ұқсас) сканерлеу арқылы орындалады. Ережелерде сәйкес элементті өзгерту немесе жою, жаңаларын жасау, шығыс сияқты қосымша әсерлерді орындау сияқты амалдар болады. Сәйкес келетін элементтер табылмайынша орындалу жалғаса береді. Осы тұрғыдан алғанда, OPS5 – бұл тежегіш доғалармен кеңейтілген Петри желісін орындау механизмі. OPS5-тің алға бағытталған процесі сәйкестендіру кезеңінде оны өте параллельдеуге мүмкіндік береді, сондай-ақ бірнеше автоматты параллельдеу компиляторлары құрастырылды. OPS4 – ерте нұсқасы болса, OPS83 кейінірек пайда болды. OPS5-тің алғашқы нұсқасы Lisp тілінде жазылған, ал жылдамдық үшін кейіннен BLISS тіліне қайта жазылды. DEC OPS5 – OpenVMS, RISC ULTRIX және DEC OSF/1 операциялық жүйелерімен қолдану үшін әзірленген OPS5 тілінің кеңейтілген нұсқасы.