Языки ИИ, обеспечивающие простоту модификации

программ и данных;

(Lisp-List Processing –обработка списков; Haskell,Caml, Curry, Hope и др.)

Prolog –Programming in Logic-программирова-

ние в терминах логики)

2) Системы программирования для поддержки

составления, разработки и сопровождения программного обеспечения ПО (создание удобной среды разработки ПО)

3) Важна и структура самой машины, позволяющая с

большей эффективностью использовать эти

языки.

В настоящее время мы работаем с машинами чет-

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

Что относится к области ИИ?

· доказательства теорем;

· базы данных и базы знаний;

(интересно сравнить системы БД SQL и прологовские: для выполнения тех же задач вы получаете возможность работать с развитой логикой. При этом система Visual Prolog,например, обеспечивает высокую скорость работы и имеет большую эффективность и более дружественный интерфейс.)

· Самоорганизующиеся СУБД, способные подстраиваться под профиль конкретной задачи без администрирования.

· задачи символьной математики;

· эврестические задачи, моделирующие поведение человека в проблемной ситуации;

· экспертные системы;

· нейронные сети (используются в робототехнике, информационных технологиях)

· логико-лингвистические модели в системах управления;

· печать с голоса;

· интеллектуальные игры;

· мутационные исчисления (набор правил для моделирования процесса эволюции по созданию Homo Sapiens).

· Операционные системы (ОС) реального времени (для принятия решений в рамках дефицита времени)

· Web- приложения и административные системы.

Основы логического программирования и язык Пролог.