Cтраница 4
Отметим, что для описания продукционных систем существует классический язык, специально созданный для моделирования человеческих рассуждений - это язык математических логик. На самом деле правило продукций ситуация - возможное следствие представляет собой теорему, несколько необычно формализованную: это логическое выражение, состоящее из утверждений, которые могут быть интерпретированы как истинные или ложные. Единственное различие состоит в том, что все экспертные правила заранее допустимы ( аксиомы) даже в том случае, если их невозможно доказать. Таким образом, правила продукций очень близки к правилам преобразований, известным в математике: формальным преобразованиям выражений, преобразованиям в полугруппах в формальных грамматиках, в логарифме Маркова. Для лучшего понимания ЭС представляется привлекательным использовать формализм, принятый в логике. [46]
Подчеркнем, что в случае относительно простых продукционных систем ( см. алгоритмы Маркова или Ре фал-маши ну в главе 3) последовательная интерпретация необходима и по принципиальным соображениям теоретического характера. В случае одношаговой интерпретации даже не всякий алгоритм может быть представлен в подобных системах. В К-системах в силу их большой выразительности возражения теоретического характера отсутствуют. Однако при практическом построении К-систем целесообразна их многошаговая последовательная интерпретация. [47]
Самым элементарным уровнем знаний в продукционной системе являются продукции-константы, образованные из конкретных фактов. Отправляясь от продукций-констант, обобщая их, система должна постепенно получить более сложные правила. [48]
Распознавание и интерпретация исключений в продукционной системе программирования осуществляется автоматически. [49]
Чтобы использовать режим возвратов в продукционных системах необходимо, во-первых, реализовать интерпретатор в виде РВ-программы, и, во-вторых, в набор команд продукционной системы ввести, как минимум, команду выработки сигнала неуспеха, для обозначения которой будем использовать слово ВОЗВРАТ. Кроме того, при организации режима возвратов следует учесть особенности перебора в продукционных системах, к рассмотрению которых мы и переходим. [50]
Как показано в главе 8, продукционные системы представляют собой трансфинитные формальные системы. [51]
Не располагая механизмом разрешения конфликтов, продукционная система будет не в состоянии эффективно справляться с отсутствием детерминизма в наборе правил, обработкой исключений и переключением внимания на определенный стиль рассуждений. Другими словами, представление будет страдать отсутствием эвристических способностей, а управлять функционированием такой системы будет довольно трудно, даже если знания представлены вполне корректно. [52]
Однако можно отметить и недостатки использования продукционных систем как стиля программирования: затрудняются понимание и верификация программ; несколько увеличивается расход вычислительных ресурсов; не всегда ПП оказываются взаимно независимыми, что может привести к необходимости изменения имеющихся правил при введении новых. [53]