Лабораторный журнал

Дуглас Ленат: "Если у вас есть действительно огромное количество информации, интегрированной как знание, то человеко-программная система будет сверхчеловеческой, в том же самом смысле, в каком человечество с письменностью является сверхчеловеческим по сравнению с человечеством до письменности" (Douglas Lenat: "Once you have a truly massive amount of information integrated as knowledge, then the human-software system will be superhuman, in the same sense that mankind with writing is superhuman compared to mankind before writing."), http://en.wikipedia.org/wiki/Douglas_Lenat.

Люблю я Дугласа Лената.

А с CYC сейчас вовсю развлекаются, причем в разных местах: http://www.cyc.com/cyc/company/news/Waikato%20Times%20news%20article (используя уже наработанную базу знаний, подкачивают новые знания из википедии. Мечта о том, что при достаточно большой исходной базе понятий эту базу можно будет пополнять, потихоньку начинает сбываться).

В принципе, все то же самое можно делать с технической документацией и RDL 15926. Ничего не мешает. Все САПРы по факту -- это такие специальные CYC с кучей интерфейсов.

Да, в области работы со знаниями много чего понапроисходило за последний десяток лет, в том числе в тех местах, где словом "знание" и не пахнет. Платформ универсального моделирования оказывается на поверку довольно много, хотя все они требуют существенных программных доработок.

Я знаю, что бумажная пресса помрет раньше, чем позже. Но закрытия именно Компьютерры немного жаль -- единственный бумажный журнал, который я до сих пор регулярно читал. Хотя в последнее время уже больше не читал, а по привычке пролистывал: новости я уже часто знаю к моменту покупки номера, а содержание других статей меня по совокупности причин совсем уж не так захватывает, как раньше.

А ведь когда-то я был колумнистом Компьютерры. Удивительно, но ссылки на выпуски моей колонки "Либертариум" до сих пор работают: http://libertarium.ru/computerra. А еще я выпустил несколько (про школьную информатику, про апгрейды, про самоиграйки и уж не помню еще про что) тем номера. А потом ушел в ЖЖ, и не вернулся.

UPDATE: оказывается, мои работы в Компьютерре можно найти по адресу http://www.computerra.ru/Authors/123/

Спасибо Компьютерре, и отдельно -- заманившему меня в нее Георгию Кузнецову, и учившему меня писать публичные тексты Евгению Козловскому. Это было неплохой школой, хотя и трудной (одна колонка сводилась в среднем к 12 часов потраченного на нее времени. Быстрее у меня не получалось).

Закрытие бумажных журналов -- это только цветочки. Ягодки до многих и многих онлайн-изданий и их журналистов доберутся чуть попозже: просто еще не вся технологическая инфраструктура в наличии. Впрочем, это относится и ко всем другим бизнесам. "Доктор, я умру? -- Конечно! Весь вопрос только, когда".

Ленту, конечно, разнесет -- ну да ладно, уж больно хорош баян (опять он мне на глаза попался, на этот раз с добавлением Haskell):


В принципе, такую картинку можно нарисовать про все на свете -- борьба нового со старым, разного с одинаковым, распространенного с редким и т.д. Очень жизненная картинка.

А если уж говорить про языки, то оказывается, что не в языках счастье, а в их количестве.

Вот я уже некоторое время изучаю средства для онтологических описаний. И замечаю, что в САПРах отнюдь не "чисто логические подходы" к онтологиям. То есть и онтологию описать можно, и экземпляры объектов на ней задать, но дальше появляются отнюдь не логические скрипты, таблицы состояний, триггеры и прочий резкий уход от однопарадигмальности. А в презентациях по тенденциям семантического веба и OWL огромная тоска по хоть какой-то объектности, процедурности, функциональности -- ибо одной логики категорически не хватает.

Так что универсальный моделер, конечно, можно начинать с Protege. Но нельзя только им заканчивать.

Когда-то мне Анатолий Георгиевич Кушниренко сказал, что по его опыту, ежели речь идет о по-настоящему ответственных и сложных программах (кремниевых компиляторах, например), то там не увидишь ни C, ни Java. Зато увидишь и Lisp, и Smalltalk и много всего того, что по традиции считается только "университетским", но уж никак не промышленным.

Моей тайной любовью всегда была фирма Franz Lisp (http://ailev.livejournal.com/368404.html, http://ailev.livejournal.com/534882.html, http://ailev.livejournal.com/662030.html). Заглянул туда (ибо помнил про их triple store AllegroGraph, и удивился -- оказывается, Bentley Design++ V8i сделан на Лиспе (а именно, Allegro CL): http://www.franz.com/success/. И не только он, там еще таких много: http://www.franz.com/success/customer_apps/mechanical_cad/ и еще тут http://www.franz.com/success/customer_apps/modeling_simulation/.

Возвращаясь же к AllegroGraph, видим интерфейсы и к C#, и к куче Java клиентов (Sesame, Jena, Clojure) и даже к Pyton через HTTP-сервер. REST, SPARQL и прочие модные слова. А приложения semantic web они делают с TopBraid в качестве IDE (в свою очередь, TopBraid сделан на Eclipse и поэтому хорошо понимает Java).

Так что с языками все сегодня как в бразильском сериале: кто на чем написан требует отдельного разбирательства и ответ может оказаться неожиданным.