Естественно-языковые системы. Евдокимова И.С. - 16 стр.

активизирующихся по мере надобности. Процедуры могут активизировать друг друга, их
выполнение может прерываться, а затем возобновляться. Возможно использование процедур
- "демонов", активизирующихся при выполнении операций введения, изменения или
удаления данных.
     Средством повышения эффективности генерации вывода в процедурных моделях
является добавление в систему знаний о применении, т.е. знаний о том, каким образом
использовать накопленные знания для решения конкретной задачи. Эти знания, как правило,
тоже представляются в процедурной форме.
     Главное преимущество процедурных моделей представления знаний заключается в
большей эффективности механизмов вывода за счет введения дополнительных знаний о
применении, что, однако, снижает их общность. Другое важное преимущество заключено в
выразительной силе. Эти системы способны смоделировать практически любую модель
представления знаний. Выразительная сила процедурных систем проявляется в расширенной
системе выводов, реализуемых в них. Большинство расширенных форм выводов может быть
охарактеризовано понятием "предположение об отсутствии" и сводится к схеме: "Если А
(предварительное условие) - истинно и нет доказательств против В, то предложить В".
Подобные правила вывода оказываются полезными в основном в двух случаях:
     1. Неполнота знаний. Если в системе представления отдельные факты не представлены
или невыводимы, правила вывода позволяют гипотетически признавать их верными при
условии, что в системе нет или в ней невыводимы доказательства противного.
     2. Вывод в условиях ограниченности ресурсов. Из-за ограниченности ресурсов
процессы вывода не могут завершиться, а должны быть оставлены для получения
результатов. В этом случае правила определяют дальнейшие действия системы.
     Системы представления, содержащие подобные правила, оказываются немонотонными,
т.е. добавление новых утверждений может запретить генерацию вывода, который
первоначально мог быть получен. Добавление новых фактов может привести к
возникновению противоречий. В некоторых системах кроме самих утверждений содержатся
также записи причин, по которым были приняты эти утверждения. При добавлении новых
фактов осуществляется проверка того, сохраняются ли справедливость утверждений и
соответствие причинам.
     Можно выделить ряд общих для всех систем представления знаний (СПЗ) черт [7, 8]:
все СПЗ имеют дело с двумя мирами - представляемым и представляющим. Вместе они
образуют систему для представления. Существует также ряд общих для всех СПЗ проблем. К
ним можно отнести, в частности, проблемы: приобретения новых знаний и их
взаимодействие с уже существующими, организации ассоциативных связей,
неоднозначности и выбора семантических примитивов, явности знаний и доступности,
выбора соотношения декларативной и процедурной составляющих представления, что
влияет на экономичность системы, полноту, легкость кодировки и понимания.
     Рассмотрим различные формы моделей представления знаний.
     Продукционные модели представляют собой набор правил в виде "условие - действие",


                                            16