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