7.3.2. Используемые предположения при разработке продукционных систем и области их применимости

Доступ к содержащимся в системе знаниям и их использование основываются на некоторых предположениях.

Прежде всего необходимо, чтобы специалист в данной области мог описать ситуацию. Рассматриваемая область знаний должна быть хорошо разработана и основываться на твердых концепциях, в противном случае надо было бы опуститься до такого уровня детализации, что объем создаваемой базы знаний превысил бы всякие разумные пределы (Nilsson, 1980).

Структура изучаемого пространства

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

Одно-единственное правило может охватывать большую часть знаний человека. Например, правило «Правдоподобно, Что микроорганизм типа палочки в грамотрицательной крови является Е. основано одновременно на знаниях из области физиологии и на клиническом опыте.

Схемы заключений

В рассматриваемом пространстве должна быть справедлива простая схема заключения типа модус поненс (из следует или ее вариант модус толленс (из следует

Цель исследования должна быть хорошо определена и уточнена (поэтому возможно движение назад по цепочке правил). Более предпочтительными являются дискретные переменные по сравнению с непрерывными. Это позволяет избежать резкого увеличения объема базы фактов. Решаемые задачи не должны состоять в последовательном достижении нескольких сильно связанных друг с другом подцелей, в противном случае нужно использовать классический процедурный подход.

Априорные следствия из предположений, обеспечивающих применимость продукционной системы

Эту модель не следует применять для проблем, сложных по своей постановке или по характеру решения (например, сложные комбинаторные проблемы). Кроме того, модель по природе ориентирована больше на модификацию области, чем на использование свойств инвариантности. Тавтологии, определения или формальные отношения зависимостей в действительности не связаны с каким-либо единым основным механизмом. Они

могут быть учтены другими схемами заключений, к которым относятся «демоны» (Hewitt, 1981), «классы подобия» (Bundy, 1979) (разд. 7.4), “приоритетные прерывания” (Gascuel, 1981).