Size: a a a

Типы в языках программирования, моделирования, представления знаний и жизни

2019 August 26

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
Val Krylov
Вообще, для представления знаний за пределами микротеорий требуется возможность дописывать типы. Которая, внезапно, из коробки есть только в SQL, и на практике используется для интеграции между разными системами. Пример:
Система X хранит свои данные в таблице и ничего не знает о системе Y. Система Y дописывает в таблицу поля created_at и updated_at, а также правила работы с ними. Работа системы X не меняется, но система Y периодически поллит таблицу, чем достигается интеграция. Решения вроде "а давайте допишем ещё одну property в RDF" в данном случае непригодны.
дописывать - дополнять?
источник

AT

Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Oleksandr Nikitin
дописывать - дополнять?
Или "расширять", судя по описанию...
источник

AT

Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Так-то в природе для такого row types встречаются и прочий structural subtyping...
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
Alexander Tchitchigin
А чего это люди такого в AT делают? Я как-то вообще не в курсе... 😊
учет lifecycle дублей/сцен/актеров/пропов на сьемках например
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
и вот там очень быстро вылазит "в версии сценария от ХХ-ХХ-2019 нужен такой проп в такое-то scene time, на сьемках он потребуется в таком-то calendar time в такой-то павильон" итд
источник

AT

Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Oleksandr Nikitin
учет lifecycle дублей/сцен/актеров/пропов на сьемках например
И что, для этого уже битемпоралка нужна?

Мы как-то подобный учёт, но в очень маленьком масштабе в Google Sheets наколбасили совершенно на коленке... 😂
источник

AT

Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Oleksandr Nikitin
и вот там очень быстро вылазит "в версии сценария от ХХ-ХХ-2019 нужен такой проп в такое-то scene time, на сьемках он потребуется в таком-то calendar time в такой-то павильон" итд
А, понятно. Спасибо. Действительно логично.
источник

VK

Val Krylov in Типы в языках программирования, моделирования, представления знаний и жизни
Oleksandr Nikitin
дописывать - дополнять?
Да. Добавлять новую логику к существующим. Или наоборот, удалять (но это уже в случае изменений внутри микротеорий, а не в случае добавления ещё одной).
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
Alexander Tchitchigin
И что, для этого уже битемпоралка нужна?

Мы как-то подобный учёт, но в очень маленьком масштабе в Google Sheets наколбасили совершенно на коленке... 😂
gs да, часто хватает. и он лучше автоматизируется. но невыносим на мобильных устройствах + в АТ удобная работа с картинками/датами/enum'ами/linked записями, чисто UI
источник

VK

Val Krylov in Типы в языках программирования, моделирования, представления знаний и жизни
Oleksandr Nikitin
и вот там очень быстро вылазит "в версии сценария от ХХ-ХХ-2019 нужен такой проп в такое-то scene time, на сьемках он потребуется в таком-то calendar time в такой-то павильон" итд
Тут какой-то хитрый diff-merge понадобится, в случае одновременного существования нескольких версий сценария помножить на несколько вариантов плана съёмок.
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
плюс сканер баркодов в приложении дает возможность быстро отщелкать "что сейчас лежит в коробке" итд
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
нооо с плохим интернетом начинается ад
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
посему собственно я на это посмотрел и вижу прекрасную нишу для продукта)
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
Val Krylov
Тут какой-то хитрый diff-merge понадобится, в случае одновременного существования нескольких версий сценария помножить на несколько вариантов плана съёмок.
"как не взорвать голову пользователю"
источник

AL

Anatoly Levenchuk in Типы в языках программирования, моделирования, представления знаний и жизни
Oleksandr Nikitin
и вот там очень быстро вылазит "в версии сценария от ХХ-ХХ-2019 нужен такой проп в такое-то scene time, на сьемках он потребуется в таком-то calendar time в такой-то павильон" итд
Это учёт для задачи планирования, там possible worlds  в полный рост, как и в задачах проектирования/инженерии — http://15926.org/topics/possible-worlds/index.htm#Objects

И обращаем внимание, что в обсуждении ISO15926 по ссылке вообще не участвует RDF/OWL.

Мой тезис в том, что обо всём этом можно разговаривать в какой-то нормальной системе типов языка программирования. И сделать компактный DSL для этого. Ибо потребность разговора про планирование, про проектирование и прочее такое есть, а языка для удобного выражения такого разговора в программировании пока нет.
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
+++
источник

AT

Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
Про планирование надо бы http://picat-lang.org/picatbook2015.html прочитать в конце концов... 😊
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
про планнер с possible worlds мне говорили как несбыточную мечту уже три человека из разных индустрий)
источник

AT

Alexander Tchitchigin in Типы в языках программирования, моделирования, представления знаний и жизни
А у меня possible worlds упорно ассоциируются с темпоральной логикой...
источник

ON

Oleksandr Nikitin in Типы в языках программирования, моделирования, представления знаний и жизни
(кино, финтех, евент-менеджмент)
источник