Как говорят мудрецы, чтобы вещью овладеть, ей надо дать имя
Поэтому получить точное определение все же хотелось бы. Представьте себе, что вам принесли некую машину (или привели внеземную зверюшку), и утверждается, что она обладает интеллектом. Как это проверить? Нужны определение интеллекта (критерий) и точная процедура проверки этого критерия. Рассмотрим такое рабочее определение:
Интеллект – качество психики, состоящее из способности адаптироваться к новым ситуациям, способности к обучению на основе опыта, пониманию и применению абстрактных концепций и использованию своих знаний для управления окружающей средой.
Оно опирается на понятия, которые, будучи интуитивно ясны, все же неточны и нуждаются в доопределении. К этому определению можно задать слишком много вопросов:
• Что такое знание?
• Что такое абстрактные концепции?
• Что значит обучение на основе опыта? Обучить дрессировкой можно очень многие виды животных. Означает ли это наличие у них интеллекта? А что такое обучение без дрессуры? В наших, человеческих школах очень многое делается именно дрессурой, означает ли это, что люди – школьники не обладают интеллектом?
• Что считать новой ситуацией и что считать успешной адаптацией? Очень часто люди теряются в необычной ситуации, означает ли это, что они не разумны?
Можно привести и другие, столь же мудреные и ненадежные определения. В чем их недостаток? Они для определения интеллекта используют сложные понятия. Это грубая логическая ошибка. Хорошее определение может свести понятие к более общему с добавлением достаточного уточняющего признака. Например, белая береза – это дерево с белой корой. При условии что понятие «дерево» уже определено и больше деревьев с белой корой не существует, это определение вполне удачно. Причем черную березу (а такая тоже есть) мы в определении отмели, так как ограничились именно белой.
Еще хорошее определение может свести термин к комбинации более простых. Например, окружность – это множество точек плоскости, равноудаленных от одной точки, называемой центром. Понятия точки, множества, плоскости проще, нежели понятие окружности. Кроме того, этим определением мы уходим от необходимости пояснять такие сложные вещи, как непрерывность и кривизна линии.
А еще хорошее определение может воспользоваться понятием эквивалентности. Например, синий цвет – это цвет неба. Круглый – это форма футбольного мяча. В общем, способов дать хорошее определение достаточно много. Заметим еще, что хорошее определение должно быть рабочим, то есть применимым для идентификации объектов. Это тоже не всегда просто. Например, можно определить километр как расстояние, которое способен пройти взрослый человек по прямой, не торопясь, за 10 минут. Допустим, что любой взрослый человек идет, не торопясь, с одной и той же скоростью (это не так, но допустим), то есть это точное определение. Но оно все равно не рабочее, так как измерять таким способом расстояния в сотни километров нереально.
Итак, какой способ нам выбрать? Свести к более общему с указанием определяющего свойства не получится. К сожалению или к счастью, но нам не известен ни один пример инопланетного разума. Животным, живущим рядом с нами, мы в разуме отказываем. Это означает, что у человечества нет возможности определить интеллект «вообще», без привязки к его человеческой разновидности. Разложить на более простые вещи не получится, для этого надо хорошо понимать, как он работает и из чего состоит. Этот метод фактически работает только на простых объектах. Единственное, что нам остается, – это признать интеллект свойством, присущим каждому человеку (здоровому в медицинском смысле), и выделить некие вещи, которые может делать только человек, и только потому, что он разумен. Таким образом, мы для построения теста на интеллектуальность вынуждены выбрать человека как эталон.
Критерий Тьюринга
Европейский математик Алан Тьюринг предложил следующий критерий:
Рис. 1.2. Алан Мэтисон Тьюринг
Для справки. Изображенный на рис. 1.2 Алан Мэтисон Тьюринг – английский математик, логик, криптограф, оказавший существенное влияние на развитие информатики. Кавалер Ордена Британской империи, член Лондонского королевского общества. Предложенная им в 1936 году абстрактная вычислительная «машина Тьюринга», которую можно считать моделью компьютера общего назначения, позволила формализовать понятие алгоритма и до сих пор используется во множестве теоретических и практических исследований.
«Человек взаимодействует с одним компьютером или одним человеком (с кем он говорит, ему неизвестно). На основании ответов на вопросы он должен определить, с кем он разговаривает: с человеком или компьютерной программой. Если человек не сможет сделать правильный выбор, значит, компьютерная программа обладает интеллектом».
Предложенный Тьюрингом критерий основан на том убеждении, что человеческая речь, имеется в виду, конечно же, осмысленная речь, есть неотъемлемая часть разума. Поэтому если я – разумное существо и мой собеседник может неограниченно со мной беседовать, и я не могу уличить его в бессмысленности, то он тоже разумен.
Критерий Тьюринга выглядит очень солидно, но необходимо сделать важное уточнение. Например, если я – специалист по переработке нефти, то я не имею права требовать от партнера знаний о процессе переработки. А это значит, что возможные бессмыслицы, которые он скажет, если побоится сознаться в своем незнании, не в счет. А утайка некомпетентности для разумного человека – дело, достаточно обычное. Это означает, что в тесте допустимы только темы общего порядка. Но и здесь мы пойдем по тонкому льду. Я знаю, что Волга впадает в Каспийское море. Мой партнер может этого не знать, следовательно, даже в бытовых темах нужно делать скидку на уровень образования. То есть незнание не эквивалентно бессмыслице.
Анализируя эти затруднения, легко прийти к выводу, что тест Тьюринга содержит в себе серьезное противоречие. С точки зрения теста, мы обязаны для обеспечения чистоты теста определить, что такое осмысленная речь. Фактически требуется понятие интеллекта определить через очень сложное понятие осмысленной речи. Это своего рода тавтология.
Единственный выход из создавшегося положения – отбросить все наукоемкие и философски солидные рассуждения, признать человеческую речь осмысленной по определению, на всякий случай отбросить все умные темы, ограничившись общими понятиями, и поговорить с программой. Однако в этом пункте разработчиков искусственного разума ожидало самое главное разочарование. Оказывается, так называемая осмысленная речь достаточно легко алгоритмизируется. Первый виртуальный собеседник появился уже в 1966 году – программа Элиза, созданная Джозефом Вейзем-баумом. Элиза моделировала речевое поведение, используя технику активного слушания, например используя фразы «Продолжайте, пожалуйста». Такие собеседники стали создаваться регулярно программистами и лингвистами, интересующимися проблематикой искусственного интеллекта, и с учетом того, что тест Тьюринга не имеет математически строгой формулировки и не вполне понятно, о какой ситуации можно сказать определенно «Программа тест прошла», то ценность самого теста таяла с появлением каждого нового виртуального собеседника.
И наконец, самая большая проблема. Человек обладает способностью осознавать то, что он делает. В отношении машины, отрабатывающей успешно тест Тьюринга, остается вопрос, а понимает ли машина, что она ведет беседу. В этой книге мы еще вернемся к этому вопросу, а пока заострите свое внимание на том факте, что обнаружение рефлексии на себя представляет задачу особой сложности.