Искусственный разум - [34]
Побочный эффект от некоторого действия меняет ситуацию настолько, что следующее действие, обычно подходящее, становится бесполезным, а то и вредным. Вы, положим, приняли лекарство от простуды, насморк и кашель быстро исчезли, и можно было бы направиться на работу. Но от лекарств сильно стало болеть сердце, идти на работу не только бессмысленно, а даже опасно. Побочный эффект свел на нет положительное действие лекарства, усугубил болезнь. Если говорить языком ЛЮБОЗАРа - число различий не уменьшилось, а выросло, условия применимости операторов нарушились, программа увязла в болоте неаддитивности.
Реальный мир, в котором мы живем, предстает перед нами то аддитивным, то неаддитивным. Обличья мира зависят от того, какова задача, что для нас существенно, а что второстепенно, какие эффекты важны, а какими можно пренебречь, не потеряв главного. ЛЮБОЗАР решает только проблемы аддитивного мира, да и то тщательно приготовленные, препарированные человеком. Слабости ЛЮБОЗАРа перед нами как на ладони: он незадачлив, простоват, медлителен. Среди специалистов по Искинту ходят упорные слухи о том, что авторы ЛЮБОЗАРа поставили перед ним задачу о совершенствовании самого себя. По словам одних, ЛЮБОЗАР не решил этой задачи, ибо, не ведая того, оказался в неаддитивном мире.
Другие говорят, что программа задачу самоусовершенствования решила, сообщив, что ЛЮБОЗАР - предел совершенства. Смешно, но это правда, он совершенство в своем роде. Авторы программы после всесторонних ее испытаний пришли к такому заключению: "Чтобы добиться чего-нибудь существенно нового, нужно придумать совсем другие принципы и написать совсем другую программу".
Авторы ЛЮБОЗАРа отдали своему детищу 14 лет жизни, упорно совершенствуя прекрасно задуманную программу. То уточняли способ изложения задачи, то меняли очередность и степень включения в работу эвристик. И все время сопоставляли действия ЛЮБОЗАРа с решениями людей. Тем не менее они не добились полного успеха. Человеческое мышление ускользнуло из ловушки.
Нашей жизни теоремы
Скоро мыслию по древу
Будут соки растекаться.
Скоро, скоро! Потерпите,
Не спешите разбегаться.
В. Л. Соколов
Попробуем отказаться от ненадежной психологии в пользу строгой математики. Превратим жизненные проблемы в теоремы. Может быть, на этом пути удастся создать подлинный решатель любых задач?
Там, в геометрии, фигуры подчинены строгим законам; каков бы ни был треугольник, маленький или большой, равносторонний или разносторонний, подтянуто-прямоугольный или небрежно-тупоугольный, - в любом треугольнике сумма внутренних углов составляет 180 градусов. Видимо, и в житейской суете, в столкновении наших мыслей тоже возникают фигуры, тоже обозначаются углы, подвластные своим теоремам.
Я помню, какое сильное впечатление на меня, школьника, случайно прочитавшего томик философа Спинозы, произвела эта неожиданная и дерзкая идея. Мне казалось, что он отлил в строгие формы теорем не только наши мысли, но и душевные движения, но и эмоции, но и страсти - любовь и ненависть, дружбу и вражду, симпатии и антипатии. Противоречивые, хаотические, смутные, неуловимые, они приобрели под его пером изящную логическую форму: если... то... иначе...
"Если мы воображаем, что кто-либо причиняет удовольствие предмету, который мы ненавидим, то мы будем и его ненавидеть. Наоборот, если мы воображаем, что он причиняет этому предмету неудовольствие, мы будем любить его".
Ах, как славно теоремы Спинозы вписывались в школьные ситуации, как странно и неожиданно переплетались они со школьными уроками геометрии! Значительно позже, уже занимаясь вычислительными машинами, я осознал, что Спиноза в тех теоремах вовсе не создал исчисление эмоций. Для своих идей он выбрал внешнюю форму теорем, как выбирает поэт форму сонета или баллады.
И все же... Все же мысль обратить описания жизненных ситуаций в теоремы слишком соблазнительна, чтобы отказаться от нее. Максимы Спинозы логичны; и не в отсутствии логики их слабость. Их беда в другом. Изложенные на естественном, непринужденном, многоликом языке, они, увы, недоступны вычислительным машинам.
Совсем не таковы задачи, решаемые ЛЮБОЗАРом. Здесь условия заданы на однозначном языке математики, в виде формул исчисления предикатов. Искомая цель тоже предикатная запись. И, значит, есть "дано", есть "требуется доказать", есть настоящие теоремы.
Есть теоремы, нужен метод машинного их доказательства, алгоритм, способный доказать или опровергнуть любую теорему в узком исчислении предикатов. Такой алгоритм придуман недавно, и опробован, и работает безупречно. Он называется "метод резолюции".
Слово "резолюция" используется нами обычно в двух близких друг другу смыслах. Первый смысл хорошо выражен во фразе: "Собрание приняло резолюцию"; значит, не просто поговорили и разорились, а выработали коллективное решение.
Второй смысл слова "резолюция" очевиден из предложения: "На моем заявлении начальник наложил резолюцию". Здесь "резолюция" - заключение ответственного лица, она и короче коллективной резолюции, и касается более узкого вопроса. В обоих случаях русское слово "резолюция" означает нечто законченное, готовое, продукт решения.
Способны ли мы, живя в эпоху глобального потепления и глобализации, политических и экономических кризисов, представить, какое будущее нас ждет уже очень скоро? Майя Гёпель, доктор экономических наук и общественный деятель, в своей книге касается болевых точек человеческой цивилизации начала XXI века – массового вымирания, сверхпотребления, пропасти между богатыми и бедными, последствий прогресса в науке и технике. Она объясняет правила, по которым развивается современная экономическая теория от Адама Смита до Тома Пикетти и рассказывает, как мы можем избежать катастрофы и изменить мир в лучшую сторону, чтобы нашим детям и внукам не пришлось платить за наши ошибки слишком высокую цену.
Последняя египетская царица Клеопатра считается одной из самых прекрасных, порочных и загадочных женщин в мировой истории. Её противоречивый образ, документальные свидетельства о котором скудны и недостоверны, многие века будоражит умы учёных и людей творчества. Коварная обольстительница и интриганка, с лёгкостью соблазнявшая римских императоров и военачальников, безумная мегера, ради развлечения обрекавшая рабов на пытки и смерть, мудрая и справедливая правительница, заботившаяся о благе своих подданных, благородная гордячка, которая предпочла смерть позору, — кем же она была на самом деле? Специалист по истории мировой культуры Люси Хьюз-Хэллетт предпринимает глубокое историческое и культурологическое исследование вопроса, не только раскрывая подлинный облик знаменитой египетской царицы, но и наглядно демонстрируя, как её образ менялся в сознании человечества с течением времени, изменением представлений о женской красоте и появлением новых видов искусства.
Представьте, что в Англии растет виноград, а доплыть до Гренландии и даже Америки можно на нехитром драккаре викингов. Несколько веков назад это было реальностью, однако затем в Европе – и в нашей стране в том числе – стало намного холоднее. Людям пришлось учиться выживать в новую эпоху, вошедшую в историю как малый ледниковый период. И, надо сказать, люди весьма преуспели в этом – а тяжелые погодные условия оказались одновременно и злом и благом: они вынуждали изобретать новые технологии, осваивать материки, совершенствовать науку.
Перепады настроения, метаболизм, поведение, сон, иммунная система, половое созревание и секс – это лишь некоторые из вещей, которые контролируются с помощью гормонов. Вооруженный дозой остроумия и любопытства, медицинский журналист Рэнди Хаттер Эпштейн отправляет нас в полное интриг путешествие по необычайно захватывающей истории этих сильнодействующих химикатов – от промозглого подвала девятнадцатого века, заполненного мозгами, до фешенебельной гормональной клиники двадцать первого века в Лос-Анджелесе.
Книга Алисы Макмахон станет вашим гидом на дороге длиной в девять месяцев. Автор обеспечит вас всей необходимой информацией, поможет прогнать ненужные опасения и даст спокойное понимание того, что происходит в момент появления на свет новой жизни, а также ответит на многие вопросы, которые неизбежно возникнут до и после родов. Для широкого круга читателей и специалистов.
Огромное количество детей и взрослых по всему миру имеют проблемы с прикусом, и эти проблемы носят не только эстетический характер, они могут стать причиной серьезных заболеваний. В этой книге врач-стоматолог Сандра Кан, и Пол Р. Эрлих, известный биолог, изучают причины и последствия неправильного развития челюсти у современного человека, а также представляют новый взгляд на ортодонтию и лечение зубов. По их мнению, из-за недостаточного развития челюсти могут возникать апноэ, затруднение дыхания, болезни сердца, депрессия и другие опасные состояния.