Cтраница 2
В заключение следует сказать, что при переводе настоящей книги на русский язык были сделаны небольшие отклонения от оригинала: были опущены статьи Тьюринга Может ли машина мыслить. Армера Отношение к разумным машинам и Сел-фриджа и Нейсера Машинное распознавание образов; первая и вторая из этих работ уже переведены на русский язык, а третья к настоящему времени в значительной своей части устарела. Кроме того, в тексте некоторых статей произведены незначительные сокращения. Наряду с этим в связи с большим значением информационных языков была дополнительно включена статья Ньюэлла и Тонга, содержащая краткое описание языка IPL-V. Большую и самостоятельную ценность представляет помещенная в книге обширная библиография, снабженная тематическим указателем, которая существенно дополнена при переводе. [16]
Противоположное направление, обозначаемое иногда как нейрокибернетика или самоорганизующиеся системы, обладает своей особой привлекательностью, и оно уже выдвинуло ряд конкретных проектов исследований. Подход нейрокибернетиков к задаче создания разумных машин заключается в следующем. Большое число элементов, каждый из которых осуществляет очень простое преобразование информации, соединяется в случайную или определенным образом организованную сеть, и задаются правила их возбуждения или торможения. Для создателей познавательных моделей характерен гораздо более макроскопический подход, при котором в качестве исходного пункта берутся весьма сложные механизмы для переработки информации. [17]
Хотя направление ИИ во многом посвящено разработке машин, которые действуют так, как если были бы разумны, большинство последних конструируется без всякого намерения подражать когнитивным процессам человека. Однако, есть и те, кто занят разработкой разумных машин, моделирующих человеческое мышление, и именно эта перспектива - компьютерное моделирование ( КМ) будет в основном освещаться в этой главе. Когда-нибудь будет почти невозможно сказать, где кончается ИИ и начинается КМ; мы будем использовать широко принятый термин ИИ для обозначения всяких результатов компьютерной деятельности, которые сочли бы разумными, если бы они были произведены человеком. [18]
В предыдущих разделах нас интересовало то обь щее, что обнаруживается при сравнении человека и машины; они характеризуют уровень имитации ( в некотором смысле) поведения живых организмов, на который способны вычислительные машины. В этом разделе мы не будем больше интересоваться ни созданием таких разумных машин, ни сравнением человеческого мозга и машины, а займемся исследованием самой природы алгоритмических ( предназначенных для выполнения на некоторой машине) вычислений независимо от того, выполняются ли они машиной или человеком. [19]
Разработанная Гринблатом программа для игры в шахматы под названием Мак-Хек часто используется в Америке и обладает возможностями довольно сильного игрока Однако никому не приходит в голову называть программу Мак-Хек первой в мире разумной машиной. И это прежде всего потому, что она столь же бесполезна для решения дифференциальных уравнений, как любая программа для решения дифференциальных уравнений бесполезна для игры в шахматы. Человеческий разум характеризуется не только и не столько проявлением каких-либо талантов в определенной области, сколько возможностью успешного их проявления в самых различных областях. [20]
Примерно в это же время Максвелл в поисках оружия против тепловой смерти изобрел своего демона - существо со столь развитыми чувствами, что оно может наблюдать отдельные молекулы и управлять ими. Разделив сосуд с газом на две части и собирая более быстрые молекулы в одной из них, демон смог бы, не производя работы, изменить температуру в отдельных частях сосуда. Таким образом разумная машина может предотвратить тепловую смерть. [21]
Наша машина стала теперь космической разумной машиной и полностью переместилась в гиперпространство. Это означало, что она не была нигде, и все же существовала повсюду, ибо гиперпространство контактирует с обычным пространством в любой его точке. [22]
Предсказываются изменения, которые автоматизация внесет в экономическую, социальную и политическую организацию общества. В ряде случаев дается прогноз технологического прогресса в определенной области и исследуются его последствия для промышленности, труда, теории, администрации, социальных наук, образования и досуга. Вторая часть Значение для теории, включающая обсуждение возможности будущих разумных машин, пожалуй, представляет главный интерес для технологического прогнозирования. В ней исследуются руководящие идеи и движущие силы некоторых технических нововведений и выдвигается идея электронного ящика-предсказателя для оценки существующих тенденций. [23]
В той мере, в какой действия машины влияют на среду, эта внутреняя модель мира будет нуждаться в сведениях о самой себе. Если кто-то спрашивает машины, почему они решили сделать так-то и так-то ( или машина спрашивает об этом сама себя), то любой ответ должен прийти от этой внутренней модели. Таким образом, доказательность интроспекции сама по необходимости должна в конечном итоге базироваться на процессах, используемых при построении кем-то образа самого себя. Спекулятивные рассуждения о форме такой модели приводят к любопытному предсказанию, что разумные машины неохотно будут верить в то, что они только машины. Доводы следующие: наша модель самого себя имеет существенно двойственный характер. Имеется часть, касающаяся физической или механической среды, - с поведением неодушевленных объектов, и часть, связанная с социальной и психологической стороной. Мы вынуждены рассматривать обе эти части порознь именно по той причине, что до сих пор еще не имеем удовлетворительной физической теории умственной деятельности. [24]
Другим примером могут служить диаграммы Венна, которые представляют собой средства, помогающие проводить логические рассуждения. Мы можем представить высказывание все В суть А с помощью двух соответственно обозначенных областей, одна из которых полностью лежит внутри другой. Если мы теперь в соответствии с теми же правилами добавим третью область С для представления высказывания все С суть В, то результирующая диаграмма представляет собой импликацию все С суть А, так как область С должна целиком лежать внутри области А. В действительности для подобных ситуаций существуют более простые схемы, так как при этом не все из свойств эвклидова двумерного пространства необходимы, но, ввиду того что такая форма представления позволяет описывать и многие другие ситуации, разумные машины достигли бы некоторой экономии, используя такие универсальные представления везде, где они оказываются выгоднее создания специальных схем для каждого случая. [25]
Поэтому, когда Эшби и некоторые другие авторы подчеркивают важность акта отбора, не говоря о задаче, они этим вносят неясность в проблему моделирования мыслительного процесса. Задача может быть отделена от отбора, не утрачивая своего смысла ( в науке - это скорее правило, чем исключение), но отбор без задачи имеет значение только как обогащение эмпирического материала новыми данными. Поэтому тезис: Разумной следует считать систему, способную выполнять подходящий отбор ( Эшби) неполон и его следует заменить на другой: Разумной следует считать систему, способную ставить и решать логические задачи. Только эта способность является критерием разумности, так как решать практические или информационные задачи способны все живые существа. Понимая под разумностью способность производить подходящий отбор, Эшби благодаря такому ограгичению преждевременно объявил, чти положение проблемы разумной машины прояснилось, и ответ на этот вопрос известен. В своих трудах он старается показать, что нужно расстаться с понятием разума как способностью мозга, независимой от наблюдаемого поведения системы. Тавтологический характер этого тезиса выражает метод автора, который считает, что нет других способов определить разумность системы, кроме характера ее поведения ( бихевиоризм), и в этом смысле автомат, действующий разумно, можно считать наделенным разумом. Разумно же то, что полезно для системы, что содействует ее выживанию и сохранению. Кроме элементов прагматизма - это дань осторожному позитивизму, который не хочет себя связывать никакой интроспекцией, никакими объективно не наблюдаемыми параметрами. Но что пригодно для автомата, то неплодотворно для мыслящего мозга человека с его основной функцией - сознанием и самосознанием. Эшби к названию своей книги Конструкция мозга дает многозначительный и ограничивающий подзаголовок Происхождение адаптивного по - Бедения ( курсив наш. Поэтому, возможно, нужно считать, что ряд крайних высказываний Эшби не относится к сознанию и мышлению в собственном смысле слова. [26]
Искусственный разум проявляется не в том, чтобы играть в шахматы или решать любые интеллектуальные задачи. Он проявляется в обобщениях, включающих процедуры решения конкретных задач ( и вытекающих из них), обладающих, однако, элементами общности. В этот класс входят различные методы поиска решений на дереве, созданные первоначально для алгоритмов автоматического ведения игры. Цель разработки искусственного разума состоит в объединении всех существенных элементов знания в единую библиотеку подпрограмм ЭВМ, содержащихся в машинной памяти и организованных таким образом, чтобы машина могла давать осмысленные и полезные ответы на вопросы человека. Каждая из них представляет собой тему научной работы, которая должна быть исследована до того, как все элементы программы разумной машины могут быть объединены в нечто способное вести с нами разумный разговор. [27]
Так что этюд должен лежать где-то посередине между реальной жизнью и тривиальными упражнениями. Поскольку культура - всеобщее достояние, большинство игр доступно пониманию каждого; объяснить прикладную задачу в наше время также нетрудно. Очень часто поведение игровой программы или, скажем, транслятора поддается строгому описанию, так что корректность решения можно проверить. Входные данные обычно невелики по объему, и готовить их легко; выходные данные легко воспринимаются. Обе упомянутые области требуют применения весьма развитых алгоритмов и структур данных, так что вряд ли какие-либо сложности в прикладных программах смогут впоследствии поставить студента в тупик. Наконец, в обеих этих областях ЭВМ предстает перед нами как мощный объект абстрактного разума ( такой подход принят в задачах искусственного интеллекта); возможно, в нашем подборе задач чувствуется давний интерес к разумным машинам. Имеется, конечно, много задач и из других прикладных областей. При их отборе мы руководствовались в основном легкостью объяснения ситуации, которая приводит к постановке задачи. Тем, кому некоторые этюды покажутся легкомысленными, мы напомним, что Гайдн создал симфонию из колыбельной песни. [28]
Есть ли у них ногти. Чтобы разумная машина понимала язык, она должна уметь при обработке языка делать разумные выводы, как это делают обычные люди. Основная идея Шенка близка принципу обработки сверху-вниз, широко обсуждающемуся в этой книге. [29]