Робот никогда не заменит человека!
                     (Людоедская классика)

            И Ш К У Ш Ш Т В Е Н Н Ы Й    И Н Т Е Л Л Е К Т
                       (конспект  лекций  для  Светы)
    [не рекомендуется впечатлительным научным работникам]

                ЛЕКЦИЯ 1. КИБЕРНЕТИКА НА ГОРШКЕ

                НЕЙРОНЫ-АВТОМАТЫ-ПЕРСЕПТРОНЫ

                     Как хорошо, что дырочку для клизмы
                     Имеют все живые организмы!
                     (Н. Заболоцкий)

       НЕЙРОННЫЕ СЕТИ появились одновременно с  их  создателями,  которые  на
заре  натуралистической  кибернетики брали внутреннее устройство человека и
размазывали  его  по  математическим  статьям  и  техническим  монографиям.
Смотреть на то, что в результате получалось, не отворачиваясь, могли только
узкие специалисты...
            Проблема N 1 кибернетики: Каким местом человек думает?
            Проблема N 2 кибернетики: Как он это этим местом делает?
       Возникла наивная гипотеза, что за  нас  думают  нейроны.  Причем  всей
нервной   системой.   Причем   "думать",  с  точки  зрения  нейрона  -  это
возбуждаться! Если вас что-то или кто-то возбуждает, это значит  заставляет
думать?! А перевозбудиться - это значит сильно задуматься?!
       Под гипотезу извели много денег и чернил, но  дело  оказалось  дохлым.
Если из таких, извините, возбужденных нейронов смоделировать разум отдельно
взятого кибернетика, то он потребует всех ресурсов  Земли,  включая  самого
несчастного  кибернетика.  А  если замахнуться на моделирование пятилетнего
ребенка, то и Солнечной Системы не хватит.  А  нам  тогда  куда?  Микробами
работать?  Короче, даже кривого компьютера на нейронах не смогли построить.
       Поэтому от нейронов, кто успел, рванули  быстренько  к  нейтронам,  за
которых  в  оборонных  ящиках  давали  хорошие деньги, чернила бесплатно, и
молоко за вредность.
       Кто тогда мог подумать, что через тридцать лет, нейроны эксгумируют  и
будут  снова  платить  за  них  деньги. А "быстрых разумом нейтронов" будут
преследовать и изводить зеленые. Так что те, кто успел -  рванули  обратно,
не  вылезая  из  ящиков.  Быстро конвертировали нейтроны обратно в нейроны,
спрятав до лучших времен букву "т", и сейчас с их помошью распознают что-то
полезное.  Например,  букву "А" отличают от буквы "Б" без участия человека.
       Короче, тогда нейроны плохо кончили. Их заменили КОНЕЧНЫЕ АВТОМАТЫ, из
которых   целого   компьютера   тоже  не  построили.  Разве  что  отдельные
шестеренки.
       Гениально  предвидя   печальную   перспе ктиву  автоматов,   Фон-Нейман
последние  годы  своей  жизни  посвятил  работам  по  самовоспроизводящимся
автоматам. Много читал лекций, но инерцию не преодолел - автоматы  пока  не
надумали сами размножаться.
       Но, когда из автоматов выбросили железо и оставили только  математику,
то они здорово сгодились в формальных грамматиках.

       С  ПЕРСЕПТРОНАМИ  влип  в  историю   персонально   Розенблатт.   Когда
официальная  комиссия  пришла проверить, куда "плакали выделенные денежки",
то  увидела  в  его  лаборатории  вместо  ничтожных   результатов   большой
беспорядок.
       Розенблатт сказал, что это и есть его "персептрон".
       - Ну и что?
       - Это необ'яснимо, но доказуемо, - сказал Розенблатт, поскольку молчать
было опасно.

       ТЕОРЕМА РОЗЕНБЛАТТА. Только из беспорядка может кое-что получиться.
       ДОКАЗАТЕЛЬСТВО. Если принципиально подойти к сути, то из чего же еще?!

       СЛЕДСТВИЕ. Самоорганизуйся и самоспасешься!
       ДОКАЗАТЕЛЬСТВО. Не Пушкин же это за тебя должен делать!

       С помощью персептронов тоже пытались распознавать. Но только порядка в
