Cтраница 1
Система продукций как модульный программный, комплексу / Прикладные и экспериментальные лингвистические процессоры. [1]
Системы продукций с прямыми выводами среди систем, основанных на использовании знаний, имеют наиболее давнюю историю, поэтому они являются в некотором смысле основополагающими. Эти системы включают три компонента: базу правил, состоящую из набора продукций ( правил вывода), базу данных, содержащую множество фактов, и интерпретатор для получения логического вывода на основании этих знаний. База правил и база данных образуют базу знаний, а интерпретатор соответствует механизму логического вывода. Вывод выполняется в виде цикла понимание-выполнение, причем в каждом цикле выполняемая часть выбранного правила обновляет базу данных. В результате содержимое базы данных преобразуется от первоначального к целевому, т.е. целевая система синтезируется в базе данных. [2]
Системы продукций являются модульными. [3]
Системы продукций представляют собой конкретный метод организации программ в виде совокупностей трех групп, указанных выше. Каждая группа стоит особняком, поэтому такую систему легко понять и с ней легко работать. [4]
Системы продукций представляют знания в виде фактов if правил, и почти всегда правила сильно синтаксически различаются между собой. [5]
Системы продукций редко используют фундаментальные знания из тех областей, для которых они созданы. Например в медицинской системе MYCIN [2] имеется много правил, как, исходя из симптомов и результатов лабораторных анализов определить, какая именно бактерия является причиной заболевания. [6]
Система продукций действует подобно оператору выбора в процедурном языке. [7]
Системы продукций не подходят для кодирования стандартных алгоритмов, которые могут применяться для решения проблемы, так как при этом способе управления затруднены итерация и рекурсия. [8]
Системы продукций выполняются очень медленно. Аналогичная ЭС, закодированная как логическая программа в соответствующей версии Пролога, имеет скорость выполнения в 10 - 50 раз выше. [9]
Системы продукций являются модульными. [10]
Пусть система продукций представлена четырьмя простейшим) продукциями, состоящими лишь из ядерных частей: ( а) АВ; ( б B & DA; ( в) AvBD; ( г) DC. В таком виде система продукци ] явно недетерминированна. Если выполняется А, то множество го товых продукций включает продукции с именами ( а) и ( в), а есл) выполняется В и D, то три последние продукции. Тогд если в некоторый момент была выполнена продукция с именем ( б) то новые продукции выполняться не будут. [11]
Для системы продукций ( машина логического вывода), где выбор правила, которое следует актуализовать следующим, неоднозначен, она имеет систему предпочтений, основанную на некоторой детерминированной или вероятностной оценке, зависящей от ситуации4, сложившейся к этому моменту. [12]
Интерпретатор системы продукций должен идентифицировать те правила, которые могут быть применены, и решить, какое из них должно применяться следующим. Для того, чтобы сделать систему более эффективной, могут быть наложены различные подходящие ограничения. Например, правила могут быть линейно упорядочены и последовательно сканироваться интерпретатором. Сначала должно быть использовано применяемое правило, а затем проведено сканирование от начала или от текущего правила. Здесь могут быть использованы как вывод от цели к фактам, так и вывод от фактов к цели. При определении применяемых правил интерпретатор может также использовать проблемно-ориентированные знания. [13]
В системе продукций с обратными выводами механизм логического вывода основан на ином принципе. Поясним этот принцип на том же примере. Допустим, что цель - это использовать джип, и исследуем сначала возможность применения правила подтверждающего этот факт. Однако если принять образец дорога ухабистая за новую цель, то потребуется правило, подтверждающее этот факт. Условная часть этого правила в данный момент является истинной, поэтому правило 2 можно сразу же применять. [14]
Следовательно, система продукций не выводит общих суждений. Например, рассмотрим определение: контейнер стерилен, если он запечатан и бактерии не могут в него лопасть, а все бактерии, находящиеся внутри, мертвы. Система продукций ( или логическая программа) может воспользоваться этим утверждением, только подставляя различные виды бактерий вместо переменных. Следовательно, она не может сделать вывод, что нагревание запечатанного контейнера приведет к его стерилизации, если известно, что бактерии погибают при нагревании, потому что она не может рассуждать о неопределенном множестве бактерий в контейнере. [15]