В рамках этого направления разрабатываются специальные языки для решения интеллектуальных задач, в которых традиционно упор делается на преобладание логической и символьной обработки над вычислительными процедурами. Эти языки ориентированы на символьную обработку информации - LISP, PROLOG, SMALLTAL К, РЕФАЛ и др. Помимо этого создаются пакеты прикладных программ, ориентированные на промышленную разработку интеллектуальных систем, или программные инструментарии искусственного интеллекта, например KEE, ARTS, G2.

Начиная с 50- х годов одной из популярных тем исследований в области ИИ является компьютерная лингвистика, и, в частности, машинный перевод ( МП ). системы МП усложнялись и в настоящее время используется несколько более сложных моделией : применение так называемых " языков - посредников " или языков смысла ; ассоциативный поиск аналогичных фрагментов текста и их переводов в специальных текстовых репозиториях или базах данных ; структурный подход, включающий последовательный анализ и синтез естественно - языковых сообщений.

Роботы - это электротехнические устройства, предназначенные для автоматизации человеческого труда. Можно условно выделить несколько поколений в истории создания и развития робототехники : I поколение. Роботы с жесткой схемой управления. II поколение. Адаптивные роботы с сенсорными устройствами. III поколение. Самоорганизующиеся или интеллектуальные роботы. Фактически робототехника сегодня - это инженерная наука, не отвергающая технологий ИИ, но не готовая пока к их внедрению в силу различных причин.

Активно развивающаяся область искусственного интеллекта. Включает моделии, методы и алгоритмы, ориентированные на автоматическое накопление и формирование знаний на основе анализа и обобщения данных. Включает обучение по примерам ( или индуктивное ), а также традиционные подходы из теории распознавания образов. В последние годы к этому направлению тесно примыкают стремительно развивающиеся системы data mining - анализа данных и knowledge discovery - поиска закономерностей в базах данных.

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

Создаются Пролог - и Лисп - машины, компьютеры V и VI поколений. Последние разработки посвящены компьютерам баз данных, параллельным и векторным компьютерам. И хотя удачные промышленные решения существуют, высокая стоимость, недостаточное программное оснащение и аппаратная несовместимость с традиционными компьютерами существенно тормозят широкое использование новых архитектур.

Это, ставшее скорее историческим, направление связано с тем, что на заре исследований ИИ традиционно включал в себя игровые интеллектуальные задачи - шахматы, шашки, го. В основе первых программ лежит один из ранних подходов - лабиринтная моделиь мышления плюс эвристики. Сейчас это скорее коммерческое направление, так как в научном плане эти идеи считаются тупиковыми. Кроме того, это направление охватывает сочинение компьютером музыки, стихов, сказок и даже афоризмов. Основным методом подобного " творчества " является метод пермутаций ( перестановок ) плюс использование некоторых баз знаний и данных, содержащих результаты исследований по структурам текстов, рифм, сценариям и т. п.

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