Самокритика (она же -- программа исследований).

[ailev]

Я не так много сейчас пишу у себя в ЖЖ, но довольно много в проектных комьюнити -- прежде всего dot15926 и praxos. Эти проекты существенно продвинулись, и самое время навести на них суровую "критику справа" (ибо левой критики, как всегда, и так предостаточно

Comments

[ailev]

Я согласен со многими вашими утверждениями (а по мелочам и спорить не буду). Но хотелось бы понять, как именно это все может выглядеть. Например, как выглядит онтологическое факто-ориентированное программирование из объектного Питона. Ну, или как именно будут закрываться URI разноязычными labels. И тысяча подобных вопросов.

Но вы правы с особенностью такого программирования. Если вас заставить к каждому идентификатору делать привязку к окружающему миру, вы взвоете с одной стороны, а с другой стороны, открываются удивительные возможности по взаимодействию с другими программами и людьми.

[ailev]

Я думаю, что это неподъемная вычислительно задача. Онтология всего мира едина, и ежели у вас появился маааахонький факт, то вам нужно будет при таком механизме провести глобальное вычисление по всей онтологии, обойти всё дерево Thing.

Мне кажется, что при постановке задачи нужно четко разделять "онтологизирование в большом" и "онтологизирование в малом", то есть думать про модуляризацию вычислений. Это само по себе проблема, ибо вычисление, по идее, идет в федерации библиотек справочных данных (которые "типы и константы"), но может быть и федерация несправочных (т.е. инстансов) данных -- и как вычисление идет там, понятия не имею. Я пока для себя думаю, что как "апплеты" есть "онтолеты". Всё сложно...

[ailev]

Мне кажется, что базовые вопросы про федерацию и версионирование важнее сейчас. Более того, их никто не понимает, поэтому тема кажется "лёгкой и незначительной".

Кроме того, пока непонятно, насколько мы влезаем в программирование в условиях федерации серверов. Но даже для одного сервера с редактором возникают всякие варианты с undo-redo, связанные с непонятками по "расширению" шаблонов и принятыми оптимизациями.

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

[vvagr]

Для полностью корректной онтологической проработки вопроса банковского счёта надо обсудить ещё несколько моментов.

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

[ailev]

И я тут же вспоминаю учебник по агентскому программированию, нашпигованный именно такими логиками...

[vvagr]

Ну да, это вообще вопрос об устройстве человеке - в "состоянии покоя" его голова нашпигована разнообразными модальными, темпоральными и деонтическими утверждениями (фактами), а потом в применении к реальному миру возникает процедурная программа. But how?