Иллюстрированный самоучитель по введению в экспертные системы



   http://www.maximumrule.ru            

Синтаксис представления правил


В настоящее время порождающие правила обычно реализуются в форме правил, манипулирующих с символическими структурами типа списка векторов, а не строк символов. В этом сказывается влияние языков программирования вроде LISP и тех структур данных, которые они поддерживают. (В ранних реализациях использовались языки манипулирования символами, например SNOBOL.)

В результате алфавит канонической символьной системы заменяется словарем символов или атомов и довольно простой грамматикой формирования символических структур. Словарь, как правило, состоит из трех подмножеств:

  • подмножества N имен объектов предметной области;

  • подмножества Р имен свойств, которые рассматриваются в качестве атрибутов объектов;

  • подмножества V допустимых значений атрибутов.

    На практике подмножества N и V перекрываются.

    Используемая грамматика, как правило, имеет вид триад объект-атрибут-значение. Триада (v, л, w) существует, если v принадлежит N и л принадлежит Р, w принадлежит V. Например, триада

    (ОРГАНИЗМ-1, морфология, палочка)

    представляет определенный микроорганизм, имеющий форму палочки.

    Представленная синтаксическая форма обобщается в том случае, когда нужно для некоторого объекта v представить « вариантов пар атрибут-значение (л1,w1) ..., (лn,wn). В таком случае они объединяются в вектор в форме

    (v, л1, w1,..., лn, wn).

    На языке CLIPS тот факт, что определенный микроорганизм имеет форму палочки и активно развивается в воздушной среде, будет представлен вектором

    (organism-1 (morphology rod) (aerobicity aerobic)).

    В дальнейшем мы будем повсеместно использовать именно такой синтаксис, поскольку CLIPS будет нашим основным программным инструментом.

    Имея в своем распоряжении словарь символов и грамматику, регламентирующую порождение символических структур, можно представить в машинном виде исходное состояние интересующих нас проблем. Эти представления соответствуют аксиомам канонической системы — они представляют собой некоторую символическую структуру, которую нужно преобразовывать, применяя имеющиеся правила в определенном порядке.



    Содержание  Назад  Вперед