June 17th, 2007

2019

Логика в Smalltalk

Пара ссылок -- вдруг кому понадобится ;)

На сайте системы логического программирования SOUL в Smalltalk http://prog.vub.ac.be/SOUL/index.html рассказано не только про поиск паттернов в коде, но и о гладкой гибридизации аспектного программирования, объектно-ориентированного программирования и rule-based программирования (http://prog.vub.ac.be/SOUL/Publications.html). Про эти "гибридные аспекты" см. диссертацию PhD http://ssel.vub.ac.be/research/PhD/thesisMaja.pdf. Если отвлечься от именно Smalltalk, то подробно разъясняется про связь ОО, аспектности и business rules вот тут: http://ssel.vub.ac.be/members/MariaAgustinaCibran/publications/JCMSE_Cibran%20et%20al.pdf (вообще, эта Viviane Jonckers раскапывает эту тему "неявное использование методов AI в современном программировании").

Суперпланировщик http://www.mediagenix.com/ -- написан на Smalltalk, при его написании использовался SOUL (подробнее об этом в последней главе диссертации http://prog.vub.ac.be/Publications/2001/vub-prog-phd-01-01.pdf). Это VisualWork Smalltalk. Решаемые при помощи SOUL там задачи? Немного странные, но интересные -- например, за 7 дней synchronize the UML diagrams from the MediaManagement module with the implementation. Машины, на которых это делалось, обескураживают: Pentium 266Мгц и 64Мбайт памяти. Другая задача IMHO много более полезна: были приняты (устно, конечно ;) некоторые соглашения о программировании, и требовалось проверить по исходному коду, как программисты их соблюдают. Итог: нашли 8 ошибок и кучу очень сомнительных мест в коде (для последующего рефакторинга). Интереснее было бы, если бы они запихнули этот SOUL внутрь планировщика.

Есть и порт Пролога в Сквик, но это не так интересно.
2019

Continuator-III.

Ага, continuator вновь (до этого -- http://www.livejournal.com/users/ailev/249589.html) проявился совсем недавно (29 марта 2007г.): http://www-scf.usc.edu/~ise575/c/presentations/11-1-pachet_chuan.pdf (напомню: continuator описан в http://www.csl.sony.fr/downloads/papers/2002/pachet02i.pdf, http://www.csl.sony.fr/downloads/papers/2002/pachet02b.pdf, а гнездо у него в http://www.csl.sony.fr/Research/Experiments/Continuator/index.php. Когда-то у них там недолго и софт на Java, но я так и не смог его запустить -- а сейчас софт, разумеется, убрали). Поглядите на современные дела этой лаборатории: http://www.csl.sony.fr/General/Publications/All.php

Привет от Continuator пришел из замечательного курса весны 2007 года Human-Centered Computing in Generation Music -- http://www-scf.usc.edu/~ise575/c/syllabus/

Я думаю, что лет через пять можно смело считать, что компьютеры в музыке прошли тест Тьюринга (именно это, кстати, сделал continuator ;)
Сначала считать, потом в шахматы играть, затем музыку сочинять -- потихоньку, полегоньку в компьютер уйдут все "творческие профессии". Ибо для генератора случайных чисел не нужно LSD принимать. Ну, а для людей компьютеры будут служить тренерами -- в музыке, как и в шахматах. Creativity Studies and Musical Interaction -- http://www.csl.sony.fr/downloads/papers/2006/pachet-04g.pdf, написано автором continuator, но сам continuator там -- на удивление -- не поминается. Это из сборника in Musical Creativity: Current Research in Theory and Practice, Deliege, I. And Wiggins, G. Editors, Psychology Press, 2004. Зато приплетен Чиксентмихайя с его Flow.

Но вот в следующей работе из этого сборника continuator как раз поминается: Enhancing Individual Creativity with Interactive Musical Reflective Systems http://www.csl.sony.fr/downloads/papers/2006/pachet-04h.pdf. И из этой работы можно узнать, что был и continuator-II, и continuator-III -- с неизменно превосходным результатом.