Алексей Чачко - Искусственный разум

Мы не знаем всего этого, но умеем об этом толково рассуждать! Не помним, есть ли в Мексике король, изобрели ли китайцы пиво, изучал ли Иван Петрович кибернетику, но способны заключить, что короля скорее всего нет, что пиво, вероятнее всего, выдумали не китайцы и что Ивану Петровичу и без кибернетики хорошо.

Чудо чудное - негативную логику - психологи поймали в силки эксперимента, программисты обратили в машинные эвристики, а мы отдали ДУНЕ, чтобы Личный Помощник 5 не предлагал пирожков с морокой, с интригой или с мраморной крошкой.

Испытав семантическую сеть в пирожковом деле, рискнем применить ее в более серьезном производстве.

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

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

Моряки, конечно же, просят помочь математика - специалиста по оптимизации. Ученый бродит вдоль причалов, слушает гудки кораблей, грохот механизмов, радиоперекличку диспетчеров, а потом долго смотрит вдаль, на спокойное море и безоблачное небо. Выражение лица у него мрачное.

Что так обеспокоило специалиста по оптимизации? Что узрел он в синем небе?

Он увидел "проклятие размерности".

Он понял, что порт как объект математического описания имеет высокую размерность. Иными словами, чтобы передать все особенности, все детали жизни этого шумного и веселого многообразия, понадобится огромное число дифференциальных и алгебраических уравнений. Систему уравнений для порта и составить трудно, а решать, притом решать часто, чтобы успеть за изменениями обстановки на причалах и в складах, невозможно, даже на сверхбыстродействующем компьютере невозможно.

"Проклятие размерности" преградило обычной математике путь на территорию порта.

Да, но человек справляется с управлением портом! Он работает и ведать- не ведает о "проклятии размерности". В калейдоскопе ситуаций, в череде конфликтов, в постоянной нехватке причалов, механизмов, складов он находит выходы, изыскивает резервы, перебрасывает бригады, гнет свою линию.

Главное достоинство диспетчера - умение менять уровень подробности решения. То человек решает портовые проблемы в целом грубо, не входя в подробности, то занимается участком порта, то переходит на самый детальный уровень рассмотрения. Главное орудие диспетчера - язык, обыкновенная человеческая речь с профессиональными, конечно, тонкостями, с умением кратко определить особенности каждой крупной ситуации, детали каждого мелкого решения.

В середине 60-х годов два советских исследователя - энергичный и напористый Д. Поспелов и обстоятельный, неторопливый, похожий на рабочего-лекальщика Ю. Клыков взялись вплотную за проблему порта.

Они решили обойти "проклятие размерности" стороной, выбрали не традиционный путь, а неизведанную дорогу Искинта. Они начали с выделения главных понятий, характеризующих порт. Понятий оказалось около тысячи - от "погрузочного люка" корабля до "равномерной загрузки всех причалов и складов". Столь же методично Д. Поспелов и Ю. Клыков выявили существенные отношения, связывающие понятия. Этих отношений оказалось несколько десятков.

Из понятий и отношений они собрали семантическую сеть порта. Собственно говоря, в те времена отсутствовало наименование "семантическая сеть". Они назвали смысловую карту порта несколько иначе. Но не в имени дело: по существу, это была знаковая модель порта, по существу, производственные знаковые модели впервые в мире появились в нашей стране.

Д. Поспелов и Ю. Клыков обнаружили в работе диспетчера любопытное свойство. Число различных ситуаций, которые она охватывала, было огромно, но далеко не каждой ситуации соответствовал особенный, отличный от других способ действий. Набор возможных действий диспетчера в сотни раз уступал разнообразию ситуаций.

Диспетчер собирал сотни ситуаций в один пучок, в микроситуацию, и давал одинаковый ответ на сотни вопросов.

Как добиться, чтобы вычислительная машина умела делать то же самое, была в силах собирать ситуации, как детишек, в классы?