Языки+создания+Экспертных+систем

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

Особенно перспективной для экспертных систем оказалась реализация языка Пролог. Основная идея логического программирования состоит в отделении логики программы от управления ходом вычислений, что делает процесс создания программы более прозрачным. Пролог – язык высокого уровня, ориентированный на использование концепций и методов математической логики. Он был создан во Франции в Марсельском университете в 1972 году. Основной особенностью Пролога, отличающей его от всех других языков, является декларативный характер написанных на нем программ. Он предназначен для разработки систем и программ искусственного интеллекта; относится к категории языков пятого поколения. При работе с ним программистам не требуется расписывать шаг за шагом процедуры — достаточно определить множество фактов и установить отношения между ними. С помощью этих соотношений процедуры, встроенные в язык, получают логические выводы. Эта особенность делает Пролог удобным для написания экспертных систем.

Язык Лисп разработан в Массачусетском технологическом институте в начале 60-х годов. Языки программирования Лисп и Пролог имеют встроенные механизмы для манипулирования знаниями. Лисп является универсальным языком программирования высокого уровня и обладает способностью обрабатывать списковые структуры. Он относится к декларативным языкам функционального типа и предназначен для обработки символьных данных, представленных в виде списков.

Клипс был разработан в центре космических исследований NASA в середине 80х годов. Клипс (Clips) является аббревиатурой от C Language Integrated Production System. Он включает в язык представления порождающих правил и язык описания процедур. Клипс использует продукционную модель представления знаний и поэтому содержит три основных элемента: Принципиальным отличием данной системы от аналогов является то, что она полностью реализована на языке С. Причем исходные тексты ее программ опубликованы в Интернет. В Клипс используется оригинальный LIPS-подобный язык программирования, ориентированный на разработку экспертной системы. Кроме того, Клипс поддерживает еще две парадигмы программирования: объектно-ориентированную и процедурную. Помимо Лиспа, Пролога и Клипса создано множество других языков, ориентированных на обработку символьной информации и разработку экспертных систем: Smalltalk, FRL, Interlisp. Кроме этих специализированных языков для разработки экспертных систем используются и обычные языки программирования общего назначения: Си, Ассемблер, Паскаль, Фортран, Бейсик и др.
 * 1) список фактов
 * 2) базу знаний
 * 3) блок вывода

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

Обзорная статья: Язык программирования Пролог --[|notes.sochi.org.ru] Сайт МГСУ: раздел "Общие характеристики языков программирования" --[|sapr.mgsu.ru] Сайт ВГУЭС: раздел "Интеллектуальные технологии и системы" --[|abc.vvsu.ru] Реферат по программированию: "Создание ЭС" [|--studzona.com]
 * Источники:**

Лисп. Русскоязычное общество программистов. [|--lisp.ru] Сайт проекта Клипс: "A Tool for Building Expert Systems" --[|clipsrules.sourceforge.net]
 * Дополнительный материал:**