Интеллектуальные информационные системы. Дубровин А.Д. - 56 стр.

          Поиск последовательности (цепочек) правил и процедур логического вывода,
приводящей к решению конкретной задачи, происходит в соответствии с одной из возможных
стратегий. В тех случаях, когда процедуры и правила базы знаний системы представлены в
виде древовидной (иерархической) структуры или ориентированного графа, эти стратегии
определяются порядком просмотра и применения правил и процедур. Он может быть прямым
или обратным. Прямой порядок предполагает идти от фактов к заключениям, а обратный
порядок - от заключений к фактам. Сущность этих стратегий в самом общем виде заключается
в следующем.
           При реализации прямого порядка к имеющемуся (исходному) набору фактов ищется
заключение (вывод), которое из этих фактов следует. Просмотр идет по шагам (циклам). Если
на первом шаге с помощью одного или нескольких (из имеющихся в БЗ) правил такое
заключение удается найти, но оно не соответствует заранее известным признакам
«приемлемого» результата решения задачи, то факты, образованные этим заключением,
принимаются в качестве нового исходного набора данных и делается новый шаг. Правило или
правила, обеспечившие результат на первом шаге, образуют начало искомой цепочки. Если на
первом шаге логичное заключение не было найдено, то шаг повторяется, но уже с применением
другого набора правил.
          При реализации обратного порядка к исходному набору фактов делается некий
гипотетический вывод, имеющий формальные признаки результата решения задачи. Затем в БЗ
пытаются найти факты, которые будучи поставлены в гипотетическое заключение вместо
формализмов, подтверждают или опровергают гипотезу. Если подтверждают, то гипотеза
объявляется решением задачи. Если опровергают, то пошаговый (цикличный) процесс поиска
продолжается, пока не будут исчерпаны все факты, «пригодные» в качестве фигурантов
выдвинутой гипотезы. Если гипотеза так и останется неподтвержденной, то делается новый
гипотетический вывод и пошаговый процесс повторяется, пока не будут исчерпаны возможные
правдоподобные гипотезы.
           При любом порядке циклический процесс реализации механизма логического
вывода заканчивается либо опробыванием всех правил, имеющихся в БЗ, либо исчерпанием
числа правдоподобных гипотез. Если и в том, и в другом случае решение не найдено, то такая
ситуация требует от когнитолога действий, связанных либо с привлечением новых экспертов,
либо сопряжения системы с другими ИИС, базы знаний которых могут содержать недостающие
знания. Более наглядно прямая и обратная стратегии поиска решения будут показаны в разделе
3.1.
          Формирование пространства правил ЭС на основе знаний, получаемых от эксперта и
из других источников, - задача когнитолога системы. Эффективность его работы в этой
области деятельности определяет мощность процедурной компоненты базы данных и
универсального решателя системы.
          Эта характеристика ЭС определяет ее возможности в обработке знаний, которая
может быть поверхностной или глубинной. В системы, которых допускают поверхностную
обработку знаний, модель ПО, как правило, носит тоже поверхностный характер. В них не
отражены глубинные связи между сущностями и их свойствами. Факты и правила, отраженные
в таких моделях, носят характер практических знаний, относящихся к потребительским
свойствам объектов ПО. Поверхностная обработка знаний, как правило, происходит быстро и
непрерывно вплоть до получения результата.
          В системах, модели ПО которых учитывают и адекватно отображают глубинные
отношения между сущностями и их свойствами, не применимы поверхностные методы
обработки. При обработке таких знаний требуется более высокая квалификация экспертов и
когнитологов, поскольку в ходе обработки часто возникают ситуации, которые не могли быть
предусмотрены заранее. В таких ситуациях набор правил, содержащихся в памяти системы,
оказывается недостаточным для производства логического вывода. Поэтому процесс решения


                                                                                        60