ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ: В КОНТЕКСТЕ ЛОГИЧЕСКИХ ИССЛЕДОВАНИЙ

Наименование области научных исследований, направленных на изучение и воспроизведение функций человеческого мышления через проектирование рациональных агентов. Данное понятие было введено в научный оборот Дж. Маккарти, одним из авторитетных специалистов в области исследования интеллекта, в 1956 году на семинаре в Дартмутском колледже. Первые идеи об искусственном интеллекте появляются еще в античных источниках: мифах о создании человекоподобных существ (Пандора), и логических трактатах Аристотеля. Х. Дрейфус в работе «Чего не могут вычислительные машины?» (1972) предлагает рассматривать в качестве родоначальника исследований в области искусственного интеллекта Сократа. В Средние века и Новое время идеи об искусственном интеллекте присутствуют в философских воззрениях Р. Луллия, Т. Гоббса, Г. В. Лейбница в виде выделения правил человеческого мышления, уподобления мышления процессу вычисления. Мифология того времени также не остается в стороне, создавая яркие образы голема и гомункулуса – разумных человекоподобных существ, сотворенных человеком. Научными предпосылками возникновения данной сферы исследований, как правило, называют разработки в области формальной логики и теории алгоритмов, связанные с именами Г. Фреге, К. Геделя, А. Тьюринга и Д. фон. Неймана. Отправной точкой исследований искусственного интеллекта следует считать выход в свет в 1950 году статьи А. Тьюринга «Вычислительные машины и разум», в которой им были описаны тест Тьюринга, принципы машинного обучения, генетические алгоритмы и обучение с подкреплением.
Основными направлениями исследований в области искусственного интеллекта являются: разработка средств обработки текстов на естественных языках; - разработка средств представления знаний; разработка средств автоматического формирования логических выводов; - разработка средств машинного обучения; разработка машинного зрения для распознавания объектов; разработка средств робототехники для манипулирования объектами в пространстве. С. Рассел и П. Норвиг в работе «Искусственный интеллект: современный подход» (2003) выделяют четыре подхода в рамках, которых проводятся исследования в области искусственного интеллекта:
1. Подход, основанный на использовании теста Тьюринга. Согласно данному подходу, компьютер может считаться обладающим искусственным интеллектом в том случае, если функционирует так, что сторонние наблюдатели воспринимают его поведение в качестве интеллектуального. Это означает, что компьютер проходит тест Тьюринга.
2. Подход, основанный на когнитивном моделировании. Данный подход базируется на идее совместного использования компьютерных моделей и экспериментальных психологических методов для разработки теорий работы человеческого мозга.
3. Подход, основанный на использовании «законов мышления». В рамках данного подхода создаются интеллектуальные системы, в которых автоматизируются процессы проведения рассуждений.
4. Подход, основанный на использовании рационального агента. Агент – это все то, что действует. Рациональным называется агент, направленный на достижение наилучшего результата, путем реализации функции, отображающей последовательности актов восприятия в действия. По мнению сторонников данного подхода, он представляет собой высшее достижение в разработках искусственного интеллекта, поскольку он является более общим по сравнению с подходом, основанном на использовании «законов мышления», и более перспективным по сравнению с подходами, основанными на изучении человеческого поведения или мышления. В настоящее время программы, реализующие разработки по искусственному интеллекту находят применение в самых различных сферах деятельности: от игры в шахматы до управления процессами составления расписания операций для космических аппаратов, от компьютерных программ для решения кроссвордов до медицинских диагностических программ и роботов-ассистентов в микрохирургии. Однако, несмотря на это, следует отметить, что при всей успешности ограниченного практического применения искусственного интеллекта, существуют серьезные философские возражения против того, чтобы данные программы хоть в какой-то степени могли считаться обладающими интеллектом. Многие исследователи склонны характеризовать функционирование данных программ лишь в качестве манипулирования формальными символами, создающего иллюзию интеллектуального поведения, при отсутствии такового. (Х. Дрейфус, Дж. Серль). А. С . Кляшторный