Разработка экспертных систем. Татжибаева О.А. - 18 стр.

      Операция сопоставления может использоваться не только как средство
выбора нужного объекта из множества кандидатов; она может быть исполь-
зована для классификации, подтверждения, декомпозиции и коррекции. Для
идентификации неизвестного объекта он может быть сопоставлен с некото-
рыми известными образцами. Это позволит классифицировать неизвестный
объект как такой известный образец, при сопоставлении с которым были по-
лучены лучшие результаты. При поиске сопоставление используется для
подтверждения некоторых кандидатов из множества возможных. Если осу-
ществлять сопоставление некоторого известного объекта с неизвестным опи-
санием, то в случае успешного сопоставления будет осуществлена частичная
декомпозиция описания.
      Операции сопоставления весьма разнообразны. Обычно выделяют сле-
дующие их формы: синтаксическое, параметрическое, семантическое и
принуждаемое сопоставления. В случае синтаксического сопоставления со-
относят формы (образцы), а не содержание объектов. Успешным является
сопоставление, в результате которого образцы оказываются идентичными.
Обычно считается, что переменная одного образца может быть идентична
любой константе (или выражению) другого образца. Иногда на переменные,
входящие в образец, накладывают требования, определяющие тип констант,
с которыми они могут сопоставляться. Результат синтаксического сопостав-
ления является бинарным: образцы сопоставляются или не сопоставляются .
В параметрическом сопоставлении вводится параметр, определяющий сте-
пень сопоставления. В случае семантического сопоставления соотносятся не
образцы объектов, а их функции. В случае принуждаемого сопоставления
один сопоставляемый образец рассматривается с точки зрения другого. В от-
личие от других типов сопоставления здесь всегда может быть получен по-
ложительный результат. Вопрос состоит в силе принуждения. Принуждение
могут выполнять специальные процедуры, связываемые с объектами. Если
эти процедуры не в состоянии осуществить сопоставление, то система сооб-
щает, что успех может быть достигнут только в том случае, если определен-
ные части рассматриваемых сущностей можно считать сопоставляющимися.




18