направление, которое позволяет решать интеллектуальные задачи на подмножестве естественного языка;

направление, которое позволяет решать сложные математические задачи на языках программирования;

направление, которое позволяет решать сложные математические задачи на языках представления знаний;

направление, которое позволяет решать статистические задачи на языках программирования;

Моделирование результатов интеллектуальной деятельности или так называемый машинный интеллект

Генерирование изображений

Моделирование биологических систем (искусственный разум)

Исследование бионических аналогов.

показывает, что компьютеры могут делать лишь то, что в них заложено разработчиками 

исключает предвзятость в пользу живых существ 

препятствует заведению в тупик безответными вопросами типа “должна ли машина осознавать свои действия?” 

дает объективное понятие об интеллекте, т.е. реакции заведомо разумного существа на определенный набор вопросов и предотвращает дебаты об “истинности” его природы  

формализовать алгоритмы поиска 

разработать базы знаний для решения таких задач 

разработать мощные эвристики для снижения сложности пространства поиска 

разработать исчисление предикатов и язык PROLOG