Вопрос выбора языка программирования

Имеется широко распространенное, но ошибочное мнение, что экспертные системы должны быть обязательно написаны на языке либо Лисп, либо Пролог.

Полезность языка Лисп оправдывается его использованием в течение более 25 лет в исследованиях по искусственному интеллекту, но то, что он не находит коммерческого применения, случайностью не является. Он процветает в академической среде, присущей Массачусетсскому технологи­ческому институту, Станфордскому университету, Университету Карнеги-Меллона (США), поскольку создает условия для обмена идеями.

Но за пределами подкультуры, связанной с университетским искусствен­ным интеллектом, пользователи предоставлены сами себе. Язык Лисп, по сути, — это не более чем комбинация команд CAR, CDR, COND и CONS (плюс еще EVAL).

Авторы А. Брукинг, П. Джонм и др. работы Экспертные системы считают, что язык Пролог лучше не использовать при создании экспертных систем.

Язык Пролог оказался впереди сво­его времени.

Перечислим несколько недобрых высказываний об этом языке:

1. Пролог содержит лишь весьма слабые средства защиты от незначитель­- ных ошибок в написании команд, которые могут приводить к фантастичес­- ки нежелательным последствиям в работе программ.

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

3. Порядок предложений существен для их значения - снова противо­- речие смыслу логического программирования.

4. Многие из встроенных предикатов дают побочные эффекты, вслед­- ствие чего этот язык не пригоден для параллельной обработки.

1. Пролог "бесплатно" обеспечивает реляционную базу данных — большое достоинство языка; но беда заключается в том, что она располагается в глав­ной памяти машины, из-за чего язык нуждается в большой машинной памяти.

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

7. Поиск в глубину введен там с самого начала, хотите этого или нет.

Если потребуется что-то более изощренное, то придется "прорубать­ся" через джунгли, отсекая ветви имеющегося поиска.

5. Пролог уже содержит множество нестандартных "улучшений".

Пролог — это "мечта лесоруба", поскольку лишь преданная этому языку элита в состоянии овладеть его элегантными суперсложностями.

Заявление, что это язык логического программирования, просто не выдерживает серь­езного анализа.

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

В настоящее время Visual Basic 2010 вполне может быть использован для создания экспертных систем.

Самым правильным будет воспользоваться тем языком, ко­торый вы знаете.

Когда речь идет о системах, использующих знания, неведение недопустимо.

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

Литература

1. Aldiss, В. (1975) Billion Year Spree, Corgi, London.

2. Ernst, G. and Newell, A. (1969) GPS: a Case Study in Generality and Problem

Solving, Academic Press, New York.

3. Feigenbaum, E. (1971) On generality and problem solving. Machine Intelligence,

6.

4. Lenat, D. (1982) Eurisko: a program that learns new heuristics and domain

concepts. Artificial Intelligence, 21.

5. McCorduck, P. (1979) Machines Who Think, Freeman, San Francisco.

6. McCulloch, W. and Pitts, W. (1943) A logical calculus of ideas imminent in

nervous activity. Bulletin of Mathematical Biophysics, 5.

7. Minsky, M. and Papert, S. (1969) PERCEPTRON; an Introduction to Computational

Geometry, MTt Press, Massachusetts.

8. Rosenblatt, F. (1957) The PERCEPTRON: a Perceiving and Recognizing Automaton,

Cornell Aeronautical Lab, New York.

9. Shortliffe, E. (1976) Computer Based Medical Consultations: MYCIN, American

Elsevier, New York.