Cтраница 4
Она была создана, чтобы помогать пользователю в разработке методов представления и применения различных источников знаний к выбранной проблемной области. Архитектура системы HEARSAY-III восходит к более ранним работам по системам понимания речи ( [123, 66]), в частности, она опирается на понятия доски объявления для источников знаний ( ИЗ) и ситуационного планирования. В системе HEARSAY-III доска объявлений используется для хранения и сортировки информации о выбранной области, частных решениях и осуществляемых действиях. Доска разделена на два главных компонента: проблемно-ориентированная доска для рассуждений о состоянии понимания проблемы и доска планирования для рассуждений о работе системы. ИЗ в системе представляют собой сложные, управляемые образцами модули, в которых продукционные правила содержат большую часть предметных знаний для конкретного применения. Отдельный источник знаний становится пригодным для использования, если активирующий его образец соответствует информации на доске. Исполнение источника приводит, как правило, к изменению информации на доске. Проблема выявления, какой активированный источник знаний должен быть исполнен следующим, называется проблемой планирования. Так как планирование может стать довольно сложной процедурой, то вместе с доской планирования используются специальные источники знаний по планированию, которые облегчают выбор активированных предметных источников знаний. [46]
Различные авторы по-разному классифицируют продукционные системы с точки зрения дихотомии декларативность / процедурность. По нашему мнению, даже в самом простом продукционном правиле ( т.е. правиле, не содержащем присоединенных процедур) есть элемент процедурности, так как предполагается, что правило будет использовано для выполнения некоторого действия. Именно это и отличает процедурное представление от декларативного, поскольку декларативные знания не несут никакой информации о том, как они будут использованы. Однако в продукционных правилах и даже в модулях, управляемых образцами, есть и элемент декларативности, так как способ использования правил и модулей в самих правилах и модулях не указывается. В общем можно считать, что так же, как и представления в виде фреймов и иерархических сетей, продукционные правила объединяют в себе свойства и декларативного и процедурного представления. Ниже будет показано на примере действующих систем, что продукционное правило может быть представлено в виде фрейма или сети. [47]
В этой модели знания представляются в виде совокупности правил типа ЕСЛИ - ТО. В состав экспертной системы продукционного типа входят база правил, база фактических данных ( рабочая память) и интерпретатор правил, реализующий определенный механизм логического вывода. Любое продукционное правило, содержащееся в БЗ, состоит из двух частей: антецедента и консеквента. Антецедент представляет собой посылку правила ( условную часть) и состоит из элементарных предложений, соединенных логическими связками И, ИЛИ. Консеквент ( заключение) включает одно или несколько предложений, которые выражают либо некоторый факт, либо указание на определенное действие, подлежащее исполнению. Продукционные правила принято записывать в виде АНТЕЦЕДЕНТ - КОНСЕКВЕНТ. [48]
Основным недостатком данного подхода является его более низкая эффективность по сравнению с методами традиционного программирования. Различные авторы по-разному классифицируют продукционные системы. Одни относят их к декларативному представлению, другие - к процедурному или декларативно-процедурному. По нашему мнению, даже в самом простом продукционном правиле ( т.е. правиле, не содержащем присоединенных процедур) есть элемелт процедурности, так как предполагается, что правило будет использовано для выполнения некоторого действия. Именно это и отличает процедурное представление от декларативного, поскольку декларативные знания не несут никакой информации о том, как они будут использованы. Однако в продукционных правилах и даже в модулях, управляемых образцами, есть и элемент декларативности, так как способ использования правил и модулей в самих правилах и модулях не указывается. В общем можно считать, что, так же как и представления в виде фреймов и иерархических сетей, продукционные правила объединяют в себе свойства и декларативного, и процедурного представления. [49]