Вспомним 1959 год — время, когда компьютеры были громоздкими механизмами, заполняющими целые комнаты. Программирование осуществлялось с помощью перфокарт, а понятие «искусственный интеллект» только начинало развиваться. В эти дни молодой ученый Джон Маккарти представил свою амбициозную идею в статье, озаглавленной «Программы, обладающие здравым смыслом». Он задал революционный вопрос: возможно ли научить машину не просто вычислять, но и размышлять, делая логические выводы на основе известных фактов?
Амбиции Маккарти
Маккарти стремился не просто к созданию нового алгоритма, а к появлению устраненной от чисел системы под названием «Советчик» (Advice Taker). Эта программа должна была опираться на специальный формальный язык, схожий с логикой, и выполнять выводы на основе хранящихся фактов и правил. Если программа получала команду, она должна была следовать ей, исходя из своих знаний о мире.
Основная акцентировка заключалась в том, чтобы ввести факты на «человеческом» языке вместо постоянного перепрограммирования. Например, фразы «Моя машина дома» или «Аэропорт находится в черте города» помогали бы машине самостоятельно рассуждать и принимать решения. Таким образом, чтобы добраться до аэропорта, нужно сделать несколько последовательных шагов: «Сначала пройдите к машине, затем поезжайте в аэропорт».
Критика и кусок реальности
Однако идеи Маккарти столкнулись с жесткой критикой. На конференции известный философ Иегошуа Бар-Хиллел подверг сомнению его подход, утверждая, что формальная логика не справляется с реальными ситуациями. Он отметил, что выражение «находиться в» может иметь разные значения в зависимости от контекста. Если машина применит жёсткие логические правила без учета нюансов, это приведет к ошибкам.
Бар-Хиллел подметил, что многие факторы, такие как стоимость альтернатив или возможность отмены поездки, не были учтены в логике примера. Он настаивал, что разумная машина должна учитывать сложную природу реальности, а не разоблачаться в упрощенных системах логических правил.
Два пути к искусственному разуму
Спор о «Советчике» расколол научное сообщество на два лагеря. Один из них, основанный на символическом ИИ, придерживался идеи о создании машин, способных рассуждать по правилам логики, как мечтал Маккарти. Другой — коннекционизм — внедрял подход машинного обучения, полагаясь на данные и опыт, обучая машины, подобно тому, как это происходит в человеческом разуме.
В последние годы наблюдается надежда на синтез этих двух концепций — нейро-символический ИИ, который сочетает машинное обучение с логическим выводом. Это может привести к созданию систем, способных полноценно размышлять и действовать, принимая во внимание контекст.
Таким образом, мечта Маккарти о машине со здравым смыслом продолжает жить, лишь путь к её реализации оказался гораздо более сложным и запутанным, чем предполагалось в начале.
