ПОИСК Статьи Рисунки Таблицы Экспертные системы автоматического управления и диагностики химико-технологических процессов из "Экспертные системы в химической технологии" Языки продукционно-ориентированного програлширования (ЯПРОП), или продукционные языки, —эго ЯПЗ, основной единицей которых являются продукционные правила (ПП), или продукции (см. раздел 6.1 и 6.2), а программа задается совокупностью ПП без явного указания последовательности их применения. Продукции содержат либо условие и действия , которые должны быть выполнены в случае истинности этого условия , либо условие и совокупность других условий , достаточных для истинности этого условия . [c.241] Язык 0PS-5 позволяет сформировать основные части системы продукций базу ПП, модель решаемой задачи (рабочую память) и интерпретатор для выбора ПП с целью их исполнения (машину вывода). На языке 0PS-5 можно определить условия согласования рабочей памяти с левыми частями ПП, выбрать режим работы интерпретатора, определить действия, выполняемые правыми частями продукций, а также модифицировать ПП. [c.242] Язык OPS-83 основан на сочетании МПЗ в виде ПП с прямой цепочкой рассуждений и процедурного программирования [7 . OPS-83—это в сущности аналогичный Паскалю язык, усиленный характерными для ОР5-5 рабочими элементами памяти и ПП. OPS-83 также обеспечивает ЛПР возможность самому определить типы данных и процедуры разрешения конфликтов, режимы управления и программы трассировки, OPS-83 работает на ЭВМ типа DE , VAX 11/750 и 11/780. [c.242] По отношению к рекурсивным сетям переходов в РСП введены следующие расширения I) разрешено использование произвольных условий на дугах, истинность которых является критерием прохождения дуги 2) помимо стека введено необходимое число регистров со стековой структурой, в которых хранятся фрагменты подструктур и индикаторы, управляющие процессом разбора 3) в качестве метасемантического языка использованы произвольные действия, которые могут изменять, объединять, удалять и проверять содержимое регистров. [c.244] РСП интерпретируется сапсвой грамматикой, формально она может быть определена кортежем F, = (У, L, N), где V— описание словарей, используемых при разборе входной цепочки — описание нестандартных функций, необходимых для эффективного разбора Л/ —описание РСП, представляющее собой описание множества так называемых кустов. Кустом называется вершина РСП с множеством дуг, выходящих из нее. Под разбором входной цепочки (фразы языка) понимается проверка ее допустимости РСП. [c.244] РСП выполняет последовательный анализ предложения слева направо, начиная с первого слова, иначе говоря, ее можно считать автоматом с изменением состояния при обработке отдельных слов. Если гарантировано соблюдение грамматических правил—результат семантической обработки формируется с помощью дополнительных действий в виде структуры данных СС. [c.244] Введенные помеченные дуги определяют следующее [9, 49] С4Т-дуга определяет прохождение по ней, если текущее входное слово принадлежит заданной категории РШЯ-дуга вызывает спуск к состоянию, указанному после символа PUSH Г5Г-дуга допускает прохождение по ней при соблюдении произвольного условия РОР-дуга указывает, при каких условиях состояние является заключительным, и определяет форму разобранных частей фразы. [c.245] Для прохождения по любой из дуг требуется выполнение необходимых и достаточных условий. Необходимые условия обеспечиваются некоторыми встроенными механизмами (словарного поиска, перехода к подграфу и обеспечения возвратов), а достаточные условия в явном виде задаются в синтаксических определениях [9, 49]. [c.245] В качестве аргументов используются Т, NIL, имя и ус-ловие . [c.245] Рассмотрим для примера фрагмент анализатора простого предложения русского языка Красный болычой куб опирается на усеченную призму , порождаемого в соответствии с грамматикой, представленной фрагментом РСП (рис. 9.2) 9]. [c.246] Аналогично проводится анализ оставшейся части предложения. [c.247] Задачи автоматизированного синтеза рациональных технологических схем неоднородных ХТС —наиболее сложные из НФЗ, для которых возможно применение ЭС. [c.247] Особенность знаний, используемых при синтезе ХТС, заключается в том, что это всегда как декларативные, так и процедурные знания (см. разд. 1.2). Декларативные знания отражают неформализованную часть постановки задачи синтеза ХТС, тогда как процедурные знания представляют собой алгоритмы расчета параметров состояния и свойств технологических потоков, параметров основных ЕО генерируемой технологической схемы ХТС. Таким образом, ЭС синтеза неоднородных ХТС по способам представления знаний всегда должны быть гибридными (ГЭС), или интегрированными. [c.248] Система PIP является исследовательским прототипом, который позволяет инженеру-проектировщику при синтезе ХТС быстро выбирать альтернативные варианты ХТП, структуру технологических связей ХТС, значения основных проектных переменных. Система использует сочетания декларативных знаний — в виде ЭП и процедурных, или формализованных, знаний — в виде программ для проектных и экономических расчетов. [c.248] Вернуться к основной статье