персептронах  было  меньше,  чем  в  нейронах,  что позволило продвинутся в
исследованиях значительно  дальше.  А,  чтобы  придать  беспорядку  научную
респектабельность, Марвин Минский (который на самом деле Массачусетский, из
MIT) к запутанным проводам добавил алгебраическую путаницу. Туда же, как  и
во  всякое  сомнительное дело, добавили теорию вероятностей. (Известно, что
невероятной силы такой симбиоз достигает  при  отрицательных  вероятностях,
хотя понимание этого небезопасно для рассудка).
       Короче, беспорядок приводит себя  в  порядок  посредством  обучения  с
наказанием,  в виде  возврата к беспорядку. И поощрением, в виде отсутствия
наказания.
       Например. Вы персептрону будете показывать фотографии своих  ближайших
подруг,  повторяя: "Смотри - какие мордочки! И все прочее!...".  Персептрон
с каждой новой подругой все  радостнее  будет  соглашаться  с  ходом  ваших
мыслей. Потом покажете фотографию тещи, и тоже об'ективно прокомментируете.
После этого персептрон запросто будет отличать ваших новых подруг от  новых
жен. Что может очень вам помочь в научной суете жизни.
       Можно, конечно, научить персептрон отличать и букву "А" от буквы  "Б".
Но  какая  в  этом  радость?  Проще взять ребенка, ремень, и с минимальными
финансовыми затратами...

       А потом оказалось,  что  в  Киеве  живет  и  все  это  давно  придумал
основатель  кибернетики  Ивахненко. А "персептрон" в переводе на украинский
назывался  МГУА  (Метод  Группового  Учета  Аргумента).  И  уже  не  только
распознавал,  но  и  предсказывал,  и  не  только  с емейное  счастье,  но и
солнечную активность, и курс купонов на  двадцать  лет  вперед.  Поэтому  и
портрет  свой  двадцать  лет назад в Политехе он повесил среди основателей.
Правда, не единолично, а рядом с  Глушковым, который  за  автоматы  получил
Большую Советскую премию, поскольку представил доказальства теорем.

                  ЧЕРЕПАШКИ

                     Не бывает безвыходных ситуаций!
                     Бывают ситуации, в которые не попасть!
                     (Еврейский фольклор)

       Еще кибернетики носились с ЧЕРНЫМ ЯЩИКОМ. В нем  специально  придумана
абсолютная  темнота, чтобы  ничего  не видно было. Ибо не важно, что внутри
ящика, важно, как ящик себя ведет. То есть важен ПОВЕДЕНЧЕСКИЙ АСПЕКТ, если
по-научному.  Что  соответствует   народной  мудрости: "...  главное, чтобы
человек был хороший!".
       В те времена большую  радость  доставляли  кибернетические  черепашки,
которых (в отличие от формул и перепутанных проводов) можно было оформить в
виде красивых коробочек с одним глазом, шныряющих по лабиринтам.
       Шнырять - дело  дурное  -  теории  не  требует.  Теоретики-кибернетики
вынуждены были придумывать себе задачи. Самой популярной была тогда задача,
как обез'яне достать высоко подвешенный банан,  или  вариант  с  мужиком  и
поллитровкой, как более практически полезный.
       Когда журналисты  исписались  всласть  о  киберах.  Когда  наснимались
всласть  одноглазых черепашек в лабиринтах. Когда последняя черепашка нашла
в последнем лабиринте и с'ела последний рваный  экспериментальный  доллар -
встал  вопрос, а кому еще все это надо, кроме кинематографии. И тогда дошла
наконец до прогрессивных умов очевидная КОНЦЕПЦИЯ БЭКТРЕКИНГА: "В лабиринте
важно  не  то, как в тупик заберется эта дура одноглазая, а то, как из него
выбираться". Быстро вперед переть и Циклоп может, а отступать с умом  могут
только Кутузовы...

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

            ОБЩИЙ РЕШАТЕЛЬ ВСЕОБЩИХ ПРОБЛЕМ

                     No problem!
                     (made in USA)

       Ньюэл, Саймон и Шоу прошли в классики с Общим Решателем Проблем (GPS),
