вторник, апреля 28, 2009

Может ли машина мыслить?

1. Тест Тьюринга или "Может ли машина Мыслить"

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

Играют трое: мужчина (A), женщина (B) и ведущий (неважно какого пола). Ведущий находится не втой же комнате, где игроки. Задача ведущего состоит в том, чтобы определить кто из игроков мужчина, а кто женщина, задавая им различные вопросы. При этом вопросы передаются игрокам в виде текстовых сообщений. Задача игрока A - ввести ведущего в заблуждение. Задача игрока B - помочь ведущему. Ответы игроков также передаются ведущему в виде текстовых сообщений.
Исходный вопрос "Может ли машина мыслить" теперь предлагается переформулировать так:

Что случится, если машина будет играть роль A в этой игре? Будет ли ведущий ошибаться также часто, как в том случае, если роль A играет мужчина?
Описанное сейчас принято называть "тестом Тьюринга" - возможность компьютерных программ успешно играть в различные разновидности игры "в имитацию". В некоторых кругах считается, что момент когда компьютер сможет пройти тест Тьюринга, означает, что человечество создало думающие машины.

2. Wolfram Alpha

Завтра, 28 апреля 2009 года, для сотрудников Harvard Law School состоится первая открытая презентация нового проекта создателя системы компьютерной алгебры Стивена Вольфрама - Wolfram Alpha. Сам же проект обещают открыть в мае 2009 года. Что такое Wolfram Alpha? Это "система отвечающая на вопросы". Идея состоит в том, что ей можно будет задавать вопросы на естественном языке (английском), а системы будет давать на них точные (по возможности) ответы. Этим она сильно отличается от современных поисковых систем, которые выдают не ответы, а страницы, на которых встречаются ключевые слова.

Примеры:
  • если ввести “3/26/2009 + 90 days”, то в качестве ответа вернется страница, с числом, на 90 дней отстоящее от 26 марта 2009 года
  • если ввести "mt. everest height length of golden gate”, то вернется страница, на которой высота горы Эверест будет выражена в длинах моста "Золотые Ворота" в Сан-Франциско
  • если ввести "how many internet users there are in Europe", то система выдаст точную цифру, а также графики и статистику по отдельным странам
  • система умеет решать математические задачи - несложные интегралы, производные, уравнения (она же основана на движке Mathematica, как никак)
  • умеет отвечать на вопросы по физике и химии
  • вместе с информацией о каждом факте система показывает ссылку на источник
Дополнительные ссылки, если хочется почитать про Alpha:
  1. Исходное объявление Стивена Вольфрама
    http://blog.wolfram.com/2009/03/05/wolframalpha-is-coming/
  2. Разные дополнительные статьи
Резюме: Wolfram Apha - это очень мощный способ поиска ответов по различным энциклопедическим источникам.

3. IBM играет в "Jeopardy"

11 мая 1997 года шахматный компьютер Deep Blue выграл матч у действующего чемпиона мира Г. Каспарова (Каспаров правда утверждает, что представители IBM жульничали). Сегодня, 27 апреля 2009 года, компания IBM обнародовала свой проект Watson - систему, распознающую естественный язык и умеющую давать ответы на вопросы в игре "Jeopardy!", аналогом которой является российская "Своя игра". Предполагается что Watson сможет стать полноценым конкурентом игрокам-людям в этой игре. Компьютер, на котором будет работать программное обеспечение Watson - IBM Blue Gene/P.


4. Что дальше?

Компьютеры пока ещё конечно не научились проходить тест Тьюринга. Но сдается мне, что мы находимся совсем недалеко. Конечно, и система Alpha и Watson - это только шаги, далеко не первые, но и не заключительные. Мы подбираемся к прохождению теста очень близко и это замечательно, так как открывает очень многие дороги.

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

Почитать #4

  1. The New York Times: David Pogue: "Should you worry about data rot?"
    http://www.nytimes.com/2009/03/26/technology/personaltech/26pogue-email.html?_r=1


    Про то, что современные носители информации не очень надежны, да к тому же ещё и форматы данных меняются со страшной скоростью. Так что,
    по прежнему пытаемся брать количеством копий.

  2. Wolfram Blog: Stepehn Wolfram: "Wolfram|Alpha Is Coming!"
    http://blog.wolfram.com/2009/03/05/wolframalpha-is-coming/

    Создатель известной системы символьных вычислений Mathematica, рассказывает а своем новом проекте: поисковом двжке, понимающем
    естественный язык. Обещает совершенно новый способ получения информации из web. Проект Wolfram|Alpha должен стать публично доступным в мае.

  3. Scientific American: Ray Kurzweil: "The coming merging of mind and machine"
    http://www.sciam.com/article.cfm?id=merging-of-mind-and-machine

    Про то, как через пару-тройку десятков лет мы создадим компьютеры, способные думать и обладающие эмоциям. А также про то такие компьютеры - эволюционное будуще человечества. (Помните о том, что автор ..ммм ... не совсем обычный человек с неоднозначными взглядами :-) )

  4. The New Yorker: John McPhee: Checkpoints
    http://www.newyorker.com/reporting/2009/02/09/090209fa_fact_mcphee

    Про то, как работают люди, выверяюшие факты в газетах и журналах. (Требуется регистрация, но денег платить не требуется).