Войти
Генеалогия: серия OPS и системы, на которые они основаны. OPS5 - это основанная на правилах или производственная система компьютерный язык, известный как первый такой язык, который будет использоваться в успешной экспертной системе, система R1 / XCON, используемая для настройки компьютеров VAX.
Семейство OPS (сокращенно от «Официальная производственная система») было разработано в конце 1970-х годов Чарльзом Форги в Университете Карнеги-Меллона. Исследовательская группа Аллена Ньюэлла в области искусственного интеллекта некоторое время работала над производственными системами, но реализация Форджи, основанная на его алгоритме Рете, была особенно эффективной., достаточно, чтобы можно было масштабировать до более крупных задач, включающих сотни или тысячи правил.
OPS5 использует прямую цепочку механизм вывода ; программы выполняются путем сканирования «элементов рабочей памяти» (которые неопределенно объектно-подобны, с классами и атрибутами) в поисках совпадений с правилами в «производственной памяти». У правил есть действия, которые могут изменять или удалять совпадающий элемент, создавать новые, выполнять побочные эффекты, такие как вывод и т. Д. Выполнение продолжается до тех пор, пока не перестанут быть найдены совпадения.
В этом смысле OPS5 является механизмом выполнения для сети Петри, расширенной ингибирующими дугами.
Процесс прямой цепочки OPS5 делает его чрезвычайно распараллеливаемым на этапе согласования, и было создано несколько автоматических распараллеливающих компиляторов.
OPS4 была ранней версией, а OPS83 появилась позже.
Первая реализация OPS5 была написана на Lisp, а позже переписана на BLISS для скорости.
DEC OPS5 - это расширенная реализация определения языка OPS5, разработанная для использования с операционными системами VMS, RISC ULTRIX и DEC OSF / 1.