призванным решить, наконец, все проблемы. Тут хоть что спрашивай, ему (GPS)
главное заданный глупый вопрос сделать умным и обобщить, а уж в общем  виде
он (GPS), что хочешь запросто решит. Вот только полученный ответ надо затем
из общего вида в конкретный перевести.
       Например. Вы спрашиваете:"Сколько ног у человека?".
       GPS обобщает человека до животного.
       Следует тривиальный логический вывод - четыре лапы.
       Конкретизация возникает одновременно с вопросом,  который  GPS  задает
сам  себе:  "А  если спрашивают такую глупость, значит человек ненормальное
животное! А значит, лап меньше (откуда больше-то взять).  Но на  трех  даже
таракану ходить неудобно. Значит две! Или одна с подпрыгиванием!"
       Но  дальше  внутренний  голос  GPS  говорит:  "Эврика!"  И   совершает
интеллектуальный  прорыв:  "У  человека четыре конечности, которые он может
превращать в ноги в количествах, зависящих от возраста и трезвости."
       К сожалению, GPS был слишком Обшим Решателем. Спросишь  его  на  бегу:
"Сколько  будет  два  плюс  два?".  А  он обобщит это до абелевой группы по
операции сложения на множестве Z. А потом конкретизирует, что такая  группа
даст в качестве результата обязательно целое число. И радуйся, если хочешь.
       А как только представишь, каких обобщений и разбиений задачи на  более
простые  подзадачи  потребует от GPS ответ на вопрос: "Чо те ваще-та нада?"
- больше и спрашивать ничего не захочешь.

       ТЕОРЕМА. GPS  мыслил.
       ДОКАЗАТЕЛЬСТВО.  По  логическим  лабиринтам  GPS  мог  ездить   только
м_ы_с_л_е_н_н_о, поскольку был без колес.

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

Disclaimation: Фамилии вымышлены, факты извращены, а выводы ошибочны.
---
sae

              ЛЕКЦИЯ 2. сМЫСЛь

           СЕТИ ПОЛНЫЕ СМЫСЛА
                     Мысль умирает первой!
                     (надежда)

       Книгу Тьюринга "Может ли машина мыслить?" у  нас  ругали  потому,  что
машина  должна  ездить. Но потом появился компьютер и на первое место вышло
последнее слово (мыслить). А поскольку все хотели,  чтобы  последнее  слово
осталось  за  ними,  то  задумались над его смыслом. А потом задумались над
тем, что такое СМЫСЛ. Выиграли те, кто плюнул  на  поиски  смысла  в  слове
"смысл"  и ударился в исследования СЕМАНТИКИ. Их стали звать специалистами,
а зазевавшихся на "смысле" - философами, в неприличном смысле этого слова.
       А когда и эта концепция оказалась не по зубам, то один сделал  карьеру
на   укороченном   понятии   КОНЦЕПТ   (Шенк),   а  остальные  бросились  в
СЕМАНТИЧЕСКИЕ СЕТИ. То есть увернулись от непонятного посредством обобщения
до  неизвестного.  Очень  быстро  семантические  сети  позволили воссоздать
исходный ХАОС мироздания и снова  загнать  кибернетику  в  интеллектуальный
тупик.
       Возьмем самый элементарный пример: "Федя дал книгу Мане".
       Проще некуда?
       Изобразим сеть с Федей и Маней и их связь (через  книгу), направленную
от  Феди  к  Мане.  Но,  поскольку  все эти об'екты обладают свойствами, то
припишем Феде свойства "хороший и сильный", а книге и Мане - "очень хорошая
и интересная". И пририсуем их.
       Но ведь  есть и многие другие связи, которые тоже следует отобразить в
