ОПС5

OPS5 — это основанный на правилах или производственной системе компьютерный язык , известный как первый такой язык, который будет использоваться в успешной экспертной системе , системе R1/XCON , используемой для настройки компьютеров VAX .

Семейство OPS (сокращение от «Официальная производственная система») было разработано в конце 1970-х годов Чарльзом Форги во время работы в Университете Карнеги-Меллон . Аллена Ньюэлла Исследовательская группа в области искусственного интеллекта уже некоторое время работала над производственными системами, но реализация Форги, основанная на его алгоритме Rete , была особенно эффективной, достаточной для того, чтобы ее можно было масштабировать для решения более крупных задач, включающих сотни или тысячи правила.

OPS5 использует прямой цепочки механизм вывода ; программы выполняются путем сканирования «элементов рабочей памяти» (которые отчасти объектноподобны, с классами и атрибутами) в поисках совпадений с правилами в «производственной памяти». Правила содержат действия, которые могут изменять или удалять соответствующий элемент, создавать новые, выполнять побочные эффекты, такие как вывод, и т. д. Выполнение продолжается до тех пор, пока не будет найдено больше совпадений.

В этом смысле OPS5 представляет собой механизм выполнения сети Петри, расширенной дугами-ингибиторами.

Процесс прямого связывания OPS5 делает его чрезвычайно распараллеливаемым на этапе сопоставления, и было создано несколько автоматических распараллеливающих компиляторов.

OPS4 был ранней версией, а OPS83 появился позже.

Первая реализация OPS5 была написана на Lisp , а позже переписана на BLISS для скорости .

DEC OPS5 — это расширенная реализация определения языка OPS5, разработанная для использования с операционными системами OpenVMS , RISC ULTRIX и DEC OSF/1.

Ссылки

Чарльз Форги , Руководство пользователя OPS5 , Технический отчет CMU-CS-81-135 (Университет Карнеги-Меллона, 1981 г.)
Ли Браунстон , Роберт Фаррелл, Элейн Кант , Нэнси Мартин , Программирование экспертных систем в OPS5 ( Аддисон-Уэсли , 1985) ISBN 0-201-10647-7
Ануп Гупта, Миланд Тамбе, Дирк Калп, Чарльз Форги и Аллен Ньюэлл, Параллельная реализация OPS5 на мультипроцессоре Encore: результаты и анализ
Роб Льюис, возвращение к OPS5 (Amazon, 2016 г.)

Внешние ссылки

Обзор ОПС5
Справочное руководство OPS5
RuleWorks — язык с открытым исходным кодом, основанный на OPS5, с добавленными конструкциями модульности.
OPS5: Оболочка экспертной системы на основе RETE - Репозиторий искусственного интеллекта CMU
исходный код — исходный код OPS5 на GitHub
Бесплатная реализация OPS5 в .Net Core