Comments | dot15926: О логическом языке для 15926

vvagr in dot15926

О логическом языке для 15926

Oct 16, 2010 12:48

Дискуссия http://ailev.livejournal.com/867290.html?thread=8386778#t8386778 натолкнула на одну мысль ( Read more... )

Comments 5

ailev October 16 2010, 09:18:22 UTC

Я сходил в gigapedia.org, спросил "agent logic" -- там именно то, что мы тут обсуждаем, причем в огромных количествах. Можно сходу утонуть даже в том, что уже наработано...

Ежегодные сборники статей, монографии, конференции... Всего не перевыкачаешь, не перечитаешь :-(

vvagr October 16 2010, 11:01:33 UTC

Для проверки моих гипотез надо сначала посмотреть, возникла ли уже общая теория query languages? Как раздел теории dsl или подходов мультипарадигмальности.

ailev October 16 2010, 11:12:03 UTC

Нет никакой общей теории, запросы -- это ведь просто языковые выражения. Спецтеория есть только для запросов на естественном языке. Еще есть различение "запрос по образцу" и "запрос по критерию", вот и вся наука.

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

Специфики "запроса" тут никакой нет, обычное программирование.

(The comment has been removed)

vvagr October 16 2010, 10:32:39 UTC

Нет, это не поиск панацеи. Это просто был в компактифицированной форме :-) запрос - что искать средствами ТК - например, построение логических языков, связанных со структурами данных.

Ну и всё-таки интересно проверит своё понимание - если структуры данных имеют семантику 4d, можно ли получить логики, поддающиеся модальной интерпретации?

(The comment has been removed)

vvagr October 16 2010, 11:02:35 UTC

http://community.livejournal.com/dot15926/11924.html?thread=73108#t73108