сети:  семейные  (у  Феди  жена  и  трое детей), дипломатические (с тещей),
агентурные (Федя шпион, но не любит об этом хвастаться), телепатические  (у
Мани   с   Кашпировским   и   еще   с   одним   стеснительным   мальчиком),
производственные (у Феди с оборонным КБ, а у Мани с  начальником) и т.д.
       А  дальше  в  сеть  надо  пририсовать  место  их  встречи   со   всеми
подробностями.   Да  и  свойств  у Феди, Мани и книги еще сколько хочешь. А
связей у тещи побольше, чем у остальных...
       Понятно,  что  рисовать  (а  тем   более   в   компьютер   запихивать)
семантические сети реальной сложности может только маньяк.

       Чтобы спастись от хаоса, а также, чтобы освежить в памяти человечества
свою  фамилию,  Минский  (который  на  самом  деле  Массачусетский, из MIT)
подкинул прочим теоретикам слово "фрейм". ФРЕЙМ (FRAME) можно перевести, не
только  как  РАМКА  или  ФРАМУГА,  но  и менее изящно СКЕЛЕТ, ОСТОВ. А идея
состоит в том, что хаос семантических сетей уменьшится, если его разбить на
составляющие  его  подхаосы - фреймы. Фрейм "ВСТРЕЧА", фрейм "СЕМЬЯ", фрейм
"ШПИОНАЖ" и т.д. А потом уже все это в одну рамку вставлять.
       Навел ли фрейм порядок  в  сетях,  не  очевидно.  Но  добавил  туману.
Определений  ему  придумали  много. Вот одно из многочисленных, придуманных
Кузиным (это уже не МIT, а МИФИ): "Фрейм - это способ мышления". И порочный
круг  благополучно  замыкается.  А  проблема  проваливается в СЛОТЫ (щели),
которых в каждом фрейме в изобилии.

              ЗНАНИЕ - СИЛА
                     Знал, но забыл...
                     (из воспоминаний)

       Развитие кибернетики происходит по принципу "Шаг  вперед  -  два  шага
назад",   предначертанному  (правда,  по  другому  поводу)  исключенным  из
классиков помощником присяжного поверенного.
       Не получилось с "заставить машину думать"  -  задумались  о  том,  что
сначала  ЗНАНИЯ надо бы в машине расположить. Тогда думать и легче будет, и
будет над чем.
       Наслушались "любите книгу -  источник  знаний"  и  начали  учебники  в
машины  вводить.  Но  не  тут-то  было!  Оказалось,  что  знания  в  машине
автоматически превращаются в ДАННЫЕ.
       Да что там учебники! Любую энциклопедию машина все равно  переваривает
в  данные.  А  если  признаться  честно,  что дальше с этими данными внутри
компьютера происходит, так это все равно, как обсуждать проблемы микрофлоры
кишечника на званом обеде... Вот во что превращаются все знания!
       Поэтому и стали всякие  семантические  сети  выдумывать.  Мол,  знания
размещаем.  Мол, БАЗЫ ЗНАНИЙ создаем. Только и это оказалось не знаниями, а
той же энциклопедией со ссылками, то есть даннми! Хоть ты расшибись!
       И пошли по известному кругу. Поскольку, что  такое  "знание"  пришлось
опять  оставить философам (которых уже стали чуть больше уважать), то самим
осталось задаться вопросом, что  такое  БАЗЫ  ЗНАНИЙ.
       Оказалось, что это совсем не то, что вначале думали. В  жизни  учебник
или энциклопедия становятся знаниями, когда к ним прикладывается голова.
       А перед ИИ стояла задача - получить знания без головы.

          ЧТО ДЕЛАТЬ?  КАК ДЕЛАТЬ?
                     "Делать нечего, бояре..."
                     (известное)

       Кто знает, как делать - делают. Мы же будем учить на их ошибках.
       Нужно  в  конце-концов   договориться,   какие   свойства   определяют
Искусственный  Интеллект(ИИ),  Базы  Знаний(БЗ)  и  Э кспертные Системы(ЭС).
(Чтобы не  мутить  воду  гносеологическо-диссертационными  изысками,  будем
считать, что это все одно и то же).

       А теперь о ЧТО и КАК.

       ЧТО  НАДО (во-первых):  Чтобы  ИИ  был,  как  крутой  детектив.
       Если сразу  известен  алгоритм  -  нет  детектива,  и  нет  ИИ!  Здесь
