Журнал «Вокруг Света» №10 за 2007 год
Шрифт:
Хозяйственный ритм тоже старался поспеть за природным. Именно в тот день открылось прогулочное судоходство вдоль берегов всей Аляски, и мы с удовольствием «обплыли», отправившись из городка Уиттиера (где начинаются и транстихоокеанские круизы огромных теплоходов серии Diamond Princess), залив Принца Уильяма. Рекомендовал нам это сделать еще епископ Николай — мол, это лучшее место, где можно увидеть всех аляскинских животных, которых именно тут особенно усердно отстреливали пару веков назад Голиковы, Ласточкины, Шелеховы и иже с ними. Каланов, тюленей, морских львов и касаток здесь действительно — пруд пруди. Они валяются на льдинах, устраивают показательные состязания по прыжкам в воду и вообще
Залив Принца Уильяма, или, как писали на старых русских картах, Вильгельма. Раньше в нашей традиции было принято германизировать все имена, хоть тут речь и идет об английском принце, будущем короле Вильгельме IV, в честь которого назвал этот залив мореплаватель Джордж Ванкувер. Водное пространство окружено мощными Чугачскими горами с трех сторон — и со многих из этих гор к его берегам сползают «языки» уникальных пресноводных ледников…
В общем же и целом, дойдя до высшей своей точки, путешествие наше приблизилось к концу. Мы готовились попрощаться с Аляской, поблескивающей матовой голубизной в точке соприкосновения Света со Льдом и Снегом.
…В воскресенье утром, первым утром первого воскресенья после объединения зарубежной и русской Православных церквей, на широкой парковке перед кафедральным собором Святого Иннокентия в Анкоридже не протолкнуться от машин. Будто сюда съехался весь город, независимо от вероисповедания. Под сводом собора звучит красивый сильный тенор епископа Николая. Иногда владыка переходит на русский, который больше напоминает, правда, сербский, но основная масса прихожан ведь этого не знает.
Наконец начинается завершающая молитва — как бы «титры» церковной службы, в которых надо помянуть заранее установленный и освященный традицией круг лиц и явлений. В каждой епархии он свой. Здесь, в Анкоридже, штат Аляска, в 2007 году молятся за епископа Николая, этой земли пастыря. За архиепископа Вашингтонского и Нью-Йоркского, предстоятеля Православной церкви в Америке. За Патриарха Московского Алексия. И за русский народ «в отечестве его и иных краях пребывающий». Аминь. Надо приблизиться к амвону и поцеловать Евангелие.
И вот они идут вереницей по скромному кругу — просто любопытные, англосаксы или потомки тех, кого крестили давно ушедшие, кого никто уже не помнит и чьего языка не понимает. «Странные», прожившие всю жизнь в Соединенных Штатах Америки, храбро и честно служившие им на многих войнах, всецело разделяющие идеалы демократии и свободного рынка, голосующие за сенаторов, губернаторов и президента, участвующие в борьбе за политкорректность и равные права женщин нерусские русские люди. Люди, которые сохраняют верность «русскому Богу», верность отнюдь не показную, поскольку козырять ею тут не перед кем. Православные коренные американцы.
Дай им Бог всего доброго.
Фото Льва Вейсмана
Алексей Анастасьев
Разум из машины
На заре вычислительной техники многие ожидали, что в недалеком будущем компьютеры обретут способность к разумному поведению, сравнимому с человеческим. Эти прогнозы оказались слишком оптимистичными — прошло уже полвека, а искусственный интеллект все еще очень далек от
За последние десятилетия попытки создать «разумную» машину постепенно вылились во множество самостоятельных направлений: распознавание образов, машинный перевод, восприятие устной речи, многофакторная оптимизация, принятие решений в условиях недостаточности информации, поиск пути к цели (в частности, поиск логических доказательств) и, конечно, задача задач — создание самообучающихся систем, способных справляться с проблемами, к которым их не готовили. У всех этих задач есть нечто общее, что их объединяет, — невозможность сформулировать алгоритм (четкую пошаговую инструкцию) для их решения. Компьютер с искусственным интеллектом справляется с задачами, когда сам программист может не знать способа решения. Но расплачиваться за интеллект приходится тем, что машина утрачивает свойственную ей механическую безошибочность. Подобно человеку, который полагается на привычки и интуицию, интеллектуальная программа находит нужное решение быстро, но не гарантированно. Именно за уменьшение вероятности ошибок при сохранении скорости принятия решений идет основная борьба в исследованиях по искусственному интеллекту (ИИ).
Пролог
Первые работы в области ИИ были связаны с решением формальных задач — игрой в шахматы и доказательством математических теорем. Это ли не квинтэссенция интеллекта, как его понимает большинство людей? Специалисты, однако, надеялись, что обучить машину справляться с такими строго формализованными задачами будет проще, чем с теми, где и человеку-то не вполне ясно отличие правильного решения от ошибочного.
В начале 1970-х годов на пике компьютерной моды было создание языков программирования. Они настолько облегчали труд программистов, что, казалось, любая проблема разрешится едва ли не сама собой, стоит только придумать подходящий язык. Обычные языки программирования называют императивными: программист пишет компьютеру предельно детализированную инструкцию, не подлежащий обсуждению приказ (императив). Никакого интеллекта от машины-исполнителя не требуется — вспомните советских «Отроков во Вселенной», которые детской загадкой про «А и Б» почем зря жгли мозги инопланетных роботов-исполнителей. А вот интеллектуальным «вершителям» из того же фильма загадки были нипочем — у них была хоть и извращенная, а все-таки свобода мысли.
Чтобы оставить компьютеру интеллектуальную свободу, были разработаны языки принципиально иного типа — декларативные. Самый известный из них назывался Пролог (от «программирование логическое»), само это название говорит о том, какие большие возлагались на него надежды. Вместо инструкций программист записывает на Прологе формализованные знания о предметной области и формулирует условия задачи, а компьютер пытается найти ее решение, опираясь на описания (декларации) и правила логики. Например, в качестве предметного мира можно задать набор геометрических аксиом, условием задачи взять теорему Пифагора, а компьютер построит ее доказательство. Калькуляторы отучили школьников считать, а с таким языком и умение рассуждать оказалось бы лишним.
Впрочем, ставка на декларативные языки, в частности на Пролог, была ошибкой. За оберткой Пролога все равно скрывается обычный компьютер, выполняющий команду за командой. А то, что снаружи выглядит как интеллектуальный поиск доказательства, внутри оказывается перебором всех возможных вариантов рассуждений, пока один из них не окажется нужным доказательством. С несложной теоремой компьютер справляется на удивление быстро. Но стоит немного усложнить задачу, и вот уже никакой, даже самой фантастической, производительности не хватит для полного перебора вариантов.