Искусственный интеллект

            В разработке экспертной системы участвуют представители следующих специальностей:

1)      эксперт - специалист в конкретной предметной области     

2)      инженер по знаниям - специалист по разработке экспертных систем

3)      программист – специалист по разработке инструментальных средств создания экспертной системы.

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

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

Программист разрабатывает инструментальные средства, содержащие все компоненты создания экспертных систем. Осуществляет сопряжение экспертных систем с пользователем. В использовании экспертных систем участвуют специалисты:

1)      Конечный пользователь.

2)      Клерк.

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

                                                                                                                                                      СПОСОБЫ ОПИСАНИЯ ЗНАНИЙ  

При разработке экспертных систем наибольшее применение нашли следующие способы описания знаний:

-         логические модели

-         сетевые модели

-         продукционные модели

-         фреймовые модели

Логические модели. В основе их описания лежит формальная система с четырьмя элементами: М=< Т, Р, А, В > , где

Т – множество базовых элементов различной природы с соответствующими процедурами.

Р – множество синтаксических правил. С их помощью из элементов Т образуют синтаксически правильные совокупности. Процедура П(Р) определяет, является ли эта совокупность правильной.

А- подмножество множества Р, называемых аксиомами. Процедура П(А) дает ответ на вопрос о принадлежности к множеству А.

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

      В данной системе множество А вводится в базу знаний. В базу знаний вводятся также правила вывода. Используя данные базы знаний и условия поставленной задачи, можно определить, является ли поставленная задача синтаксически правильной совокупностью , то есть является ли она выводимой из данной базы знаний.

Сетевые модели. К сетевым моделям относятся знания, формально задаваемые в следующем виде: H= < I, C1, C2, …..Cn, G >, где

I – множество единиц информации.

C1,……Cn - множество типов связи между информационными единицами.

G – задание связи из данного набора.

1	2	3	4	5	6	7	8