2.3. Методы принятия решений в моделях знаний

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

25

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

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

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

В следующих главах эти вопросы будут рассмотрены подробно.

26