December 28th, 2009

2019

Дуглас Ленат и его Сайк (Douglas Lenat and his CYC)

Нашлась годичной давности видеолекция Дугласа Лената -- видео и 207 слайдов к этому видео: http://videolectures.net/bsciw08_lenat_bsw/ (слайды там по вот этой ссылке: http://carbon.videolectures.net/2008/pascal2/bsciw08_whistler/lenat_bsw/bsciw08_lenat_bsw_01.pptx).

Для меня относительно новым было то, что они плотно интересуются марковскими цепями (логиками): я считаю, что тут может быть огромный прорыв (мне эти марковские цепи всегда приходят в голову, когда речь идет об "импровизации" -- то бишь творчестве -- любого сорта: я вспоминаю импровизационный Continuator, выполнивший музыкальный тест Тьюринга http://ailev.livejournal.com/586614.html).

Идея 1000+ разных обработок, напускаемых, на мясо дополнительных утверждений, наращенное на скелет онтологии -- очень близко к моему пониманию (я обычно говорю, что программы искусственного интеллекта будущего будут устроены "как мозг", много-много хорошо связанных спецпроцессоров, возможно даже и аппаратных).

Еще одна лекция про CYC -- но уже практически двухлетняя: http://videolectures.net/psm08_witbrock_lrk/ (почти все те же слайды, но есть и немного другие).

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

И еще относительно свежая (2008г. по лекции 2006г.) статья Дугласа: http://www.aaai.org/ojs/index.php/aimagazine/article/view/2106/1996 -- почему вся область искусственного интеллекта получилась такая, какая она есть сейчас: чего в супе не хватает. Ибо люди -- это совсем не компьютеры (European countries that ask license applicants to “check this box to opt in” have a 10 percent organ donor enrollment;
those whose form says “check to opt out” have 90 percent. -- это к вопросу о тесте Тьюринга).

О противоречивости онтологических проектов ISO 15926 и CYC: оба проекта заявляют, что upper ontology у них должна соответствовать "здравому смыслу", т.е. легендам и суевериям, распространенным среди людей. А дальше расхождение: CYC идет в Сеть, чтобы учиться этому здравому смыслу дальше (и тем самым является олицетворением демократического "мейнстрима"), а ISO 15926 прямиком отсылает к международным стандартам (которые между собой довольно противоречивы, заметим), а также стандартам разных промышленных ассоциаций. Как я понимаю, CYC имеет механизм микротеорий, чтобы игнорировать противоречия между знаниями различных школ мысли, а ISO 15926 пока ставит задачу только сбора общей онтологии -- но сходу делает это для 4D времени (что очень и очень необычно с точки зрения здравого смысла).

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

Так же, как CYC на завтрак кушает Гугль и разве что не художественную литературу, ISO 15926 будет кушать метамодели и схемы баз данных, отражающие отнюдь не художественные способы восприятия действительности, а самые что ни на есть аксиоматические. То есть ISO 15926 -- это во многом априорный проект, при всех его заявлениях о попсовости. А CYC -- мейнстримный, апостериорный.

Цели же они ставят прямо противоположные: CYC говорит, что будет изобретать новые теории, понятия, эвристики и становиться все более и более априорным. ISO 15926 говорит, что вырастет в одно большое общее место. У кого что болит, тот о том и говорит...

Главное, Дуглас все это понимает: "The basic problem is that (1) most programs are engineered to make choices as rationally as possible, whereas the early hominids were prerational decision makers, for the most part, and that (2) unfortunately, we are the early hominids".
2019

Планы PraxOS по релизу 2.3

Конкретизированные планы PraxOS по релизу 2.3 (уточнение общего плана из текста "Три занятия консультанта и план релиза PraxOS 2.3" http://ailev.livejournal.com/766517.html) приведены в заведенном специально для координации работ ЖЖ-комьюнити praxos -- http://community.livejournal.com/praxos/455.html
2019

Аватар 3D

Жена мне напомнила, что я последний раз ходил в кинотеатр на Звездные войны, эпизод 1, то есть ровно десять лет назад, в 1999г. А сегодня я сходил на Аватара 3D -- в Пять звезд на Павелецкой (15 минут пешком, и я сподвигся).

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

Про сам фильм: я эти антифизические сказки, где и бои, и все остальные поступки протекают по законам красоты, а не здравого смысла, не могу воспринимать серьезно. Что касается социальной части, то и тут показаны полные идиоты в ассортименте, вкупе с расхожими штампами про "настоящих духовных индейцев" и "настоящих акул империализма". 3D-лубок, а я такому почему-то не умиляюсь. Наверное, это все для подростков и ньюэйджевцев -- а если для взрослых, то таких, которые в этом ментальном тинейджерстве и ньюэйджевском символизме застряли.

Я сам когда совсем юный был, все эти береги-природу-мать-твою-панорамы и жесты-силы-пламя-страсти-безумство-храбрых могли даже понравиться (по незнанию многих моментов), а вот вырос, начитался побольше -- и стал равнодушен. Про показанные "технологии будущего" я вообще молчу, это ведь не технологии, а "символы технологии" -- аватара вот сделать могут, а ноги починить -- слишком дорого... Ляпов типа человечьей ладошки, соразмерной щёчке аборигена (при этом четко показано, что ладошка должна быть в половину этой щечки) -- вагон и маленькая тележка. Или вот кавайные глаза главных героев. Понимаю, почему эти глаза увеличены, а не нормальные или уменьшенные. Про то, что там творится в плане общественных отношений, когда в звездолетах возят морпехов (еще бы сказали -- звездпехов) -- я вообще молчу.

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

Почему пишу про поход в кино? Я ведь хорошо помню, что "гламурное кисо -- это тот, кто акт потребления выдает за достижение". Поход в кино для меня безусловный акт потребления (и я не столько даже сам ходил, сколько супругу водил). Но меня столько раз уже спросили про этого Аватара, что я сдался и посмотрел. И ничего в жизни моей от этого просмотра не изменилось. Потребил и потребил, два с половиной часа из жизни исчезли. Жена рада, но не столько фильму, сколько просто походу в кино: семейное культурное мероприятие таки. Она к концу этого Аватара 3D почти приснула (ибо, говорит, уже все ведь ясно к середине стало -- поэтому можно и поспать).