WikiDer > OPS5

OPS5
Генеалогия: серии OPS и системы, на которые они вдохновлены.

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

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

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

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

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

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

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

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 (Amazon, 2016 г.)

внешняя ссылка