Спад исследований искусственного интеллекта, 1970-е

1970-е годы характеризуются резким спадом интереса к ИИ, так как практическое применение ИИ было минимальным, возникли проблемы с финансированием исследований в США и Великобритании.

Дуг Ленет из Стэндфордского университета создал программу «Автоматический математик» и позднее – EURISKO, что позволило открыть новые теоремы в математике.

Впервые была применена нечеткая логика Лотфи Заде для управления паровым двигателем.

В 1970-е годы во Франции был разработан язык логического программирования ПРОЛОГ и появились компьютерные программы с ИИ.

Распространение термина ИИ. Так, при описании своих программ Ньюэлл и Саймон приводили в качестве доводов, подтверждающих, что их программы моделируют человеческое мышление, результаты сравнения записей доказательств теорем в виде программ с записями рассуждения «думающего вслух» человека. В начале 70-х годов они опубликовали много данных подобного рода и предложили общую методику составления программ, моделирующих мышление.

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

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

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