обязательно  неизвестно, как решить задачу "найти и обезвредить". На основе
неполной и неточной информации разрабатывают гениальный  алгоритм,  которым
вооружают супермена-исполнителя. Алгоритм заводит его в тупик. Он отступает
по всем правилам военного искусства Голливуда, приобретя несмертельные раны
и  новую  информацию.  На  основании  уточненной информации рождается новый
алгоритм, еще гениальнее предыдущего и т.д. В конце-концов,  выпустят  тех,
кого поймали и поймают, которых надо. И задача решена! Некоторые погибнут!
       КАК НЕ НАДО (во-первых): Не  надо  делать  автоматические  синтезаторы
алгоритмов  в  духе  Манны,  Валдингера  и  даже  блистательного Непейводы,
поскольку они хотят заставить простых  следователей-программеров  описывать
условия задачи формально. А формальный подход в данном случае совсем не то,
о чем имеет право мечтать конченный (happy-end) пользователь (user).   Это
запись   условий   на   специальном   языке   математических  меньшинств  в
программировании, напоминающем китайско-арабскую письменность и  называемом
языком  ПРЕДИКАТОВ  (сказуемых).  Нормальный конченный пользователь сделать
это без ошибок не может! Кто не согласен, пусть опишет даже  самую  простую
задачу одними сказуемыми.
       Русский язык поддается формализации только в случаях, которые не могут
быть опубликованы.
       ИЛЛЮСТРАЦИЯ:
       - Какие могут быть  формальности  между  друзьями!  Вася,  сделай  мне
программу сортировки.
       - А что такое сортировка?
       -  Мне  надо,  чтобы  я  вводил  любые  числа,  а  программа  выдавала
УПОРЯДОЧЕННЫЕ числа.

       (через неделю)
       - Ты что, Вася! Я ввожу 5 4 7 6, а твоя программа выдает 1 2 8 9.
       - Так бы и сказал, что она должна использовать ВВЕДЕННЫЕ числа.

       (через неделю)
       - Ты что, Вася! Я ввожу 5 4 7 6, а она выдает  4 5 6.
       - Так бы и сказал, что ВСЕ числа должны присутствовать.

       (через неделю)
       - Ты что, Вася! Я ввожу 5 4 7 6, а она выдает 4 5 6 7 и 8 и 9.
       - Я выдал все, а от себя ДОБАВИЛ, по дружбе, чтобы ты от меня  отстал,
наконец.

       (через неделю)
       - Ты что, Вася! Я ввожу 5.4 и 7.6, а она даже два числа  отказывается
сортировать.
       - А откуда я знал, что тебе НЕ ТОЛЬКО целые надо сортировать?
         Может тебе завтра взбредет комплексные сортировать?! Последний раз!!!

       (через неделю)
       - Ты что, Вася! Программа больше девяти чисел не сортирует...

       ... И ВАСЯ!

       ЧТО НАДО (во-вторых): Чтобы ИИ был, как кулинарная книга.
       Он должен понимать плохоформализуемое. Например, "Добавить ПО  ВКУСУ",
"НЕМНОГО  подождать",  "БЫСТРО  охладить",  "В  РАЗУМНЫХ  ПРЕДЕЛАХ".   Надо
оставить разумный простор для суб'ективного, вероятностного, нечеткого...
       КАК НЕ НАДО (во-вторых): Что касается вероятностей - то это  еще  куда
ни шло. С известной доверительностью.
       Но если вы придумали переменную "скорость", со значениями  "медленно",
"быстро"  и "вжжить...". То потребуется половина машинных ноликов-единичек,
чтобы хранить об'яснение этих слов.  А  вторая  половина  -  на  программы,
вычитающие  из  "быстро"  "медленно" и возводящие "вжжить" в квадрат... Для
всяких таких нечеткостей компьютер настолько  неприспособлен,  что  дешевле
его "быстро" выкинуть. А еще лучше - "вжжить"!

       ЧТО НАДО (в-третьих): Чтобы ИИ был как самоучитель.
       Он  не  только  хранит  закономерности,  но  и   показывает   как   их
