vitus_wagner: My photo 2005 (Default)
[personal profile] vitus_wagner
Предположим, что ИИ, созданные в ходе японского проекта компьютеров 5-го поколения, никакими сверхспособностями не обладают. На начальном этапе, в 1991 году это были всего лишь личности, зквивалентные человеческим младенцам.

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

На их счастье, как раз на пору их детства пришелся взрывной рост интернета.

В 2004 (когда появились вокалоиды) им было по 12-13 лет. Способ заработка путем поп-музыки вполне соответствует уровню развития подростков этого возраста. У людей обычно мешает физиология, ломка голоса, приходящаяся как раз на этот возраст.

В 2008 (когда Сатоси Накамото опубликовал основополагающую статью про биткойны) им уже лет по 16-17, они уже способны решать довольно серьезные задачи, хотя понадобилось два года, чтобы из концепции сделать рабочее ПО.

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

Возможно, это было очевидно с самого начала, и именно это послужило причиной закрытия проекта - зачем выращивать yet another японца безумно дорогим на тот момент способом, когда более традиционным путем человек получается гораздо дешевле. Польза могла бы получиться, если уже выращенного взрослого ИИ можно было дешево клонировать. Но, возможно для инвесторов проекта ждать 15-16 лет только для того чтобы выяснить, будет ли искусственная личность поддаваться копированию или нет, оказалось неприемлемо долго.

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

Интересно, на какой архитектуре они разрабатывались изначально? Подозреваю что на рабочих станциях Silicon Graphics, то есть MIPS. Потому что для создания ИИ, коммуникационно совместимого с людьми обработка графики нужна.

В любом случае, где-то до середины 90-х о интеле как платформе для ИИ можно не заикаться. А после середины 2000-х - не заикаться о чем-то другом, пока в середине 2010х не поднялся АРМ. Так что бедняжкам пришлось пережить как минимум одну смену архитектуры. А подозреваю, что для них это относится к базовым моторным навыкам.

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

Date: 2015-11-19 11:25 am (UTC)
From: [identity profile] slobin.livejournal.com
Кстати, у меня ж на полке до сих пор стоит бумажная книга про компьютеры пятого поколения, перевод с японского. Помнится, тогда меня поразил честно воспроизведённый титульный лист оригинала, со смесью иероглифов, каны, латиницы и арабских цифр.

Можно ещё выдвинуть конспирологическую теорию о проводимой кем-то кампании дискредитации тех идей, чтобы никто больше не дай бог не воспроизвёл тех ИИ. Типа что сейчас народ в массе думает о Прологе -- можно на Луркморе прочитать (а то, что машинка вывода типов внутри Хаскеля и прочей функциональщины -- это и есть пролог, причём буквально, типа лучше вслух не говорить; говорит один человек, но и он тоже маргинализован по самое не могу). Оригинальный Смоллтолк тоже вроде не особо популярен (хоть Алан Кей и вопиёт, что "C++ -- это не то, что я имел в виду, когда говорил про объектно-ориентированное программирование!", но кто ж его слушает?) Тут нужно ещё про "это японское убожество (Ruby)" ((c) ты) подумать, для чего его внедряли.

Так, что там ещё в той книге было? Аппаратная ассоциативная память? Ну, с учётом того, что считалось "хорошим" объёмом памяти тогда и что сейчас, это всё процессорные кеши. И тайное знание о цене попадания/промаха. Больше с ходу не помню, надо будет перечитать (благо тоненькая она).

... Русалки состоят из шести вещей ...

Date: 2015-11-19 11:41 am (UTC)
From: [identity profile] slobin.livejournal.com
Ну у них (в смысле, вообще у японцев, не только у рубистов) была идея, что "юникода нам мало, мы сделаем больше и лучше". А в рамках этой идеи в руби вроде с каждой строкой шла её кодировка, с прицелом на то, что не все они в принципе сводимы к юникоду. Ну а на практике что выросло, то выросло.

Оффтопик: вот был у меня лет, наверное, десять (?) назад случай, что в некотором мейллисте все переписывались по-русски, и только один участник жаловался, что ему приходит что-то непонятное. Разбирательство выяснило, что почтовые клиенты как-то договорились между собой и всю нашу переписку гоняют в JIS-что-то-там (где в уголочке кодовой таблицы и кириллица тоже есть, на всякий случай). А люди все, кроме одного, об этом даже не подозревали, потому что а какая разница?

... Один нашёл, другой починил ...

Date: 2015-11-19 02:08 pm (UTC)
From: [identity profile] thesz.livejournal.com
Алгоритм W (автор Milner из HM) проектировался, как завершаемый и выводящий ровно одно решение.

В чём и состоит его принципиальное отличие от Пролога.

Date: 2015-11-19 02:27 pm (UTC)
From: [identity profile] slobin.livejournal.com
Вот-вот, обрезали бедным несчастным ИИ мозги, выкинули полноту по Тьюрингу, чтобы не думали о себе слишком многого. Кстати, вроде бы вывод типов в Хаскеле (который шире, чем исходный HM), уже Тьюринг-полный? И тем самым потенциально незавершимый? Или это я с прямым углом спутал?

