Знание-сила, 2002 №04 (898)

Не менее выдающиеся успехи демонстрирует и силиконовый напарник Шринивасана. В своей работе Шринивасан использует для обучения машины специачьное программирование на основе индуктивной логики (Inductive Logic Programming – ILP). Полученную информацию компьютер «встраивает» в теорию, заложенную в него, и последующие выводы делает уже на основе модернизированной теории. При этом разработан специальный понятный язык представления информации в общении «человек – компьютер», так что «коллеги» могут постоянно обмениваться не только выводами, но и информацией о путях их получения.

Шринивасан с коллегами использовали ILP для разработки специального лекарственного вещества, влияющего на повышенное кровяное давление. Эту задачу перед группой поставил известный эксперт-химик из Оксфорда, чтобы проверить способности компьютера. Вначале в компьютер были введены сведения о нескольких аналогичных веществах с определенными свойствами (кроме одного), а потом поставлена задача найти новое. Компьютер справился с задачей и отыскал то, что «спрятали» проверяющие. Мало того, он предложил еще пару веществ, доселе наукой не обнаруженных. Пока их свойства проверяются, но, похоже, компьютер отыскал целый класс веществ, воздействующих на повышенное кровяное давление.

Убедившись в работоспособности методики ILP, Шринивасан с коллегами решили попробовать аналогичный метод работы и с другими лекарствами. Компьютер уже предложил целый ряд новых лекарств, в том числе и от болезни Альцгеймера. Пока они проверяются, но эксперты сходятся в одном: нащупан новый путь для химического конструирования, на котором человек и компьютер выступают полноправными коллегами.

Еще одна программа в кремниевом исследователе по имени МЕСНЕМ достигла не меньших успехов: ее создатель, компьютерный ученый Рауль Вальдес-Перес из университета Карнеги-Мелон, применял программу к самым разным задачам химии, физики элементарных частиц, клеточной биологии и лингвистики. Везде ему удавалось получить что-то интересное, а результаты он публиковал в серьезных научных журналах.

В каждой из отраслей МЕСНЕМ работал в сотрудничестве со специалистами-людьми. По химии это был Андрей Зейгарник из московской Академии тонкой химической технологии. Он обучил МЕСНЕМ химическим свойствам окиси углерода, кислорода и некоторых катализаторов, а также основным закономерностям химических реакций. Потом по требованию Зейгарника компьютер начал выдавать самые разные варианты реакций. Среди них попадались и такие, которые прежде химикам и в голову не приходили. По мнению Зейгарника, компьютер обладает гораздо более свободным полетом фантазии, чем все знакомые ему ученые. Зейгарник всегда подчеркивал, что в результаты их совместной деятельности МЕСНЕМ внес больший вклад, и даже пытался его писать соавтором научных работ, но коллеги неизменно вычеркивали бессловесное кремниевое создание, аргументируя это тем, что мировое научное сообщество еще не созрело для принятия кремниевых исследователей в свою семью.

А вот математик Симон Колтон из университета в Эдинбурге заявляет, что уже готов это сделать. Его компьютерная программа HR уже отыскала 20 интересных числовых последовательностей, которые включены в «Энциклопедию цифровых последовательностей», самое полное собрание подобных результатов. HR начинает каждое свое исследование с изучения рядов чисел с определенными свойствами. Потом он усложняет свойства и выдает новые последовательности. Параллельно с поиском новых рядов компьютер все время анализирует связи между всеми остальными рядами в своей памяти и иногда отыскивает удивительные связи, которые оформляет в виде теорем. После этого в дело вступает Колтон и делает «фязную» работу: готовит результаты для публикации в научном журнале. Олин из первых результатов HR – ряд чисел, которые делятся на число своих делителей.

После несомненных успехов HR Колтон решил размножить своего кремниевого друга: он оснастил своей программой несколько компьютеров, причем каждую копию снабдил собственным именем в честь какого-нибудь известного математика – Рамануджан, Литтлвуд, Райт и Харди. Изначально все они были похожи друг на друга, но в процессе работы и постоянного самообучения развились в нечто оригинальное. Рамануджан, например, с удовольствием переключается с одной задачи на другую, а Литтлвуд предпочитает подолгу разрабатывать одну проблему, но зато уж досконально. Все компьютеры постоянно общаются друг с другом, и Колтон говорит, что это общение приводит к очень интересным результатам.

Колтон подчеркивает, что совсем не ставит перед собой задачу отнять хлеб у людей-математиков, он просто создает новую породу математиков. Работы, по его мнению, на всех хватит.