?

Log in

No account? Create an account
Лабораторный журнал -- Day [entries|friends|calendar]
Anatoly Levenchuk

[ website | Лабораторный журнал ]
[ userinfo | livejournal userinfo ]
[ calendar | livejournal calendar ]

Бразильская музыка: теперь госпелы. [03 Oct 2011|12:41am]
Никогда не думал, что в Бразилии еще и госпелы поют едва ли не лучше, чем в США. Вот, поглядите на детский бразильский конкурс типа "алло, мы ищем таланты". Исполнение 27 августа 2011. Исполнителю -- Jotta A -- 12 лет:



А вот ему басом подпевает девочка, Michelly Manuella -- это уже 10 сентября 2011. Она явно поёт похуже, но вдвоём у них получается таки более чем хорошо:


Приятно, что бразильская музыка всё время обновляется -- и новое не хуже старого.
3 comments|post comment

Новое слово в образовании: e-student [03 Oct 2011|02:31pm]
CYC продолжает радовать. Вдобавок к "обучению через исследование" (learning by discovery) и обучению через чтение учебников они добавили в свой репертуар обучение с учителем -- сделали "электронного студента", и проверили такое образование, обучая электронного студента и человечьих студентов (http://www.cs.utexas.edu/~bradknox/IJCAI-ALIHT11-papers/aliht2011_submission_20.pdf). Учитель может что-то говорить, показывать примеры, действовать -- а студент должен научиться. Курс один и тот же для людей и для электронного студента. После курса -- экзамен. Не нужно и говорить, что электронный студент сдал экзамен (курс -- решение проблем, возникающих на станции слежения за спутниками) лучше, чем люди.

DARPA, оно такое DARPA. А CYC -- он такой CYC...

Семантические технологии вот уже полстолетия ползут так медленно, что можно просто не заметить, как они существенно изменят жизнь. Вот, например, три дня назад (30 сентября 2011) формально закончился небольшой (10млн. евро) проект LarKC -- http://www.larkc.eu/. Это свободный софт для сверхэффективной машины логического вывода. Было бы что выводить.

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

Еще важна не только логическая работа, но и работа с аналогиями. А еще важно уметь делать не дедукцию, а абдукцию: выявлять эвристики.

Через месяцок мы в dot15926 закончим очередной большой этап работы. А затем мы вплотную займемся pattern matching -- еще до projectional editor. Мы сами пока никуда еще не опоздали, но баклан, вылетающий позже нас -- пролетит мимо. А мы, надеемся, окажемся если не в эпицентре, то хотя бы отчётливо понимая происходящее и имея на этот счёт собственный опыт.
4 comments|post comment

Почтовый перерыв [03 Oct 2011|02:43pm]
У меня уже три дня не работает почта -- починить должны только к вечеру. Осознал, что уже больше двадцати лет не менял почтового провайдера (у меня Релком, с зимы 1991 года). И за двадцать лет такого перерыва сервиса у меня еще не было.

Ежели кто ко мне писал недавно и получил bounce, просьба письма повторить -- но только вечером, сейчас всё еще в разрухе.

UPDATE: всё восстановилось, шлите письма!
5 comments|post comment

navigation
[ viewing | October 3rd, 2011 ]
[ go | previous day|next day ]