2.10. Поиск в альтернативных пространствах

В некоторых случаях предметная область не может быть объективно определена экспертной группой. Это означает, что вместо определенной базы знаний существует группа баз мне-

23

баз мнений. Под мнениями понимается возможный набор правил поиска, определенный разными экспертами. В результате от одних и тех же исходных данных поиск может идти в совер­шен­но различных пространствах, которые и называются альтернативными (Рис.10).

Рис. 10. Поиск решения в альтернативных пространствах

А1, А2, А3 – исходные признаки;

АП1, АП2 – альтернативные пространства.

В представленных альтернативных пространствах общими являются исходные данные А1, А2, А3. Поиск в пространствах АП1 - АП2 выполняется до тех пор, пока не будет определено решение в одном их них. Если поиск в первом пространстве не дал результата, то вы­пол­няется возврат на исходные данные и начинается поиск во втором пространстве. Каждый раз при отрицательном резуль­тате поиска выполняется переход к исходным данным.

2.11. Поиск с использованием нескольких моделей

Пространство признаков представляется некоторым словесным описанием, которое в большинстве случаев учи­ты­вает

24

все свойства предметной области. Однако в некоторых случаях экспертная группа не может объединить в одном опи­сании все свойства области. В этом случае составляется нес­коль­ко описаний, которые называются моделями. Соответ­ствен­но для каждой модели составляется свое символьное описание; определяется пространство состояний и методы поиска в нем. Поиск решения выполняется отдельно для каж­дой модели. После этого решения объединяются и принимают­ся к исполнению. Например, для робота одна модель может опи­сывать рабочую зону и расположение объектов и использо­вать­ся для планирования траектории. Вторая модель учиты­вает массогабаритные свойства объекта и силомоментные свой­ства манипулятора. Такая модель используется для определения параметров движения (скорости, ускорения).

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

3. Представление знаний в системах

Предметная область описывается понятиями обычного языка. Каждый язык имеет свой алфавит и правила составле­ния на базе языка слов (описаний) и высказываний. Высказыва­ния могут быть истинными и ложными. Высказывания, кото­рые всегда истинны, называются истинами языка. Коли­чес­твен­ные данные называются фактами языка или факти­че­с­кими истинами. Символьные языки строятся по аналогии с естественными. В качестве базиса используется установлен­ный набор символов, который называется алфавитом. Каж­дому элементу предметной области ставится в соответствие элементарное символьное описание. Такое представление элемента называется атомарной формулой или литерой. Выс­ка­зывание языка, соответствующее более сложным описаниям предмет-

25

ной области, составляются из литер с использованием логических связок.

Основные логические связки:

 - конъюнкция (и); Эта связка применяется для объединения признаков.

- дизъюнкция (или). Применяется для выбора одного или нескольких признаков из группы.

 - отрицание (не).

 - импликация. Эта связка устанавливает причинно-следственную связь между признаками и означает (если..., то).

 - эквивалентность или равенство. Означает полное совпадение признаков.

На основе алфавита и всех или части связок строится логическое описание сцен, устанавливаются связи между объектами предметной области и формируются правила принятия решений при интеллектуальном управлении с использованием методов экспертных систем.