ВЕСТНИК ВГУ, Серия физика, математика, 2002, ¹ 2 УДК 681.3.06 ПОРОЖДАЮЩИЕ МНОЖЕСТВА В ПРОДУКЦИОННЫХ СИСТЕМАХ © 2002 С. Д. Махортов Воронежский государственный университет В настоящей работе предлагается некоторый формальный подход к описанию структуры продукционных систем. <...> Использование предлагаемого подхода позволяет • математически обосновывать возможности эквивалентных преобразований баз знаний продукционных систем (п. <...> 2); • оптимизировать и исследовать алгоритмы обратного вывода (п. <...> Продукционной системой [1] называется экспертная система (ЭС), база знаний которой описывается продукционными правилами вида если <условие> то <действие>, где условие, называемое предпосылкой правила, представляет собой предикат над фактами, а действие, называемое следствием правила, обычно регистрирует истинность некоторого другого предиката над фактами. <...> 69 Совокупность правил называется базой знаний (БЗ) продукционной системы. <...> В некоторых работах по данной тематике (например, [2]) предполагается, что все правила находятся в унифицированной форме, в которой предпосылка состоит только из конъюнкций фактов, а следствие делает вывод значения только одного параметра. <...> Мы же в большей части настоящей работы будем исходить из того, что для каждого предиката предпосылки можно указать конъюнкцию фактов, при которой предикат выполнен, и пока сделаем допущение о том, что из каждого предиката следствия правила можно вывести некоторую конъюнкцию других фактов. <...> Мы отдельно рассмотрим также вопросы преобразований базы знаний, позволяющих привести ее к унифицированному виду. <...> Сам процесс применения правил для получения значения нужного параметра (целевого параметра) называется (логическим) выводом. <...> При прямом выводе за отправную точку берется исходная база данных и путем применения к ней правил (согласно какой-либо стратегии выбора очередного правила) выводятся новые факты до получения значения целевого параметра. <...>