раздел информатики, изучающий принципы действия интеллектуальных машин. Исследователи, работающие в этом направлении, надеются достичь такого понимания механизмов интеллекта, при котором можно будет составлять компьютерные программы с человеческим или более высоким уровнем интеллекта. Общий подход состоит в разработке методов решения задач, для которых отсутствуют формальные алгоритмы: понимание естественного языка, обучение, доказательство теорем, распознавание сложных образов и т.д. Теоретические исследования направлены на изучение интеллектуальных процессов и создание соответствующих математических моделей. Экспериментальные работы ведутся путем составления компьютерных программ и создания машин, решающих частные интеллектуальные задачи или разумно ведущих себя в заданной ситуации. Систематические исследования в области искусственного интеллекта начались лишь с появлением цифрового компьютера. Первая научная статья по искусственному интеллекту была опубликована в 1950 А.Тьюрингом. Ниже будут указаны основные направления исследований в области искусственного интеллекта и соответствующие методы.

Поиск. Когда компьютер с игровой программой должен сделать ход, у него обычно имеется выбор из нескольких возможных ходов. Каждый его ход может иметь ряд различных следствий, зависящих от ответных ходов партнера, а каждое следствие может приводить к другим возможным ходам и т.д.

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

О прогрессе в данной области можно судить по успехам компьютерных программ для игры в шахматы.

Например, одна из первых шахматных программ анализировала 7 наиболее вероятных ходов, 7 вероятных ответных ходов на эти ходы, 7 следующих ответных ходов и 7 ответов на каждый из них, а всего 2401 окончательную позицию. В анализе основного массива этих позиций на самом деле не было необходимости. Если найден один ответный ход, нейтрализующий данный первый ход, то незачем искать другие эффективные ответные ходы. Этот вывод был обобщен в так называемую альфа-бета-эвристику для сокращения поиска, которая применяется во всех современных программах различных игр.

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

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

См. также: