OPS5 - это основанный на правилах или системный компьютерный язык , известный как первый такой язык, который будет использоваться в успешной экспертной системе , системе R1 / XCON , используемой для настройки компьютеров VAX .
Семейство OPS (сокращенно от «Официальная производственная система») было разработано в конце 1970-х годов Чарльзом Форги в Университете Карнеги-Меллона . Исследовательская группа Аллена Ньюэлла в области искусственного интеллекта какое-то время работала над производственными системами, но реализация Форги, основанная на его алгоритме Рете , была особенно эффективной, достаточно для того, чтобы можно было масштабировать до более крупных задач, включающих сотни или тысячи правила.
OPS5 использует механизм вывода прямой цепочки ; программы выполняются путем сканирования «элементов рабочей памяти» (которые неопределенно объектно-подобны, с классами и атрибутами) в поисках совпадений с правилами в «производственной памяти». У правил есть действия, которые могут изменять или удалять совпадающий элемент, создавать новые, выполнять побочные эффекты, такие как вывод и т. Д. Выполнение продолжается до тех пор, пока не перестанут быть найдены совпадения.
В этом смысле OPS5 представляет собой механизм выполнения для сети Петри, расширенной ингибиторными дугами.
Процесс прямой цепочки OPS5 делает его чрезвычайно распараллеливаемым на этапе сопоставления, и было создано несколько автоматических распараллеливающих компиляторов.
OPS4 был ранней версией, а OPS83 появился позже.
Первая реализация OPS5 была написана на Лиспе , а позже для скорости переписана на BLISS .
DEC OPS5 - это расширенная реализация определения языка OPS5, разработанная для использования с операционными системами VMS , RISC ULTRIX и DEC OSF / 1.
Ссылки [ править ]
- Чарльз Форги , Руководство пользователя OPS5 , технический отчет CMU-CS-81-135 (Университет Карнеги-Меллона, 1981)
- Ли Браунстон , Роберт Фаррелл, Элейн Кант , Нэнси Мартин , Программирование экспертных систем в OPS5 ( Аддисон-Уэсли , 1985) ISBN 0-201-10647-7
- Ануп Гупта, Миланд Тамбэ, Дирк Калп, Чарльз Форги и Аллен Ньюэлл, Параллельная реализация OPS5 на мультипроцессоре Encore: результаты и анализ
- Роб Льюис, OPS5 Revisited (Amazon, 2016 г.)
Внешние ссылки [ править ]
- Обзор OPS5
- OPS5 Справочное руководство
- RuleWorks - язык с открытым исходным кодом, основанный на OPS5, с добавленными конструкциями модульности.
- OPS5: оболочка экспертной системы на основе RETE - репозиторий искусственного интеллекта CMU
- исходный код - исходный код OPS5 на Github
- Бесплатная реализация OPS5 в .Net Core