Другим направлением в новейшей интеллектуальной истории, приведшим к функционализму, были исследования по искусственному интеллекту. В частности, английский математик и теоретик вычислительных систем Алан Тьюринг опубликовал в философском журнале "Майнд" ("Mind") в 1950 г. оказавшую огромное влияние статью "Вычислительные машины и интеллект" ("Computing Machinery and Intelligence"). В этой статье Тьюринг стремится обосновать логическую возможность машинного интеллекта, и отчасти его стратегия обоснования связана с изобретением теста, который впоследствии стал известен как "тест Тьюринга".

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

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