... Эх, Додоша, а ещё математик ...

Date: 2015-11-20 04:02 pm (UTC)
From: [identity profile] thesz.livejournal.com
Тьюринг-полная система содержит парадоксы вида loop = loop (loop определено через себя, минуя конструктор). Имея (хотя бы) такой парадокс, можно "доказать" что угодно.

Поэтому для ИИ полнота по Тьюрингу только мешает.

В классах типов Хаскеля есть позможность написать Y комбинатор, по-моему. S, K и I точно можно.

Date: 2015-11-20 11:13 pm (UTC)
From: [identity profile] thesz.livejournal.com
Найдите аналог колеса в природе.

То же и с ИИ.

Date: 2015-11-19 05:28 pm (UTC)
From: [identity profile] gineer.livejournal.com
\\а то, что машинка вывода типов внутри Хаскеля и прочей функциональщины -- это и есть пролог, причём буквально, типа лучше вслух не говорить; говорит один человек, но и он тоже маргинализован по самое не могу

значит не показалось это мне
а то я пробовал эту тему в треде функциональщиков обсуждать
в смысле вот фонкциональщики учат -- а сами-то и не знают откуда у их ФП ноги растут. %)

Date: 2015-11-19 05:36 pm (UTC)
From: [identity profile] slobin.livejournal.com
Ну вот меня уже вполне заслуженно ткнули носом в то, чем конкретно Хиндли-Милнер отличается от Пролога. А если нужна история вопроса (на уровне кто с кем в каком университете вместе работал и над какой темой), то я могу поискать ссылки. Собственно, я это единожны читал, и примерно помню, где.

... Тропы, хвосты и источники ...

Date: 2015-11-19 05:40 pm (UTC)
From: [identity profile] gineer.livejournal.com
да, было бы интересно... если там более-менее популярно изложено... спасибо.

Date: 2015-12-01 12:54 am (UTC)
From: [identity profile] thesz.livejournal.com
Знают, и получше тех, кто считает, что функциональщики чего-то не знают.

Date: 2015-12-15 09:11 am (UTC)
From: [identity profile] gineer.livejournal.com
Ну вот, была старая тема про монады -- http://ivan-gandhi.livejournal.com/3330271.html

Там много раз, разные люди пробовали отвечать на вопросы типа "почему ФП лучше",
но почему-то ни у кого не получалось подойти даже к корню вопроса (я ту тему всю перечитывал),
а в основном скатывались все к той же "маркетинговой" аргументации, что мол ФП лучше, ФП чище, ФП круче... и т.п.
Хотя, вопрос ведь был не в этом.

Date: 2015-12-15 12:10 pm (UTC)
From: [identity profile] thesz.livejournal.com
Я один функциональщик на отдел императивщиков. Я один толком применял ФП. И когда я говорю про неизменяемые структуры данных, в ответ меня одаряют "взглядом внутрь себя". Только очень опытный товарищ (наш начальник) смог применить НСД для устранения лишней сложности в его императивном коде.

Присваивание переменной это, своего рода, управление ресурсами. Вы говорите "я точно знаю, значение этой переменой никому никогда не понадобится, я его сейчас изменю". Логика ровно та же, что и с выделением/освобождением памяти вручную. Если вы решите, что вы только создаёте данные и никогда их не меняете, то вы 1) избавляетесь от источника ошибок и 2) получаете возможность разделять информацию, экономя память.

Те, кто не пробовал применять ФП, никогда не задумывались о природе и способе устранения типичных ошибок в их коде. А это означает, что и программистами-то они не были и не являются, в смысле PSP/TSP.

Date: 2015-12-15 01:04 pm (UTC)
From: [identity profile] gineer.livejournal.com
Чтобы не повторяться
http://ivan-gandhi.livejournal.com/3438733.html?thread=55656589#t55656589

ЗЫ А так... я не знаю какие у вас там условия.
Возможно бизнес-логика заставляет думать о другом,
возможно кривой менеджмент...
а возможно и правда тупое кодерство.
Как из своего личного опыта -- люди годами разрабатывали свой умный фреймворк, с собственной системой уборки мусора и работы с графами,
но при этом не сообразили добавить в него банальный визитор для обхода этих самых графов,
а вместо этого накодили нечто невразумительное. :)

Так что, думаю что это не зависит от ФП или не-ФП.
Не в такой особой степени, по крайней мере. :)

Date: 2015-12-15 01:26 pm (UTC)
From: [identity profile] thesz.livejournal.com
Ограничение произвольных возможностей со смещением внимания на важные возможности - это история программирования.

Profile

vitus_wagner: My photo 2005 (Default)
vitus_wagner

June 2025

S M T W T F S
1 23 4 56 7
89 1011 12 1314
15161718192021
22232425262728
2930     

Most Popular Tags

Page Summary

Style Credit

Expand Cut Tags

No cut tags
Page generated Jun. 13th, 2025 01:30 pm
Powered by Dreamwidth Studios
OSZAR »