использовать  в  процессе  поиска  решения.  Нап ример  при  конструировании
электрического стула, он сам найдет закон  Ома  в  своих  закромах,  и  сам
использует  его в расчетах. Чтобы компьютер не совершал открытие закона Ома
каждый  раз  заново,  его  необходимо  хранить,  как  и  прочие  достижения
человечества, включая вновь спроектированный электрический стул.
       КАК НЕ НАДО (в-третьих): Тут многие увлеклись языком  PROLOG,  но  это
все равно,  что  обучать  полководческому искусству только с помощью игры в
шашки "в Чапаева". Та же практическая польза. Хотя и интересно,  и  правила
игры четко определены.
       А доморощенные ПРОДУКЦИОННЫЕ СИСТЕМЫ -  еще  хуже.  Это  системы  типа
"если - то". Например, "Если "А" упало, то "Б" пропало". Сотни таких систем
годились для дела, как  красивый  домик  в  детском  песочнике  для  жилья.
Поскольку  детская вера "что нам стоит дом построить" неистребима не только
в кибернетике, но  прежде  всего  в  программировании.  А  к  продукционным
системам, как таковым, претензии нет. Они не виноваты в своей трудоемкости.
Система с сотней "если-то" и система с десятью-ста тысячами "если-то", это
совсем-совсем разные вещи.

       ЧТО НАДО (в-четвертых): Чтобы ИИ был как собака.
       Он должен понимать смысл вопроса. Например. "Скажите, который  час?  -
Меня  зовут Даша." "Сколько будет 2+2 ? - ПТУ отсюда с'ехало год назад. Они
сейчас - Лицей". "А где похоронили Наполеона? - Это  морг  только  нервного
отделения." "Какая порода у вашей собачки? - Зато она умная, все понимает."
       КАК НЕ НАДО (в-четвертых): Не  надо,  чтобы  компьютер  издевался  над
честным  человеком.  Это  тяжело  переносится.  Вы, скажем, его спрашиваете
(опоздав на парижский самолет), как иначе можно добраться до  Парижа?  А  в
ответ  начинаете  получать  все  возможные  варианты самолетных пересадок с
вовлечением  всех  авиакомпаний  мира.  Включая  кругосветные  туры,  через
Австралию  и  Гренландию.  Далее  пойдут  возможные маршруты, с постепенным
подключением железных дорог, судоходных компаний...
       Если компьютер не такой садист, и предложит вам два-три  варианта,  но
на китайском языке, вам тоже не полегчает. Не надо также стремиться сложные
формулы ответа переводить в легкую музыку или в стихи.

       ЧТО НАДО (в-пятых):  ИИ должен напоминать толмача.
       Он должен иметь возможность обучения и об'яснения. Например. "Два плюс
два  получилось  у  нас равным пяти не только в связи с новой экономической
политикой, но и в  связи  с  тем,  что  введен  налог  на  умных,  который,
естественно, платят дураки".
       КАК НЕ НАДО  (в-пятых):  Если  компьютер-врач,  отвечая  на  вопрос  о
наиболее  эффективном  лечении,  пропишет  вам  цианистый калий, то для вас
значительно полезнее будет его об'яснение, что с такой болезнью давно  пора
помирать.  Кроме того, он может обучить вас правильной диете, которой вам в
следующий раз следует воспользоваться с самого детства.

       Так вот, на вопрос: "Что делать?" ответ простой  -  вышеперечисленное.
Причем,   одновременно.  На  самом  деле  это  очень  нетривиальный  ответ.
Потребовалось тридцать лет, чтобы понять это! (Это не относится к читающим:
они или моложе 30-ти или уже 30 лет об этом знают).

       Можно при этом и глаза-лампочки и  магнитофонный  голос  добавить,  но
закрадывается   подозрение,   что  это  не  только  не  главное,  но  и  не
обязательное в ИИ.

Disclaimation: Фамилии вымышлены, факты извращены, а выводы ошибочны.

---
sae