?

Log in

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

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

Компьютеры-музыканты [28 Feb 2011|12:14am]
Пришел свежий номер Communications of The ACM, и в нём на странице 86 рассказано о системе Music Plus One -- пример работы можно получить вот тут: http://www.music.informatics.indiana.edu/papers/icml10/

Как я понял, по результатам тестирования этой Music Plus One можно считать, что аккомпанировать по нотам классическую музыку компьютер уже может на вполне профессиональном уровне. Огромный кусок дирижера по факту автоматизирован: программа эта не управляет нюансами разных групп инструментов, но вот всякие фермато отрабатывает на-ура, а также подгоняет не лету темп всего оркестра под причуды солиста.

Следующий шаг -- это импровизация на профессиональном уровне. Конкурс компьютерных пианистов 2011 года уже объявлен: http://www.renconmusic.org/smc2011/. Вот как это выглядело в 2008г.: http://www.cp.jku.at/projects/yqx/. На уровне старших классов музыкальной школы, но это 2008 год (кому интересно, подробно про этот проект вот тут: http://www.aaai.org/ojs/index.php/aimagazine/article/download/2249/2099).

Но и для других инструментов полянка уже топчется. Так, недавно Jamstix выпустил набор из 8 новых барабанщиков -- Darren, Dave, Keith, Latino, Mel, Peter, Simon и Will. Cтоит это удовольствие $29. Налетай, это выгодно: можно купить разностильных барабанщиков в среднем по $3.62 за голову -- http://jamstix.com/aipak.html. Зайдите, послушайте (там есть плеер с примерами). Я думаю, что в слепом тесте уже мало кто догадается, что это не человек стучит.
6 comments|post comment

Ирландская чечетка. Руками. [28 Feb 2011|01:47am]
Спасибо многим в моей ленте, присоединюсь и я к этому сумасшествию:





А кому мало чечётки, тот может сходить еще сюда: http://www.youtube.com/watch?v=K2cYWfq--Nw (45млн. просмотров, 295тыс. лайков).

Лёгкого вам понедельничка!
post comment

Теоретическое и компьютерное моделирование логических рассуждений [28 Feb 2011|10:07pm]
2 марта 2011 в 17 часов в ГУ ВШЭ будет доклад К.А.Павлова (ИФРАН) "Теоретическое и компьютерное моделирование логических рассуждений" (инструкция как попасть и полезные ссылки: http://vic-gorbatov.livejournal.com/82950.html).

В рамках моего весеннего логического обострения хочу туда наведаться.

По ссылкам -- очень интересно, я как раз примерно это и подозревал, когда где-то полгода назад в обсуждении тезисов к программе общего верхнего образования писал "мысль про логику-как-основу-всего нужно было тут жестче провести и уж совсем явно описать" (http://ailev.livejournal.com/855472.html?thread=8133040). Только тогда меня вёл чистый нюх, а теперь я это могу как-то пытаться обосновать и дать литературу. Вот, например, из http://vox-journal.org/content/vox9-vanBenthem.doc (ссылка приведена в качестве материала к обсуждаемому докладу):
Говоря в современных пост-соматических терминах, предположим, что вы озадачились вопросом о наличии пива на территории кампуса индийского университета в Бомбее. Ответ на этот вопрос вы можете попытаться, во-первых, дедуцировать из множества информации, имеющейся в буклетах, полученных вами по прибытию. Во-вторых, вы можете попробовать обойти весь кампус, используя свою способность наблюдения, чтобы непосредственно убедиться в существовании пивных заведений. И в-третьих, вместо всего этого, вы можете просто пообщаться с каким-нибудь компетентным лицом, например, местным студентом, чтобы получить исчерпывающий ответ на подобный вопрос. Более широкая концепция логики, на мой взгляд, должна включать в себя все три информативных канала как предмет своего теоретизирования; предмет, образующий согласованную картину, выводящую сферу интересов логики далеко за пределы ее гипертрофированного внимания к одному лишь только дедуктивному доказательству. Последнее в действительности есть лишь только один тип логических операций, к тому же целиком упускающий из виду сложнейшие интерактивные аспекты языка, а также и момент коммуникации между агентами логического рассуждения. Иными словами, я утверждаю, что такие коммуникативные действия как задавание вопросов, или осуществление ответных действий, являются столь же значимыми формами логической деятельности как и умение выводить следствия из имеющихся посылок.
Для меня это примерно та же постановка вопроса, с которой я всю жизнь провёл в Программировании, понимаемой мной не как "кодирование", а как именно Программирование с большой буквы. По счастью, у меня довольно много было друзей, с кем можно было подробно обсуждать такую постановку вопроса. Именно так обсуждались и экспертные системы, и агентские системы, и программирование-в-большом и много еще чего. Увы, лингвистическая или чисто философская проблематика не позволяют ставить вопрос таким образом. А логическая -- позволяет. Вот, например, я следующую цитату из этого же текста читаю прямо про наши программистские беды, а не про беды логические, как их понимает van Benthem:
К примеру, говорить о логике как о науке,цель которой в значительной мере определяется поиском определенного баланса между выразительной силой формальных языков и многосложностью их использования при решении таких задач как осуществление контроля за согласованностью, адекватностью моделирования и правильностью вывода.
Ну да, чем выразительней язык (тот же Coq, или даже Scala), тем проблемней его использование. Забавно видеть, как решение (поиск баланса между формальностью/выразительностью и простотой использования) этой задачи берет на себя не столько computer science, а именно логика -- от которой еще десяток лет назад такого поворота мысли вряд ли кто ожидал.

Я думаю, что информатика будет прирастать сейчас именно логикой: но, увы, сегодня это еще та же информатика, что и десять, и двадцать, и тридцать лет назад (помним, что компьютерная революция еще не началась) -- но уже другая логика.

Кстати, Prolog когда-то был придуман для задач работы с грамматиками, чтобы писать на нём парсеры. И совсем недаром в проекте FONC стиль программирования -- это описание паттернов и связанных с ними действий, т.е. какие-то "околограмматические" рассуждения, сливающие в одно целое разборки и с синтаксисом, и с семантикой, и с прагматикой в одном "исполняющем парсере". Алан Кей всё время пишет про цель проекта STEPS/FONC как "поиск какой-то математики в решении традиционных задач программирования". У меня сейчас гипотеза, что он не математику там ищет, а логику! Ибо он бьёт в основания, а в основании именно логика, а не математика. Математика тут вторична. Но и логика тут не тридцатилетней давности, а совсем современная -- хотя и тут тоже есть некоторый застой, но отрефлектированный и уже потихоньку преодолеваемый.
4 comments|post comment

navigation
[ viewing | February 28th, 2011 ]
[ go | previous day|next day ]