Основы современных компьютерных технологий


Направления работ и инструментарий ИИ - часть 2


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

Пользователь ЭС является специалистом в данной предметной области, квалификация которого уступает квалификации эксперта.

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

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

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

301

интерфейс пользователя на близком к естественному или профессиональному языку предметной области непроцедурном языке. При этом производится трансляция предложений на язык представления знаний (ЯПЗ) экспертной системы. Описание запроса на ЯПЗ поступает в решатель, в котором на основе знаний из базы выводится решение поставленного запроса в соответствии с некоторой стратегией выбора правил. С помощью подсистемы объяснений производится отображение промежуточных и окончательных выводов, объяснение применяемой мотивировки.

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

К числу ИППП относятся решатели вычислительных задач. Ниже мы рассмотрим решатель вычислительных задач ТК Solver, с помощью которого можно описывать и решать задачи вычислительного характера без программирования.




Начало  Назад  Вперед